1. Introduction
It is well known that graph theory provides simple, but powerful tools for constructing models and solving numerous types of interdisciplinary problems and possesses a wide range of applications [1] . Indeed graphs and graph theory can be used in several areas such as software designs, computer networks, social networks, communications networks, information networks, transportation networks, biological networks, managerial problems and others.
In 1736, the problem of the Königsberg bridges was considered as the first problem that laid the foundation of graph theory. Since the start of interest in this well-known problem several questions and problems have arisen.
Regarding the topic of this note, triangulated graphs form an important class among graphs. Since the end of the last century, a lot of work has been done in the theory of triangulated graphs (which we will define properly below). In some references triangulated graphs are variously called rigid circuit graphs [2] , chordal graphs [3] or monotone transitive graphs, like in [4] .
Triangulated graphs can be characterized in a number of different ways. See [2] [4] [5] [6] [7] [8] . We recall that a vertex v of a graph G is said to be simplicial if v together with all its adjacent vertices induces a clique in G. An ordering
of all the vertices of G forms a perfect elimination ordering of G if each
, is simplicial in the subgraph induced by
. In [2] , we find a necessary condition for a graph G to be triangulated which is the existence of simplicial vertex. In [6] , Fulkerson and Gross, state that a graph G is triangulated if, and only if, it has a perfect elimination ordering. Precisely, Fulkerson and Gross showed that the class of triangulated graphs is exactly the class of graphs having perfect elimination orderings. Thus when the input graph G is not triangulated, no perfect elimination of it exists. Rose et al. in [9] treat the question of triangulated graphs and also give several characterizations of minimal triangulations. In [10] the author gives a new representation of a triangulated graph called the clique-separator graph, whose nodes are the maximal cliques and minimal vertex separators of the graph.
At the end of this section we mention that triangulated graphs have applications in several areas such as computer vision [11] , the solution of sparse symmetric systems of linear equations [12] , database management systems [13] and knowledge-based systems [14] . At the end of the paper, we collect two main consequences of triangulated graphs. Another consequence of triangulated graphs is the problem of finding a maximum clique. Indeed, in a triangulated graph we get the answer in polynomial time, while the same problem for general graphs is NP-complete. More generally, a triangulated graph can have only linearly many maximal cliques, while non-chordal graphs may have exponentially many [15] .
Basic Concept of Graph Theory
In this section, we will enumerate and explain the basic definitions and the necessary terminology to make use of graph theory. There is a great variety in how different authors presented the basic definitions of the graph theory. Indeed there are many roughly equivalent definitions of a graph.
Most commonly, a graph G is defined as an ordered pair
, where
is called the graph’s vertex-set or some times the node set and
is called the edges set.
Given a graph G, we often denote the vertexset by
and the edgeset by
. To visualize a graph as described above, we draw dots corresponding to vertices
. Then, for all
imagine a line between the dots corresponding to vertices
if and only if there exists an edge
. Note that the placement of the dots is generally unimportant; many different pictures can represent the same graph as it is given in the example below Figure 1.
A subgraph is a concept akin to the subset. A subgraph has a subset of the vertex set
, a subset
of the edge set E, and each edge’s endpoints in the larger graph has the same edges in the subgraph. We denote it by
.
Figure 1. Two different representations of same graph.
Two vertices are said to be adjacent if there is an edge joining them. Given
, the set of all adjacent vertices in G is denoted by
,
(1)
The word incident has two meanings: On the one hand, an edge e is said to be incident to a vertex v if v is an endpoint of e. On the other hand, two edges are also incident to each other if both are incident to the same vertex. A set C of vertices is a clique if every pair of vertices in C are adjacent. A clique of a graph G is a complete subgraph of G.
A path is a sequence of edges
(also denoted
such that
is adjacent to
for all i from 1 to
,
relates
to
. Two vertices are said to be connected if there is a path connecting them. A cycle is a path such that the last edge of the path is adjacent to the first and visits each vertices once (in some references they call this elementary cycle).
In a simple graph each edge connects two different vertices and no two edges connect the same pair of vertices. Multi-graphs may have multiple edges connecting the same two vertices. An edge that connects a vertex to itself is called a loop. Two graphs G and G' are said to be isomorphic if there is a one-to-one function from (or, if you prefer, one-to-one correspondence between) the vertex set of G to the vertex set of G' such that two vertices in G are adjacent if and only if their images in G' are adjacent. Technically, the multiplicity of the edges must also be preserved, but our definition suffices for simple graphs, which are graphs without multiple edges or loops.
Definitions
A graph is called triangulated if every cycle of length greater than three possesses a chord, i.e. an edge joining two non-consecutive vertices of the cycle. A vertex x of a graph
is called perfect in G if
or
is a clique. For
, we denote by
the set of all perfect vertices of A in
(Figure 2).
Let
, be a graph. A sequence
of subsets of
, is said to be perfectly nested on
, if it satisfies the following three conditions
1)
.
2)
,
3)
,
, and
.
We say that the sequence is stationary perfectly nested, if furthermore the three last conditions, there exists
such that we have
, for any
.
2. The Results
Proposition 1 Let
be a graph and
. Then the following items are equivalents:
1)
is triangulated;
2)
is triangulated.
Proof. It is clear that 1) implies 2).
For the other sense, let us consider
. Let
be a cycle in
. There are two possibilities [(a)].
1) If
, then C has a chord.
2) If
, there exists
such that
. As
is a perfect vertex, then
is a clique and so, C has a chord. So
is triangulated.
Theorem 2 Let
be a graph. Suppose that there exists a perfectly nested sequence on
. Then
is a triangulated graph.
Proof. Let
, be a cycle in the graph
. Let
a perfectly nested sequences. There exists
, such that
So,
This ensures that there exists a perfect vertices
. So C has a chord.
When V is infinite let us notice that we can construct triangulated graphs which do not have a perfectly nested sequence. Indeed for
and
,
is triangulated and
.
Theorem 3 Let
be a graph, with V being a finite set. Then,
is triangulated if and only if there exists a stationary perfectly nested sequence on
.
Proof. For the proof, we need the following two basic lemmas:
[4] Let
be a triangulated finite graph. Then
. The proof of the last lemma is given in [4] by using the notion of the minimal separators and elimination process. From a different point of view, we can see this by noting that if we suppose that
, starting with a non perfect point x it has necessary two adjacent points
which themselves are non adjacent to each others. As V is a finite set, a typical end of the process should be in the form of Figure 3. At this step, as no point can be adjacent to a single point being a non perfect point it is adjacent to more than two points. This leads forcibly the existence of a non-chordal cycle of length of more than 3. So
is not triangulated. Let
be a connected graph. Let
. Then,
, is also a connected graph.
Proof. Let
, and
. As
is a connected graph, there exists a path
in
, for any
, as
and
are in
, we get that
, by the definition of
being a perfect point. So we get a path
in
.
Let us start by the proof of the necessary condition. By Lemma 2(`)@ we know that when
is triangulated, then
; For
, we set
By Proposition 1,
is a triangulated graph, so
. Let
, we set
In the same way we construct the perfectly nested sequence. As the set V is finite by assumption we get the stationarity property using the result of Lemma 2, as at the end it remains only one or two perfect points.
For the sufficient condition it is given by Theorem 2.
Below we give an example where using our result we get the answer to the question of triangulated graph after only three steps.
Let us end this section with the following remark. In this particular case, if we take a perfectly nested sequence in Theorem 3 with the property that for any
,
,
we get the characterization given in [4] , by taking
3. Some Consequences of Triangulation
For completeness, below we collect some possible implications of our main result. In addition to the consequence given in the introduction which concerns the answer in polynomial time to some problems for triangulated graphs, the same problem for general graphs is NP-complete. Below we collect two more consequences of triangulated graphs.
3.1. Directed Acyclic Graphs
An orientation D of a finite graph G with n vertices is obtained by considering a fixed direction, either
or
, on every edge
of G.
We call an orientation D acyclic if there does not exist any directed cycle. A directed graph having no directed cycle is known as a directed acyclic graph, we write DAG for short. DAGs provide frequently used data structures in computer science for encoding dependencies. The topological ordering is another way to describe a DAG. A topological ordering of a directed graph
is an ordering of its vertices as
such that for every arc
, we have
.
Let us consider an acyclic orientation D of G. An edge of D, is said to be dependent (in D) if its reversal creates a directed cycle in the resulted orientation. Note that
is a dependent arc if and only if there exists a directed walk of length at least two from
to
. We denote by
, the number of dependent arcs in D. A graph G is called fully orientable if it has an acyclic orientation with exactly d dependent arcs for every number d between
and
, the minimum and the maximum values of
overall acyclic orientations D of G. An acyclic orientation with 6 dependents arcs (Figure 4).
In [16] , the authors show that all chordal graphs are fully orientable. Let us denote the complete r-partite graph each of whose partite sets has n vertices by
. As it is also known [17] that
is not fully orientable when
and
. One deduces that the acyclic orientation
given in the example is not a triangulated graph. If we consider the graph of example 3, as it is a triangulated graph we deduce that it is a fully orientable graph.
3.2. Chromatic Number
A graph coloring is an assignment of labels, called colors, to the vertices of a graph such that no two adjacent vertices share the same color.
1) A Clique number
, is the maximum size of a clique in G.
2) A Chromatic number
, is the minimum coloring number.
For a general graph G, we have
(2)
For triangulated graphs, we have equality instead of inequality in Equation (2).
Acknowledgement
The authors would like to express my deep gratitude to my colleague Professor F. Khlif for valuable comments and interesting discussions during the current work which improve the quality of the paper.