Editing to Connected f-Degree Graph

In the EDGE EDITING TO CONNECTED f-DEGREE GRAPH problem we are given a graph G, an integer k and a function f assigning integers to vertices of G. The task is to decide whether there is a connected graph F on the same vertex set as G, such that for every vertex v, its degree in F is f(v) and the number of edges inthe symmetric difference of E(G) and E(F), is at most k. We show that EDGE EDITING TO CONNECTED f-DEGREE GRAPH is fixed-parameter tractable (FPT) by providing an algorithm solving the problem on an n-vertex graph in time 2^{O(k)}n^{O(1)}. Our FPT algorithm is based on a non-trivial combination of color-coding and fast computations of representative families over direct sum matroid of l-elongation of co-graphic matroid associated with G and uniform matroid over the set of non-edges of G. We believe that this combination could be useful in designing parameterized algorithms for other edge editing problems.

[1]  Michael D. Plummer,et al.  Graph factors and factorization: 1985-2003: A survey , 2007, Discret. Math..

[2]  Dániel Marx,et al.  A parameterized view on matroid optimization problems , 2009, Theor. Comput. Sci..

[3]  Aravind Srinivasan,et al.  Splitters and near-optimal derandomization , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[4]  Fedor V. Fomin,et al.  Subexponential parameterized algorithm for minimum fill-in , 2011, SODA.

[5]  Fahad Panolan,et al.  Deterministic Truncation of Linear Matroids , 2014, ICALP.

[6]  Mekkia Kouider,et al.  Connected Factors in Graphs – a Survey , 2005, Graphs Comb..

[7]  Jin Akiyama,et al.  Factors and factorizations of graphs - a survey , 1985, J. Graph Theory.

[8]  Ken-ichi Kawarabayashi,et al.  The Minimum k-way Cut of Bounded Size is Fixed-Parameter Tractable , 2011, 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science.

[9]  Noga Alon,et al.  Fast Fast , 2009, ICALP.

[10]  J. Petersen Die Theorie der regulären graphs , 1891 .

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

[12]  Michal Pilipczuk,et al.  Designing FPT Algorithms for Cut Problems Using Randomized Contractions , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

[13]  H. Fleischner Eulerian graphs and related topics , 1990 .

[14]  Richard P. Anstee,et al.  An Algorithmic Proof of Tutte's f-Factor Theorem , 1985, J. Algorithms.

[15]  Virginia Vassilevska Williams,et al.  Multiplying matrices faster than coppersmith-winograd , 2012, STOC '12.

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

[17]  J. Oxley Matroid Theory (Oxford Graduate Texts in Mathematics) , 2006 .