Distance-$$d$$ independent set problems for bipartite and chordal graphs

The paper studies a generalization of the Independent Set problem (IS for short). A distance-$$d$$ independent set for an integer $$d\ge 2$$ in an unweighted graph $$G = (V, E)$$ is a subset $$S\subseteq V$$ of vertices such that for any pair of vertices $$u, v \in S$$, the distance between $$u$$ and $$v$$ is at least $$d$$ in $$G$$. Given an unweighted graph $$G$$ and a positive integer $$k$$, the Distance-$$d$$Independent Set problem (D$$d$$IS for short) is to decide whether $$G$$ contains a distance-$$d$$ independent set $$S$$ such that $$|S| \ge k$$. D2IS is identical to the original IS. Thus D2IS is $$\mathcal{NP}$$-complete even for planar graphs, but it is in $$\mathcal{P}$$ for bipartite graphs and chordal graphs. In this paper we investigate the computational complexity of D$$d$$IS, its maximization version MaxD$$d$$IS, and its parameterized version ParaD$$d$$IS($$k$$), where the parameter is the size of the distance-$$d$$ independent set: (1) We first prove that for any $$\varepsilon >0$$ and any fixed integer $$d\ge 3$$, it is $$\mathcal{NP}$$-hard to approximate MaxD$$d$$IS to within a factor of $$n^{1/2-\varepsilon }$$ for bipartite graphs of $$n$$ vertices, and for any fixed integer $$d\ge 3$$, ParaD$$d$$IS($$k$$) is $$\mathcal{W}[1]$$-hard for bipartite graphs. Then, (2) we prove that for every fixed integer $$d\ge 3$$, D$$d$$IS remains $$\mathcal{NP}$$-complete even for planar bipartite graphs of maximum degree three. Furthermore, (3) we show that if the input graph is restricted to chordal graphs, then D$$d$$IS can be solved in polynomial time for any even $$d\ge 2$$, whereas D$$d$$IS is $$\mathcal{NP}$$-complete for any odd $$d\ge 3$$. Also, we show the hardness of approximation of MaxD$$d$$IS and the $$\mathcal{W}[1]$$-hardness of ParaD$$d$$IS($$k$$) on chordal graphs for any odd $$d\ge 3$$.

[1]  S. Poljak A note on stable sets and colorings of graphs , 1974 .

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

[3]  Owen J. Murphy,et al.  Computing independent sets in graphs with large girth , 1992, Discret. Appl. Math..

[4]  George J. Minty,et al.  On maximal independent sets of vertices in claw-free graphs , 1980, J. Comb. Theory B.

[5]  Carsten Flotow on Powers of M-trapezoid Graphs , 1995, Discret. Appl. Math..

[6]  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..

[7]  Carsten Flotow,et al.  On Powers of Circular Arc Graphs and Proper Circular Arc Graphs , 1996, Discret. Appl. Math..

[8]  P. Paulraja,et al.  Powers of chordal graphs , 1983 .

[9]  Fanica Gavril,et al.  Algorithms on circular-arc graphs , 1974, Networks.

[10]  Michael R. Fellows,et al.  Fixed-Parameter Tractability and Completeness II: On Completeness for W[1] , 1995, Theor. Comput. Sci..

[11]  Martin Charles Golumbic,et al.  The complexity of comparability graph recognition and coloring , 1977, Computing.

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

[13]  A. Brandstädt,et al.  Graph Classes: A Survey , 1987 .

[14]  David Zuckerman Linear Degree Extractors and the Inapproximability of Max Clique and Chromatic Number , 2007, Theory Comput..

[15]  Vassilis Giakoumakis,et al.  Maximum Weight Independent Sets in hole- and co-chair-free graphs , 2012, Inf. Process. Lett..

[16]  Peter Damaschke,et al.  Powers of geometric intersection graphs and dispersion algorithms , 2002, Discret. Appl. Math..

[17]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[18]  Martin Milanič,et al.  A polynomial algorithm to find an independent set of maximum weight in a fork-free graph , 2006, SODA '06.