 Research
 Open access
 Published:
Chordal (k,ℓ)and strongly chordal (k,ℓ)graph sandwich problems
Journal of the Brazilian Computer Society volume 20, Article number: 16 (2014)
Abstract
Background
In this work, we consider the graph sandwich decision problem for property Π, introduced by Golumbic, Kaplan and Shamir: given two graphs G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}), the question is to know whether there exists a graph G=(V,E) such that E^{1}⊆E⊆E^{2} and G satisfies property Π. Particurlarly, we are interested in fully classifying the complexity of this problem when we look to the following properties Π: `G is a chordal (k,l)graph' and `G is a strongly chordal (k,l)graph', for all k,ℓ.
Methods
In order to do that, we consider each pair of positive values of k and ℓ, exhibiting correspondent polynomial algorithms, or NPcomplete reductions.
Results
We prove that the strongly chordal ( k,ℓ ) graph sandwich problem is NPcomplete, for k≥1 and ℓ≥1, and that the chordal ( k,ℓ ) graph sandwich problem is NPcomplete, for positive integers k and ℓ such that k+ℓ ≥ 3. Moreover, we prove that both problems are in P when k or ℓ is zero and k+ℓ ≤ 2.
Conclusions
To complete the complexity dichotomy concerning these problems for all nonnegative values of k and ℓ, there still remains the open question of settling the complexity for the case k+ℓ ≥ 3 and one of them is equal to zero.
Background
In 1995, Golumbic, Kaplan and Shamir [1] introduced the SANDWICH PROBLEM:
graph sandwich problem for property Π (Π–sp)
Instance: G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}), such that E^{1} ⊆E^{2}.
Question: Is there a graph G=(V,E) such that E^{1}⊆E⊆E^{2} and G satisfies property Π?
Observe that the graph G, if it exists, must be `sandwiched' between the graphs G^{1} and G^{2} and must satisfy property Π. In order to avoid a trivial problem, we assume that G^{1} and G^{2} do not satisfy property Π.
Given two graphs G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}) with E^{1}⊆E^{2}, a graph G=(V,E) is called a sandwich graph for the pair (G^{1},G^{2}) if E^{1}⊆E⊆E^{2}. Let {E}^{3}=E\left(\stackrel{\u2013}{{G}^{2}}\right) denote the set of forbidden edges. We call E^{1} the mandatory edge set, and E^{2}\E^{1} the optional edge set. Hence, any sandwich graph G=(V,E) for the pair (G^{1},G^{2}) must contain all mandatory edges and no forbidden edge.
The recognition problem for a class of graphs is equivalent to the particular graph sandwich problem where E^{1}=E^{2}, that is, the optional edge set is empty. Graph sandwich problems have attracted much attention lately because of many applications and by the fact that they naturally generalize recognition problems [2][6]. Note that ΠSP is clearly at least as hard as the problem of recognizing graphs with property Π, since given a polynomialtime algorithm for ΠSP, it is possible to use this algorithm with E^{1}=E^{2}=E to recognize if a graph G=(V,E) satisfies property Π. Thus, in such cases, we have problems in P that cannot be easier when regarded as sandwich problems.
A graph G=(V,E) is chordal if every cycle of length at least four contains a chord, i.e, an edge between two nonconsecutive vertices. It is well known [7],[8] that chordal graphs can be recognized in polynomial time.
A sun is a chordal graph on 2n vertices (n≥ 3) whose vertex set can be partitioned into W={w_{1},…, w_{ n }} and U={u_{1},…,u_{ n }} such that W is an independent set, U is a clique and u_{ i } is adjacent to w_{ j } if and only if i=j or i=j+1 (mod n). Strongly chordal graphs were defined by Farber [9] as chordal graphs that do not contain a sun. He also proved that strongly chordal graphs can be recognized in polynomial time.
A bipartite graph is chordal bipartite if each of its cycles of length, at least 6, has a chord.
Let ℓ and k be two nonnegative integers. A graph G is (k,ℓ) if V(G) can be partitioned into at most k independent sets and ℓ cliques (a (k,ℓ)partition). The problem of recognizing if a graph G is (k,ℓ) was shown to be NPcomplete if k≥3 or ℓ≥ 3 and solvable in polynomial time otherwise [10][12]. In [10],[12],[13], polynomialtime algorithms have been developed for deciding if a graph admits a (2,1) or a (2,2)partition.
We denote by (ℓ+1)K_{k+1} the graph obtained from the disjoint union of (ℓ+1) copies of K_{k+1}. Chordal (k,ℓ) graphs have been well studied in the literature. Hell et al. [14][16] have analyzed algorithmic and complexity aspects of chordal (k,ℓ) graphs, proving that the recognition problems of chordal (k,ℓ) and strongly chordal (k,ℓ) graphs are in P, using the following characterization:
Theorem 1.
A chordal graph G is (k,ℓ) if and only if G does not contain a (ℓ+1)K_{k+1} as an induced subgraph (Figure 1) [[15]].
In [1], Golumbic et al. have presented a diagram showing the complexity status (at that time) of the sandwich problem for some subfamilies of perfect graphs like, for instance, chordal graphs. They have showed that CHORDAL GRAPH SANDWICH PROBLEM is NPcomplete. Looking at this diagram, we can notice that the majority of the studied problems are NPcomplete. Since then, many other problems, like (2,1)SP[17] and STRONGLY CHORDALSP[5], have been proved to be NPcomplete.
In a previous paper [18], we have proved that the STRONGLY CHORDAL (2, ℓ )GRAPH SANDWICH PROBLEM is NPcomplete, for ℓ≥ 1, and that the CHORDAL ( k,ℓ )GRAPH SANDWICH PROBLEM is NPcomplete, for k≥ 2, ℓ≥ 1.
In this paper, we establish the status complexity of the CHORDAL ( k,ℓ )SP and STRONGLY CHORDAL ( k,ℓ )SP for integers k≥ 1 and ℓ≥ 1: all of them are NPcomplete, except CHORDAL(1,1)SP proved in P by Golumbic et al. [1]. We show some progress towards the P versus NP dichotomy when k and ℓ are nonnegative integers by proving the following in P: CHORDAL (0, k )SP, STRONGLY CHORDAL (0, k )SP, CHORDAL ( k ,0)SP, STRONGLY CHORDAL ( k ,0)SP when k=1,2.
Methods
In order to prove that STRONGLY CHORDAL ( k,ℓ )SP is NPcomplete for k≥ 1 and ℓ≥ 1 we proved first that STRONGLY CHORDAL(1,1)SP is in NPc making a polynomial reduction from the NPcomplete sandwich problem for chordal bipartite graphs [6]. After, we proved that both STRONGLY CHORDAL (1, ℓ )SP and STRONGLY CHORDAL ( k ,1)SP are NPcomplete by induction, showing beforehand, that STRONGLY CHORDAL (1, ℓ +1)SP and STRONGLY CHORDAL ( k +1,1)SP are also NPcomplete.
To prove that CHORDAL ( k,ℓ )SP is NPcomplete for k+ℓ≥ 3, k,ℓ positive integers, we proved first that (2,1) TRIANGULATING COLORED GRAPHS ((2,1) TCG) is NPcomplete showing that the instance used to prove that the problem of Triangulating Colored Graphs (TCG) is NPcomplete [19] is also a (2,1)graph. Using this result we proved that CHORDAL(2,1)SP is in NPc. Still using this instance, we proved that CHORDAL(1,2)SP is NPcomplete. To do that, we changed the set of added edges in order to obtain one independent set and two cliques instead of two independent sets and one clique. After, we proved the NPcompleteness of CHORDAL ( k,ℓ )SP, for k,ℓ>0 and k+ℓ≥ 3 by induction on k and ℓ.
Finally we proved that (STRONGLY) CHORDAL(0,2)SP can be solved in polynomial time by a polynomial reduction to the problem of 2Satisfability [20]. With this result added to some trivial ones we showed that CHORDAL (0, k )SP, STRONGLY CHORDAL (0, k )SP, CHORDAL ( k ,0)SP, STRONGLY CHORDAL ( k ,0)SP when k=1,2 are polynomially solvable.
Results and discussions
Strongly chordal (k,ℓ) graph sandwich problem
The purpose of this section is to prove that the STRONGLY CHORDAL ( k,ℓ )SP is NPcomplete for all k,ℓ≥ 1. This problem can be formulated as follows:
strongly chordal ( k,ℓ ) graph sandwich problem
Instance: G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}), such that E^{1}⊆E^{2}.
Question: Is there a graph G=(V,E) such that E^{1}⊆E⊆E^{2} and G is a strongly chordal (k,ℓ) graph?
We notice that k and ℓ are not part of the input.
In order to prove the main theorem, we will first present the STRONGLY CHORDAL(1,1)SP.
Strongly chordal (1,1) graph sandwich problem
We prove that the STRONGLY CHORDAL(1,1) SANDWICH PROBLEM is NPcomplete by showing a reduction from the NPcomplete problem CHORDAL BIPARTITE GRAPH SANDWICH PROBLEM[6].
Proposition 1.
Let G=(X,Y,E) be a bipartite graph and G^{′} be the graph obtained from the addition of edges to X in order to obtain a clique. Then G is chordal bipartite if and only if G^{′} is strongly chordal [21].
Notice that, since X is transformed into a clique, G is chordal bipartite if and only if G^{′} is strongly chordal(1,1).
We can formulate the CHORDAL BIPARTITE GRAPH SANDWICH PROBLEM as follows:
chordal bipartite graph sandwich problem
Instance: G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}), such that E^{1}⊆E^{2}.
Question: Is there a graph G=(V,E) such that E^{1}⊆sE⊆E^{2} and G is a chordal bipartite graph?
Theorem 2.
The STRONGLY CHORDAL(1,1)SP is NPcomplete.
Proof.
The problem is clearly in NP. In order to prove its NPcompleteness, we will consider the following special instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) of the STRONGLY CHORDAL(1,1)SP obtained from (G^{1}, G^{2}), an instance of the NPcomplete problem CHORDAL BIPARTITESP[6], such that there is a chordal bipartite sandwich graph G for (G^{1},G^{2}) if and only if there is a strongly chordal(1,1) sandwich graph G^{′} for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
First, we observe that CHORDAL BIPARTITESP is NPcomplete even when G^{1} is connected. Let G^{1} be (X,Y,E^{1}) and we define {G}^{{1}^{\prime}} and {G}^{{2}^{\prime}} as follows: {G}^{{1}^{\prime}}=(X,Y,{E}^{{1}^{\prime}}), where {E}^{{1}^{\prime}}={E}^{1}\bigcup \left\{\right({x}_{i},{x}_{j}\left)\right{x}_{i},{x}_{j}\bigcup X\} and {G}^{{2}^{\prime}}=(V,{E}^{2}\bigcup \{({x}_{i},{x}_{j}){x}_{i},{x}_{j}\in X\}). This finishes the construction of ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
The proof of the NPcompleteness of the STRONGLY CHORDAL(1,1) follows from Proposition 1. □
Strongly chordal (k,ℓ) graph sandwich problem, k ≥ 1, ℓ ≥ 1
After solving the STRONGLY CHORDAL(1,1)SP, the question about the complexity of the STRONGLY CHORDAL ( k,ℓ )SP, for k≥ 1 and ℓ≥ 1, naturally arises. We have succeeded to prove that the STRONGLY CHORDAL ( 1,ℓ )SP, for ℓ≥ 1 and the STRONGLY CHORDAL ( k ,1)SP, for k≥ 1, are NPcomplete.
Lemma 1.
Given k≥ 1 and ℓ≥ 1, if STRONGLY CHORDAL ( k,ℓ )SP is NPcomplete, then STRONGLY CHORDAL ( k,ℓ +1)SP is NPcomplete.
Proof.
We remark that the STRONGLY CHORDAL ( k,ℓ ) GRAPH SANDWICH PROBLEM, k ≥ 1,ℓ ≥ 1 is in NP, since we can check in polynomial time whether a graph G is a sandwich for a pair (G^{1},G^{2}) and whether it is strongly chordal (k,ℓ) [14][16].
We consider the following special instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) of STRONGLY CHORDAL ( k,ℓ +1)SP obtained from (G^{1}, G^{2}), an instance of the NPcomplete problem STRONGLY CHORDAL ( k,ℓ )SP, such that there is a strongly chordal (k,ℓ) sandwich graph G for (G^{1},G^{2}) if and only if there is a strongly chordal (k,ℓ+1) sandwich graph G^{′}, k ≥ 1, ℓ ≥ 1, for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
From (G^{1},G^{2}), we define one additional clique K, such that K=k+1. We set V\left({G}^{{1}^{\prime}}\right)=V\left({G}^{{2}^{\prime}}\right)=V(G^{1}) ⋃ V(K), E\left({G}^{{1}^{\prime}}\right)=E^{1}⋃E(K) and E\left({G}^{{2}^{\prime}}\right)=E^{2}⋃E(K). This concludes the construction of the instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) (see Figure 2 as an example).
Suppose there is a strongly chordal (k,ℓ) sandwich graph G for (G^{1},G^{2}). Consider G^{′} formed by G plus the forced edges of ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}). In order to prove that graph G^{′} is a strongly chordal graph, we consider the strong elimination sequence started by any sequence of the vertices of K, followed by a strong elimination sequence of the strongly chordal graph G. In order to prove that G^{′} is (k,ℓ+1),k ≥ 1 and ℓ ≥ 1, we consider a (k,ℓ)partition for G, and we set a (k,ℓ+1)partition for G^{′} formed by the k independent sets, the ℓ cliques of G, and K.
Suppose there is a strongly chordal (k,ℓ+1) sandwich graph G^{′} for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}), k ≥ 1 and ℓ ≥ 1. Given G=G^{′}K, we will prove that G is a strongly chordal (k,ℓ) sandwich graph for (G^{1},G^{2}). Suppose by contradiction that G is not a strongly chordal (k,ℓ) graph. First, note that, since being a strongly chordal graph is an hereditary property, G must be strongly chordal. Thus, if G is not strongly chordal (k,ℓ) then it is because G is not a (k,ℓ)graph. It follows from Theorem 1 that G contains a (ℓ+1)(K_{k+1}) as an induced subgraph. Since G^{′} is the disjoint union of G and K, there is an induced subgraph (ℓ+2)K_{k+1} of G^{′} formed by K and the induced subgraph (ℓ+1)(K_{k+1}) of G. By Theorem 1, G^{′} is not strongly chordal (k,ℓ+1), a contradiction. Hence, G is a strongly chordal (k,ℓ) graph. □
Theorem 3.
STRONGLY CHORDAL (1, ℓ )SP, for ℓ ≥ 1, is NPcomplete.
Proof.
The proof of Theorem 3 is done by induction using Theorem 2 and Lemma 1. □
Lemma 2.
Given k ≥ 1, STRONGLY CHORDAL ( k ,1)SP is NPcomplete.
Proof.
We remark that the STRONGLY CHORDAL ( k ,1) GRAPH SANDWICH PROBLEM, k ≥ 1 is in NP, since we can check in polynomial time whether a graph G is a sandwich for a pair (G^{1},G^{2}) and whether it is strongly chordal (k,ℓ) [9],[15].
We consider the following special instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) of STRONGLY CHORDAL ( k ,1)SP obtained from (G^{1}, G^{2}), a connect instance of the NPcomplete problem CHORDAL BIPARTITESP[6], such that there is a chordal bipartite sandwich graph G=(V,E) for (G^{1},G^{2}) if and only if there is a strongly chordal (k,1) sandwich graph G^{′}, k ≥ 1 for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
Notice that if there exists G a chordal bipartite sandwich graph, then G^{1}=(V,E^{1}) must be bipartite. Let G^{1}=(X,Y,E^{1}). Given Y={y_{1},y_{2},…,y_{ q }}, we describe
V⋃{w_{1},w_{2},…,w_{k1}} and
⋃{(w_{ i },w_{ j }), (w_{ i },y_{1})i≠j; i,j∈ {1,2,…,k1}}.
This concludes the construction of the instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) (see Figure 3 as an example).
We will prove now that there exists G a chordal bipartite sandwich graph for (G^{1},G^{2}) if and only if there exists G^{′} a strongly chordal (k,1) sandwich graph for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
Suppose that G is a chordal bipartite sandwich graph for (G^{1},G^{2}). Let G^{′} be the graph where V\left({G}^{\prime}\right)=V\left({G}^{{1}^{\prime}}\right) and E(G^{′})=E(G)⋃{(w_{ i },w_{ j }), (w_{ i },y_{1})i≠j; i,j∈{1,2,…,k1}}⋃{(x_{ i },x_{ j })x_{ i },x_{ j }∈X}. We will prove that G^{′} is strongly chordal and we will exhibit the partition of its vertex set into k independent sets and one clique. Observe that a sun of G^{′} entirely belongs to a block of G^{′}. Since y_{1} is a cutvertex, we have that a sun of G^{′} belongs to the graph G^{′} [V]. By the Proposition 1, G^{′} [V] is strongly chordal. Hence, we can ensure that G^{′} is strongly chordal. Moreover, we can exhibit the (k,1)partition of G^{′}: Each vertex of {y_{1},w_{1},w_{2},…,w_{k1}} participates of an independent set and the clique is induced by X.
Now suppose that G^{′} is a strongly chordal (k,1) sandwich graph for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}). We prove next that G=(V,E), where E={E(G^{′})\{(x_{ i },x_{ j })x_{ i },x_{ j }∈X}. We observe that the instance (G^{1},G^{2}) of the NPcomplete sandwich problem for chordal bipartite graphs [6] can be assumed to satisfy that G^{1} is connected and G^{2} is bipartite. Suppose by contradiction, that G contains a C_{6}. In this case, we would have a sun in G^{′} [V], and this is a contradiction. □
Theorem 4.
STRONGLY CHORDAL ( k,ℓ )SP is NPcomplete for k ≥ 1 and ℓ ≥ 1.
Proof.
This proof follows from Lemma 2 and Theorem 3. □
Chordal (k,ℓ) graph sandwich problem
This problem can be formulated as follows:
chordal ( k,ℓ ) graph sandwich problem
Instance: G^{1}=(V,E^{1}) and G^{2}=(V,E^{2}), such that E^{1}⊆E^{2}.
Question: Is there a graph G=(V,E) such that E^{1}⊆E⊆E^{2} and G is a chordal (k,ℓ) graph?
From the literature, we know that the CHORDAL(1,1)SP is polynomially solvable [1]. In order to prove the main theorem of this section, we will first present the proof that CHORDAL(2,1)SP is NPcomplete. We observe that this result is stated in [18], but the proof was omitted.
Chordal (2,1) graph sandwich problem
Theorem 5.
CHORDAL(2,1)SP is NPcomplete.
Proof.
This proof follows from the NPcompletness proof of TRIANGULATING COLORED GRAPHS (TCG)[19] and of CHORDALSP[1]. We can fomally define TCG as follows:
triangulating colored graphs (tcg)
Input: A graph G=(V,E) and a proper vertex coloring c:V\to \mathbb{Z}.
Question: Does there exist a supergraph G^{′}=(V,E^{′}) of G that is chordal and properly colored on vertices by c?
First, we will prove that the (2,1)TRIANGULATING COLORING GRAPHS ((2,1)TCG) is NPcomplete. This problem cam be formulated as follows:
(2,1)triangulating colored graphs ((2,1)tcg)
Input: A graph G=(V,E) and a proper vertex coloring c:V\to \mathbb{Z}.
Question: Does there exist a supergraph G^{′}=(V,E^{′}) of G that is chordal(2,1) and properly colored on vertices by c?
We will use the same polynomial reduction from THREESATIFIABILITY PROBLEM (3SAT) [20] that was used by Bodlaender et al. to prove that TCG is NPcomplete, and we will show that the instance used is also a (2,1)graph. So, we will first present here the particular chordal graph they have constructed.
For our purposes, we will consider a graph G_{ I } obtained by an instance I of 3SAT that is composed by a decision component and some clause components. We will suppose that any clause contains both a literal and its complement. For each variable X or its complement \stackrel{}{X} contained in a clause i of I we have a decision component like the one of Figure 4.
Each decison component has the vertex set: H (head), {S}_{X},{S}_{\stackrel{}{X}} (shoulders), {K}_{X}^{i},{K}_{{\stackrel{}{X}}^{i}} (knees) and F (foot). The instance G_{ I } has only one head and one foot, a pair of shoulders for each variable X of I and a pair of knees for each occurence of X or \stackrel{}{X} in a clause i of I. Moreover, as we can see in Figure 4, head and foot will receive the same color. We will do the same for each pair of shoulders {S}_{X},{S}_{\stackrel{}{X}} and for each pair of knees {K}_{X}^{i},{K}_{\stackrel{}{X}}^{i}. Note that each color is assigned to exactly two vertices.
In order to triangulate the component related to the variable X, we can add either the set of edges \left(H,{K}_{X}^{i}\right),\left({S}_{X},{K}_{X}^{i}\right),\left({S}_{X},F\right) or the set of edges \left(H,{K}_{\stackrel{}{X}}^{i}\right), \left({S}_{\stackrel{}{X}},{K}_{\stackrel{}{X}}^{i}\right),({S}_{\stackrel{}{X}},F). We call the first set as Mark of Zorro on positive orientation and the second set as Mark of Zorro on negative orientation (Figure 5). Furthermore, we add either all edges \left(H,{K}_{X}^{i}\right) or all edges \left(H,{K}_{\stackrel{}{X}}\right).
If the Mark of Zorro is positively oriented in the decision component of X, the literal X will be set as TRUE. Otherwise, it will be set as FALSE.
To construct a clause component, we will not add vertices to G_{ I }. We will just add some edges between some knees.
Let L be a literal of the clause i. We say that {K}_{L}^{i} is an active knee and {K}_{\stackrel{}{L}}^{i} is an inactive knee.
Consider f as a truth assignment that satisfies the instance I of 3SAT. In this case, there exists at least one true literal in each clause. We will rename the variables in order to have X as a true literal and \stackrel{}{X} as a false literal.
We have finally constructed the graph G_{ I } (see Figure 6 as an example) and we will transform this graph in one that is chordal and (2,1). So, we will add some edges and prove that these edges turn G_{ I } into a (2,1)graph. The proof that it is also a chordal graph can be found in [19].
To transform G_{ I } into a chordal(2,1) graph, we will add
The edges of the positive orientation of the Mark of Zorro;
Edges that compose the complete graph formed by true shoulders and true knees; and
Edges such that true shoulders are adjacent to all false knees.
Bodlaender et al. have proved that this modified instance is a chordal graph [19]. In order to show that this graph is also a (2,1)graph, we will prove that it does not contain a pair of isolated triangles [15].
Observing the set of edges we have added in order to transform G_{ I } into a chordal(2,1) graph, we can see that each triangle formed by the addition of these edges has at least one true shoulder or at least one true knee. However, the clause components form three types of triangles in the graph:

1.
Triangles composed by active knees.
In this case, since the truth assignment must satisfy the instance I, all triangles must have at least one true knee.

2.
Triangles composed by the foot and one true knee; and

3.
Triangles composed by two false knees and the foot.
Note that the third type of triangles do not have true knees or true shoulders, but they have a common vertex: F. Also note that the foot is adjacent to all knees and to all true shoulders. Thus, this type of triangle is not isolated from any other triangle of the graph, and then we can state that this modified instance is a (2,1)graph. Therefore, we can also exhibit the (2,1)partition.
Clique  True shoulders, true knees and the foot.
Independent sets
S_{1}: The head, active false knees adjacent to inactive true knees, inactive false knees.
S_{2}: False shoulders, active false knees adjacent to inactive false knees.
Note that the head is not adjacent to false knees, and active false knees adjacent to inactive true knees are not adjacent to inactive false knees, even when they are from distinct clauses. Moreover, false shoulders are not adjacent to false knees. Hence, this (2,1)partition is well defined. □
Chordal (1,2) graph sandwich problem
In order to prove that CHORDAL(1,2) GRAPH SANDWICH PROBLEM is NPcomplete, we will use the same instance G_{ I } used to prove that CHORDAL(2,1)SP is NPcomplete.
Lemma 3.
The instance I of 3SAT is satisfiable if and only if there is a (1,2)triangulation for G_{ I } respecting the proper coloring of G_{ I }.
Proof.
The sufficiency proof of Lemma 3 is already done in [19].
In order to prove its necesssity, suppose that there is a satisfiable truth assignment f for I. We will add the following set of edges in order to obtain a chordal(1,2) graph respecting the proper coloring of G_{ I }.
The positive orientation of Mark of Zorro for each decision component;
All edges between true knees and true shoulders, in order to obtain a clique;
Edges such that every true shoulder sees every false knee;
All edges between active knees, and
Edges between inactive true knees adjacent to active false knees and active false knees adjacent to inactive true knees
Let G_{1} be the instance G_{ I } plus these additional edges and consider the following sets:
S_{1}={False shoulders, inactive false knees };
S_{2}={Head};
S_{3}={Inactive true knee adjacent to an active true knee };
S_{4}={Active false knee adjacent to an inactive false knee };
S_{5}={Active false knee adjacent to an inactive true knee (in the same clause component) }, and
S_{6}={Active true knees, true shoulders, foot }.
First, observe that these added edges are in the set of optional edges of G_{ I }. After, lets analyze the neighborhoods of each vertex of these sets.
False shoulders are adjacent to the head and to some true knees. Since head and true knees form a clique, each false shoulder is a simplicial vertex that can be removed. Inactive false knees are adjacent to the foot, to true shoulders and to an active knee (true or false). This set is also a clique and inactive false knees are simplicial vertices as well, so they can be deleted. Let G_{2} be the resulting graph after these remotions.
The neighborhood of the head in G_{2} is formed by true shoulders and true knees, what induces a clique in G_{2}. Then the head is a simplicial vertex that can be removed of the graph. Let G_{3} be the graph after the remotion of the Head.
The vertices of S_{3} in G_{3} are adjacent to the foot, to true shoulders and to true knees. Again, this set of vertices induces a clique in G_{3}. So, inactive true knees adjacent active true knees are simplicial vertices in G_{3} that can be deleted forming G_{4}.
The vertices of S_{4} in G_{4} are adjacent to true shoulders, to the foot and to all active knees (true or false). Active knees form a clique as well as true shoulders and the foot sees every knee and every true shoulder. Moreover, true shoulders are adjacent to all knees. So, this neighborhood is also a clique what characterizes each active false knee adjacent to an inactive false knee as a simplicial vertex in G_{4}. Let G_{5} be the graph after the remotion of all active false knee adjacent to an inactive false knee.
The vertices of S_{5} are adjacent to all active knees, to all inactive true knees adjacent to an active false knee, to true shoulders and to the foot in G_{5}. This neighborhood induces a clique, and, because of that, active false knees adjacent to inactive true knees can be removed in this step. Let G_{6} be the resulting graph, after the remotion of vertices of S_{5}.
Clearly G_{6} is a clique.
Observe that, if we follow the order of the sets, any elimination ordering of vertices applied to each set creates a perfect elimination ordering for the graph G_{1}. Moreover, we can present a (1,2)partition for the vertex set of G_{1}:
Independent set  False shoulders and inactive false knees.
Clique 1  Head, true shoulders and true knees.
Clique 2  Foot and active false knees.
This concludes the proof of Lemma 3. □
Theorem 6.
CHORDAL(1,2)SP is NPcomplete.
Proof.
Clearly, CHORDAL(1,2)SP is in NP. The NPcompleteness proof follows from the polynomial redution done in Lemma 3. □
Chordal (k,ℓ) graph sandwich problem, k ≥ 1, ℓ ≥ 2
Lemma 4.
Given k and ℓ positive integers such that k+ℓ≥3, if CHORDAL ( k,ℓ )SP is NPcomplete, then CHORDAL (k+1,ℓ)SP is NPcomplete.
Proof.
Observe that the CHORDAL ( k,ℓ ) GRAPH SANDWICH PROBLEM, k,ℓ>0 and k+ℓ≥ 3, is in NP, since we can check in polynomial time whether a graph G is a sandwich for a pair (G^{1},G^{2}) and whether it is chordal (k,ℓ) [15].
We consider the following special instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}) of the problem CHORDAL ( k+1,ℓ )SP obtained from (G^{1},G^{2}), an instance of the NPcomplete problem CHORDAL ( k,ℓ )SP, such that there is a (k,ℓ)chordal sandwich graph G for (G^{1},G^{2}) if and only if there is a (k+1,ℓ)chordal sandwich graph G^{′}, k,ℓ>0 and k+ℓ ≥ 3, for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
We denote by n_{1} and n_{2}, respectively, the number of K_{k+1}'s of G^{1} and G^{2}. Let {K}_{k+1}^{1},{K}_{k+1}^{2},\dots \phantom{\rule{0.3em}{0ex}},{K}_{k+1}^{{n}_{2}} be the subgraphs of G^{2} isomorphic to K_{k+1}. For each {K}_{k+1}^{i} of G^{2} we define one additional vertex u_{ i }, such that V\left({K}_{k+1}^{i}\right)\bigcup \left\{{u}_{i}\right\} forms a clique K^{i}, i=1,… ,n_{2}. We set V\left({G}^{{1}^{\prime}}\right)=V\left({G}^{{2}^{\prime}}\right)=V\left({G}^{1}\right)\bigcup _{i=1}^{{n}_{2}}\left\{{u}_{i}\right\}, E\left({G}^{{1}^{\prime}}\right)={E}^{1}\bigcup _{i=1}^{{n}_{1}}E\left({K}^{i}\right), and E\left({G}^{{2}^{\prime}}\right)={E}^{2}\bigcup _{i=1}^{{n}_{2}}E\left({K}^{i}\right). This concludes the construction of the instance ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}).
Suppose there is a chordal (k,ℓ) sandwich graph G for (G^{1},G^{2}). Consider G^{′} formed by G plus the forced edges of ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}). In order to prove that G^{′} is a chordal graph, we consider the perfect elimination sequence started by the simplicial vertices u_{ i }, i=1,…,n_{2}, and followed by a perfect elimination sequence of the chordal graph G. To prove that G^{′} is a (k+1,ℓ)graph, k,ℓ>0 and k+ℓ ≥ 3, we consider a (k,ℓ)partition of G, and we define a (k+1,ℓ)partition for G^{′} formed by the k independents sets of G, the independent set \bigcup _{i=1}^{{n}_{2}}\left\{{u}_{i}\right\}, and the ℓ cliques of G.
Suppose there is a chordal (k+1,ℓ) sandwich graph G^{′} for ({G}^{{1}^{\prime}},{G}^{{2}^{\prime}}), k,ℓ>0 and k+ℓ≥3. We consider G={G}^{\prime}\bigcup _{i=1}^{{n}_{2}}\left\{{u}_{i}\right\} and we will prove that G is a chordal (k,ℓ)sandwich graph for (G^{1},G^{2}). Suppose by contradiction that G is not a chordal (k,ℓ) graph. Note that, since being a chordal graph is an hereditary property, if G is not chordal then G^{′} is not chordal either. It follows from Theorem 1 that G contains a (ℓ+1)K_{k+1} as an induced subgraph (see Figure 1). By construction of G^{′}, for each {K}_{k+1}^{i} of G^{2} there is an additional vertex u_{ i } forming a K_{k+2} in {G}^{{2}^{\prime}} (see Figure 7 for an example). Then, we have (ℓ+1) copies of K_{k+2} in G^{′} which, by the characterization in [15], implies that G^{′} is not chordal (k+1,ℓ). Hence, G must be chordal (k,ℓ). □
Theorem 7.
CHORDAL ( k,ℓ )SP, for k,ℓ>0 and k+ℓ ≥ 3, is NPcomplete.
Proof.
The proof of Theorem 7 is done by a twostep mathematical induction on k and ℓ where the induction bases follow from Theorems 5 and 6 and the inductive steps follow from Lemma 1 and Lemma 4. □
Chordal (k,ℓ) graph sandwich problem when k=0 or ℓ=0
Observe first that (1,0) and (2,0) are hereditary polynomial time checkable properties, and that a (2,0)graph G is chordal if and only if G is acyclic. Hence, in both cases, in order to have a positive answer for the sandwich problem, G^{1} must satisfy the required property. Therefore, (STRONGLY) CHORDAL(1,0)SP and (STRONGLY) CHORDAL(2,0)SP are polynomially solvable. Moreover, since the existence of a chordal(0,1) sandwich graph depends on G^{2} being a clique, we have that (STRONGLY) CHORDAL(0,1)SP is polynomially solvable as well.
Chordal (0,2) graph sandwich problem
The following Lemma allows us to analyze the complexity of the (STRONGLY) CHORDAL(0,2) GRAPH SANDWICH PROBLEM.
Lemma 5.
G is chordal(0,2) if and only if G is strongly chordal(0,2).
Proof.
If G is chordal(0,2), then G cannot have a sun as an induced subgraph since, in this case, the size of an independent set is at most 2.
If G is strongly chordal(0,2), then G is chordal(0,2) by definition. □
Theorem 8.
CHORDAL(0,2)SP is polynomially solvable.
Proof.
In order to define an algorithm for CHORDAL(0,2) sandwich graph problem we use a polynomial reduction to the polytime problem 2SAT. With this purpose, from the vertex u and the partition (V_{1},V_{2}) into two cliques for V, we define the Boolean variable:
belongs to the part V_{ i },i∈{1,2}.
Given a CHORDAL(0,2) sandwich instance (G^{1},G^{2}).
We assume that there is no universal vertex in G^{2} since in a (0,2)partition, this vertex can be added to any part. Next, we describe our polynomial time algorithm to CHORDAL(0,2)SP.
Correctness: We notice that if I=(U,C) is satisfiable, then a chordal(0,2) sandwich graph G is obtained for the CHORDAL(0,2) instance (G_{1},G_{2}) by setting vertex u on V_{1} if and only if variable u^{1} is true and on V_{2} otherwise. The only optional edges added are the edges between vertices inside a same part either V_{1} or V_{2}.
In order to see that, notice that clauses in 2a provide that the endpoints of each forbidden edge belong to a part of the partition (V_{1},V_{2}). Clauses in 2b provide that each endpoint of each forbidden edge belong to exactly one part of the partition (V_{1},V_{2}). Clauses in 2c provide that if one endpoint of a forbidden edge belong to one part, then the other endpoint belongs to the other part of the partition (V_{1},V_{2}). Finally, clauses in 3 provide that from a satisfiable solution for I=(U,C), there is no C_{4} in G.
Suppose that there is a chordal sandwich graph G with partition into cliques (V_{1},V_{2}) for the CHORDAL(0,2) instance (G_{1},G_{2}). We assume that all the optional edges of G belong to either G [V_{1}] or G [V_{2}]. Hence, no forbidden edge is allowed inside V_{1} or V_{2}, and no C_{4} have two forced edges connecting vertices from V_{1} to V_{2}. Hence, there is a satisfiable solution for I=(U,C) such that the sandwich graph G is obtained for the CHORDAL(0,2) instance (G_{1},G_{2}). □
Conclusions
Figure 8 summarizes the results of this paper and presents open problems.
References
Golumbic M, Kaplan H, Shamir R: Graph sandwich problems. J Algorithm 1995, 19(3):449–473. 10.1006/jagm.1995.1047
Dantas S, Klein S, de Mello CP, Morgana A: The graph sandwich problem for P_{4}sparse graphs. Discrete Math 2009, 309(11):3664–3673. 10.1016/j.disc.2008.01.014
Dantas S, Teixeira R, Figueiredo C: The polynomial dichotomy for three nonempty part sandwich problems. Discrete Appl Math 2010, 158(12):1286–1304. 10.1016/j.dam.2009.12.002
Dourado M, Petito P, Teixeira R, Figueiredo C: Helly property, clique graphs, complementary graph classes, and sandwich problems. J Braz Comput Soc 2008, 14: 45–52. 10.1007/BF03192551
Figueiredo C, Faria L, Klein S, Sritharan R: On the complexity of the sandwich problems for strongly chordal graphs and chordal bipartite graphs. Theor Comput Sci 2007, 381: 57–67. 10.1016/j.tcs.2007.04.007
Sritharan R: Chordal bipartite completion of colored graphs. Discrete Math 2008, 308: 2581–2588. 10.1016/j.disc.2007.06.004
Lueker G, Rose D, Tarjan RE: Algorithmic aspects of vertex elimination on graphs. SIAM J Comput 1976, 5(2):266–283. 10.1137/0205021
Tarjan RE, Yannakakis M: Simple lineartime algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. SIAM J Comput 1984, 13: 566–579. 10.1137/0213035
Farber M: Applications of linear programming duality to problems involving independence and domination. Ph.d. thesis, Simon Fraser University, Canada; 1981.
Brandstädt A: Partitions of graphs into one or two independent sets and cliques. Discrete Math 1996, 152(13):47–54. 10.1016/0012365X(94)00296U
Brandstädt A (2005) Corrigendum. Discrete Math 186: 295. Brandstädt A (2005) Corrigendum. Discrete Math 186: 295.
Brandstädt A, Le VB, Szymczak T: The complexity of some problems related to graph 3colorability. Discrete Appl Math 1998, 89(13):59–73. 10.1016/S0166218X(98)001164
Feder T, Hell P, Klein S, Motwani R: List partitions. SIAM J Discrete Math 2003, 16: 449–478. 10.1137/S0895480100384055
Feder T, Hell P, Klein S, Nogueira LT, Protti F: List matrix partitions of chordal graphs. Theor Comput Sci 2005, 349: 52–66. 10.1016/j.tcs.2005.09.030
Hell P, Klein S, Nogueira LT, Protti F: Partitioning chordal graphs into independent sets and cliques. Discrete Appl Math 2004, 141: 185–194. 10.1016/S0166218X(03)003718
Hell P, Klein S, Nogueira LT, Protti F: Packing r cliques in weighted chordal graphs. Ann OR 2005, 138: 179–187. 10.1007/s1047900524523
Dantas S, de Figueiredo C, Faria L: On decision and optimization (k,l)graph sandwich problems. Discrete Appl Math 2004, 143: 155–165. 10.1016/j.dam.2004.02.008
Couto F, Faria L, Klein S, Protti F, Nogueira L: On (k,l)graph sandwich problems. In Frontiers in algorithmics and algorithmic aspects in information and management, Lecture Notes in Computer Science, vol 7924. Springer, Berlin Heidelberg; 2013:187–197.
Bodlaender H, Fellows M, Warnow T: Two strikes against perfect phylogeny. Comput Sci 1992, 623: 273–283.
Garey MR, Johnson DS: Computers and intractability: a guide to the theory of NPcompleteness. W. H. Freeman & Co., New York; 1979.
Dahlhaus E (1991) Chordale graphen im besonderen hinblick auf parallele algorithmen. Habilitation Thesis, University of Bonn.
Acknowledgements
We thank Sritharan for pointing us the result of Dahlhaus and discussing it on Theorem 2 proof. This study is supported by FAPERJ, CNPq and CAPES.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
FC, LF and SK proved the results presented in this paper. FC, under the supervision of both LF and SK, wrote this manuscript and drew its figures. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Couto, F., Faria, L. & Klein, S. Chordal (k,ℓ)and strongly chordal (k,ℓ)graph sandwich problems. J Braz Comput Soc 20, 16 (2014). https://doi.org/10.1186/s1317301400166
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1317301400166