Graph editing problems with extended regularity constraints

Graph editing problems offer an interesting perspective on sub- and supergraph identification problems for a large variety of target properties. They have also attracted significant attention in recent years, particularly in the area of parameterized complexity as the problems have rich parameter ecologies.In this paper we examine generalisations of the notion of editing a graph to obtain a regular subgraph. In particular we extend the notion of regularity to include two variants of edge-regularity along with the unifying constraint of strong regularity. We present a number of results, with the central observation that these problems retain the general complexity profile of their regularity-based inspiration: when the number of edits k and the maximum degree r are taken together as a combined parameter, the problems are tractable (i.e. in FPT), but are otherwise intractable.We also examine variants of the basic editing to obtain a regular subgraph problem from the perspective of parameterizing by the treewidth of the input graph. In this case the treewidth of the input graph essentially becomes a limiting parameter on the natural k+r parameterization.

[1]  Rolf Niedermeier,et al.  Win-win kernelization for degree sequence completion problems , 2016, J. Comput. Syst. Sci..

[2]  Michael R. Fellows,et al.  On problems without polynomial kernels , 2009, J. Comput. Syst. Sci..

[3]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.

[4]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[5]  L. Lovász The factorization of graphs. II , 1972 .

[6]  Iain A. Stewart Deciding whether a planar graph has a cubic subgraph is NP-complete , 1994, Discret. Math..

[7]  Christian Sloper,et al.  Looking at the Stars , 2004, IWPEC.

[8]  Larry J. Stockmeyer,et al.  The Polynomial-Time Hierarchy , 1976, Theor. Comput. Sci..

[9]  Martin Grohe,et al.  Deciding first-order properties of locally tree-decomposable structures , 2000, JACM.

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

[11]  Petr A. Golovach Editing to a Connected Graph of Given Degrees , 2014, MFCS.

[12]  Michael R. Fellows,et al.  On Problems without Polynomial Kernels (Extended Abstract) , 2008, ICALP.

[13]  Petr A. Golovach,et al.  Parameterized complexity of three edge contraction problems with degree constraints , 2014, Acta Informatica.

[14]  H. Kuhn The Hungarian method for the assignment problem , 1955 .

[15]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[16]  Michael R. Fellows,et al.  Review of: Fundamentals of Parameterized Complexity by Rodney G. Downey and Michael R. Fellows , 2015, SIGA.

[17]  H. W. Kuhn B R Y N Mawr College Variants of the Hungarian Method for Assignment Problems' , 1955 .

[18]  Ján Plesník,et al.  A note on the complexity of finding regular subgraphs , 1984, Discret. Math..

[19]  Vadim V. Lozin,et al.  Maximum k-regular induced subgraphs , 2007, J. Comb. Optim..

[20]  W. T. Tuttle Spanning subgraphs with specified valencies , 1974, Discret. Math..

[21]  Luke Mathieson,et al.  The parameterized complexity of degree constrained editing problems , 2009 .

[22]  Gérard Cornuéjols,et al.  General factors of graphs , 1988, J. Comb. Theory, Ser. B.

[23]  J. Edmonds Paths, Trees, and Flowers , 1965, Canadian Journal of Mathematics.

[24]  W. T. Tutte A Short Proof of the Factor Theorem for Finite Graphs , 1954, Canadian Journal of Mathematics.

[25]  Iain A. Stewart On locating cubic subgraphs in bounded-degree connected bipartite graphs , 1997, Discret. Math..

[26]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[27]  Hannes Moser,et al.  Parameterized complexity of finding regular induced subgraphs , 2009, J. Discrete Algorithms.

[28]  Rolf Niedermeier,et al.  A generalization of Nemhauser and Trotterʼs local optimization theorem , 2009, J. Comput. Syst. Sci..

[29]  Petr A. Golovach Editing to a Graph of Given Degrees , 2015, Theor. Comput. Sci..

[30]  David G. Kirkpatrick,et al.  On the completeness of a generalized matching problem , 1978, STOC.

[31]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[32]  Jannis Bulian,et al.  Fixed-Parameter Tractable Distances to Sparse Graph Classes , 2015, Algorithmica.

[33]  Leslie E. Trotter,et al.  Vertex packings: Structural properties and algorithms , 1975, Math. Program..

[34]  Iain A. Stewart Finding Regular Subgraphs in Both Arbitrary and Planar Graphs , 1996, Discret. Appl. Math..

[35]  Jan van Leeuwen,et al.  Finding a bigtriangleup-regular supergraph of minimum order , 2003, Discret. Appl. Math..

[36]  Mingyu Xiao,et al.  On a generalization of Nemhauser and Trotter's local optimization theorem , 2016, J. Comput. Syst. Sci..

[37]  W. Marsden I and J , 2012 .

[38]  R. Baker Factorization of graphs , 1975 .

[39]  Stefan Szeider,et al.  Editing graphs to satisfy degree constraints: A parameterized approach , 2012, J. Comput. Syst. Sci..

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

[41]  Konrad Dabrowski,et al.  Editing to a planar graph of given degrees , 2017, J. Comput. Syst. Sci..

[42]  W. T. Tutte Spanning subgraphs with specified valencies , 2006, Discret. Math..

[43]  Marko Samer,et al.  Tractable cases of the extended global cardinality constraint , 2009, Constraints.

[44]  Bernhard Korte,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[45]  Derek G. Corneil,et al.  The complexity of regular subgraph recognition , 1990, Discret. Appl. Math..