Chordal- (k,ℓ)and strongly chordal- (k,ℓ)graph sandwich problems

BackgroundIn this work, we consider the graph sandwich decision problem for property Π, introduced by Golumbic, Kaplan and Shamir: given two graphs G1=(V,E1) and G2=(V,E2), the question is to know whether there exists a graph G=(V,E) such that E1⊆E⊆E2 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,ℓ.MethodsIn order to do that, we consider each pair of positive values of k and ℓ, exhibiting correspondent polynomial algorithms, or NP-complete reductions.ResultsWe prove that the strongly chordal- (k,ℓ) graph sandwich problem is NP-complete, for k≥1 and ℓ≥1, and that the chordal- (k,ℓ) graph sandwich problem is NP-complete, 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.ConclusionsTo 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.

[1]  Celina M. H. de Figueiredo,et al.  Helly property, clique raphs, complementary graph classes, and sandwich problems , 2010, Journal of the Brazilian Computer Society.

[2]  Martin Charles Golumbic,et al.  Graph Sandwich Problems , 1995, J. Algorithms.

[3]  Binhai Zhu,et al.  Frontiers in Algorithmics and Algorithmic Aspects in Information and Management , 2013, Lecture Notes in Computer Science.

[4]  Andreas Brandstädt,et al.  The Complexity of some Problems Related to Graph 3-colorability , 1998, Discret. Appl. Math..

[5]  Sulamita Klein,et al.  On (k, ℓ)-Graph Sandwich Problems , 2013, FAW-AAIM.

[6]  Sulamita Klein,et al.  List matrix partitions of chordal graphs , 2005, Theor. Comput. Sci..

[7]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[8]  Michael R. Fellows,et al.  Two Strikes Against Perfect Phylogeny , 1992, ICALP.

[9]  Celina M. H. de Figueiredo,et al.  On the complexity of the sandwich problems for strongly chordal graphs and chordal bipartite graphs , 2007, Theor. Comput. Sci..

[10]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[11]  Celina M. H. de Figueiredo,et al.  The polynomial dichotomy for three nonempty part sandwich problems , 2010, Discret. Appl. Math..

[12]  Sulamita Klein,et al.  Partitioning chordal graphs into independent sets and cliques , 2004, Discret. Appl. Math..

[13]  Celina M. H. de Figueiredo,et al.  On decision and optimization (k, l)-graph sandwich problems , 2004, Discret. Appl. Math..

[14]  Klaudia Frankfurter Computers And Intractability A Guide To The Theory Of Np Completeness , 2016 .

[15]  Robert E. Tarjan,et al.  Algorithmic Aspects of Vertex Elimination on Graphs , 1976, SIAM J. Comput..

[16]  Stephen R. Schach,et al.  Common coupling as a measure of reuse effort in kernel-based software with case studies on the creation of MkLinux and Darwin , 2008, Journal of the Brazilian Computer Society.

[17]  Andreas Brandstädt Partitions of graphs into one or two independent sets and cliques , 1996, Discret. Math..

[18]  R. Sritharan Chordal bipartite completion of colored graphs , 2008, Discret. Math..

[19]  Sulamita Klein,et al.  List Partitions , 2003, SIAM J. Discret. Math..

[20]  Sulamita Klein,et al.  The Graph Sandwich Problem for P4-sparse graphs , 2009, Discret. Math..

[21]  Sulamita Klein,et al.  Packing r-Cliques in Weighted Chordal Graphs , 2005, Ann. Oper. Res..