Complexity analysis of P3-convexity problems on bounded-degree and planar graphs

This paper studies new complexity aspects of P 3 -convexity restricted to planar graphs with bounded maximum degree. More specifically, we are interested in identifying either a minimum P 3 -geodetic set or a minimum P 3 -hull set of such graphs, from which the whole vertex set of G is obtained either after one or sufficiently many iterations, respectively. Each iteration adds to a set S all vertices of V ( G ) ? S with at least two neighbors in S. In this paper it is shown that: a minimum P 3 -hull set of a graph G can be found in polynomial time when ? ( G ) ? n ( G ) c (for some constant c); deciding if there is a P 3 -hull set of size at most k in a given graph remains NP-complete even for planar graphs with maximum degree four; and, surprisingly as well as rather counterintuitively, it is NP-complete to decide if there is a P 3 -hull set of size at most k in a graph with maximum degree three, though one can determine a minimum P 3 -hull set in polynomial time not only for cubic graphs but also for graphs with minimum feedback vertex set of bounded size and no vertices of degree two. Concerning P 3 -geodetic sets, the problem of deciding if there is a P 3 -geodetic set of size at most k in a planar graph with maximum degree three is proved to be NP-complete. Finally, from a parameterized point of view, we observe that finding a P 3 -geodetic set of size at most k, where k is the parameter, is W2-hard; however, when considering the maximum degree as an additional parameter, this problem becomes fixed-parameter tractable.

[1]  Viggo Kann,et al.  Some APX-completeness results for cubic graphs , 2000, Theor. Comput. Sci..

[2]  Peter J. Slater,et al.  Fundamentals of domination in graphs , 1998, Pure and applied mathematics.

[3]  Béla Bollobás,et al.  Sharp thresholds in Bootstrap percolation , 2003 .

[4]  Stéphane Pérennes,et al.  The Power of Small Coalitions in Graphs , 2003, Discret. Appl. Math..

[5]  Dieter Rautenbach,et al.  Geodetic Number versus Hull Number in P3-Convexity , 2013, SIAM J. Discret. Math..

[6]  Lutz Volkmann,et al.  On 2-domination and independence domination numbers of graphs , 2011, Ars Comb..

[7]  David Lichtenstein,et al.  Planar Formulae and Their Uses , 1982, SIAM J. Comput..

[8]  F. Harary,et al.  The geodetic number of a graph , 1993 .

[9]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[10]  Ning Chen,et al.  On the approximability of influence in social networks , 2008, SODA '08.

[11]  Yoji Kajitani,et al.  On the nonseparating independent set problem and feedback set problem for graphs with no vertex degree exceeding three , 1988, Discret. Math..

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

[13]  Rolf Niedermeier,et al.  On Tractable Cases of Target Set Selection , 2010, ISAAC.

[14]  Lutz Volkmann,et al.  On graphs with equal domination and 2-domination numbers , 2008, Discret. Math..

[15]  Dieter Rautenbach,et al.  Immediate versus Eventual Conversion: Comparing Geodetic and Hull Numbers in P 3-Convexity , 2012, WG.

[16]  Mustafa Atici,et al.  Computational Complexity of Geodetic Set , 2002, Int. J. Comput. Math..

[17]  Fred S. Roberts,et al.  Irreversible k-threshold processes: Graph-theoretical threshold models of the spread of disease and of opinion , 2009, Discret. Appl. Math..

[18]  Jayme Luiz Szwarcfiter,et al.  Irreversible conversion of graphs , 2011, Theor. Comput. Sci..

[19]  Wayne Goddard,et al.  Bounds on the k-domination number of a graph , 2011, Appl. Math. Lett..

[20]  Béla Bollobás,et al.  Random majority percolation , 2010, Random Struct. Algorithms.

[21]  Rolf Niedermeier,et al.  Constant Thresholds Can Make Target Set Selection Tractable , 2012, Theory of Computing Systems.

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

[23]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.