A Constant Factor Approximation Algorithm for Boxicity of Circular Arc Graphs

Boxicity of a graph G(V, E) is the minimum integer k such that G can be represented as the intersection graph of k-dimensional axis parallel boxes in Rk. Equivalently, it is the minimum number of interval graphs on the vertex set V such that the intersection of their edge sets is E. It is known that boxicity cannot be approximated even for graph classes like bipartite, co-bipartite and split graphs below O(n0.5-e)-factor, for any e > 0 in polynomial time unless NP = ZPP. Till date, there is no well known graph class of unbounded boxicity for which even an ne-factor approximation algorithm for computing boxicity is known, for any e < 1. In this paper, we study the boxicity problem on Circular Arc graphs - intersection graphs of arcs of a circle. We give a (2+ 1/k)-factor polynomial time approximation algorithm for computing the boxicity of any circular arc graph along with a corresponding box representation, where k ≥ 1 is its boxicity. For Normal Circular Arc(NCA) graphs, with an NCA model given, this can be improved to an additive 2-factor approximation algorithm. The time complexity of the algorithms to approximately compute the boxicity is O(mn+n2) in both these cases and in O(mn+kn2) which is at most O(n3) time we also get their corresponding box representations, where n is the number of vertices of the graph and m is its number of edges. The additive 2-factor algorithm directly works for any Proper Circular Arc graph, since computing an NCA model for it can be done in polynomial time.

[1]  Lorna Stewart,et al.  Complexity Results on Graphs with Few Cliques , 2007, Discret. Math. Theor. Comput. Sci..

[2]  Frédéric Mazoit,et al.  The Branch-Width of Circular-Arc Graphs , 2006, LATIN.

[3]  Alan Tucker,et al.  Structure theorems for some circular-arc graphs , 1974, Discret. Math..

[4]  P. Hell,et al.  Interval bigraphs and circular arc graphs , 2004 .

[5]  Gen-Huey Chen,et al.  On the Complexity of the k-Chain Subgraph Cover Problem , 1998, Theor. Comput. Sci..

[6]  Margaret B. Cozzens,et al.  Higher and multi-dimensional analogues of interval graphs , 1981 .

[7]  Ioan Todinca,et al.  Pathwidth of Circular-Arc Graphs , 2007, WG.

[8]  Gary L. Miller,et al.  The Complexity of Coloring Circular Arcs and Chords , 1980, SIAM J. Algebraic Discret. Methods.

[9]  Carsten Thomassen,et al.  Interval representations of planar graphs , 1986, J. Comb. Theory, Ser. B.

[10]  M. Yannakakis The Complexity of the Partial Order Dimension Problem , 1982 .

[11]  R. Sritharan,et al.  A Min–Max Property of Chordal Bipartite Graphs with Applications , 2010, Graphs Comb..

[12]  Pavol Hell,et al.  List Homomorphisms and Circular Arc Graphs , 1999, Comb..

[13]  Jan Kratochvíl A Special Planar Satisfiability Problem and a Consequence of Its NP-completeness , 1994, Discret. Appl. Math..

[14]  L. Sunil Chandran,et al.  Cubicity, boxicity, and vertex cover , 2007, Discret. Math..

[15]  Jayme Luiz Szwarcfiter,et al.  Characterizations and recognition of circular-arc graphs and subclasses: A survey , 2009, Discret. Math..

[16]  C. Pandu Rangan,et al.  Treewidth of Circular-Arc Graphs , 1994, SIAM J. Discret. Math..

[17]  Kathie Cameron,et al.  Finding a maximum induced matching in weakly chordal graphs , 2003, Discret. Math..

[18]  A. Tucker,et al.  Matrix characterizations of circular-arc graphs , 1971 .

[19]  Ross M. McConnell,et al.  Linear-Time Recognition of Circular-Arc Graphs , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[20]  Moshe Lewenstein,et al.  New results on induced matchings , 2000, Discret. Appl. Math..

[21]  Abhijin Adiga,et al.  The hardness of approximating the boxicity, cubicity and threshold dimension of a graph , 2010, Discret. Appl. Math..