Tractable and Intractable Problems on Generalized Chordal Graphs (Models of Computation and Algorithms)

A generalized chordal graph is characterized by some positive integer k 3, and whose each cycle of length greater than k has a chord. Several tractable and intractable problems on a k-chordal graph are considered. When k is a xed positive integer, the recognition problem for k-chordalness is in NC. On a k-chordal graph, the maximal acyclic set problem is in NC when k = 3, and the problem is in RNC for any xed k > 3. Next we show that the recognition problem for k-chordalness is coNP-complete for k = (n), where n is the number of vertices. We also show that for any positive constant , several NP-complete problems on a general graph is also NP-complete on a k-chordal graph even if k = (n ). That concludes that the recognition problem for k-chordalness is coNP-complete even for k = (n ) for any positive constant .

[1]  H. James Hoover,et al.  Limits to parallel computation , 1995 .

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

[3]  Anders Edenbrandt,et al.  Chordal Graph Recognition is in NC , 1987, Inf. Process. Lett..

[4]  Vijay V. Vazirani,et al.  Efficient Sequential and Parallel Algorithms for Maximal Bipartite Sets , 1993, J. Algorithms.

[5]  Xin He,et al.  Parallel Algorithms for Maximal Acyclic Sets , 1997, Algorithmica.

[6]  Peter Damaschke,et al.  Domination in Convex and Chordal Bipartite Graphs , 1990, Inf. Process. Lett..

[7]  Zhi-Zhong Chen,et al.  Parallel Algorithms for Maximal Linear Forests , 1997 .

[8]  Carl A. Gunter,et al.  In handbook of theoretical computer science , 1990 .

[9]  Moni Naor,et al.  Fast parallel algorithms for chordal graphs , 1987, STOC '87.

[10]  Andreas Brandstädt,et al.  The NP-Completeness of Steiner Tree and Dominating Set for Chordal Bipartite Graphs , 1987, Theor. Comput. Sci..

[11]  Haiko Müller,et al.  Hamiltonian circuits in chordal bipartite graphs , 1996, Discret. Math..

[12]  Anna Lubiw,et al.  Doubly lexical orderings of matrices , 1985, STOC '85.

[13]  Fanica Gavril,et al.  Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph , 1972, SIAM J. Comput..

[14]  Pierre Kelsen,et al.  On the parallel complexity of computing a maximal independent set in a hypergraph , 1992, STOC '92.

[15]  Frank Harary,et al.  Graph Theory , 2016 .

[16]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[17]  Philip N. Klein Efficient Parallel Algorithms for Chordal Graphs , 1996, SIAM J. Comput..

[18]  Marek Karpinski,et al.  An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3 , 1991, Inf. Process. Lett..

[19]  Uzi Vishkin,et al.  An O(log n) Parallel Connectivity Algorithm , 1982, J. Algorithms.

[20]  Jeremy P. Spinrad,et al.  Doubly Lexical Ordering of Dense 0 - 1 Matrices , 1993, Inf. Process. Lett..

[21]  A. Hoffman,et al.  Totally-Balanced and Greedy Matrices , 1985 .