Speeding up Dynamic Programming for Some NP-Hard Graph Recoloring Problems

A vertex coloring of a tree is called convex if each color induces a connected component. The NP-hard CONVEX RECOLORING problem on vertex-colored trees asks for a minimum-weight change of colors to achieve a convex coloring. For the non-uniformly weighted model, where the cost of changing a vertex v to color c depends on both v and c, we improve the running time on trees from O(Δκ ċ κn) to O(3κ ċ κn), where Δ is the maximum vertex degree of the input tree T, κ is the number of colors, and n is the number of vertices in T. In the uniformly weighted case, where costs depend only on the vertex to be recolored, one can instead parameterize on the number of bad colors β ≤ κ, which is the number of colors that do not already induce a connected component. Here, we improve the running time from O(Δβ ċ βn) to O(3β ċ βn). For the case where the weights are integers bounded by M, using fast subset convolution, we further improve the running time with respect to the exponential part to O(2κ ċ κ4n2M log2(nM)) and O(2β ċ β4n2M log2(nM)), respectively. Finally, we use fast subset convolution to improve the exponential part of the running time of the related 1-CONNECTED COLORING COMPLETION problem.

[1]  Igor Razgon A 2O(k)poly(n) algorithm for the parameterized Convex Recoloring problem , 2007, Inf. Process. Lett..

[2]  Michael R. Fellows,et al.  Kernelization for Convex Recoloring , 2006, ACiD.

[3]  Christian Blum,et al.  Revisiting dynamic programming for finding optimal subtrees in trees , 2007, Eur. J. Oper. Res..

[4]  Andrzej Lingas,et al.  On Exact Complexity of Subgraph Homeomorphism , 2007, TAMC.

[5]  Dror Rawitz,et al.  Improved Approximation Algorithm for Convex Recoloring of Trees , 2005, WAOA.

[6]  Martin Fürer,et al.  Faster integer multiplication , 2007, STOC '07.

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

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

[9]  Sagi Snir,et al.  Convex Recolorings of Strings and Trees: Definitions, Hardness Results and Algorithms , 2005, WADS.

[10]  Michael R. Fellows,et al.  Connected Coloring Completion for General Graphs: Algorithms and Complexity , 2007, COCOON.

[11]  S. E. Dreyfus,et al.  The steiner problem in graphs , 1971, Networks.

[12]  Michael R. Fellows,et al.  Quadratic Kernelization for Convex Recoloring of Trees , 2010, Algorithmica.

[13]  H. Bodlaender,et al.  Convex recoloring of leaf-colored trees , 2006 .

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

[15]  Sagi Snir,et al.  Efficient Approximation of Convex Recolorings , 2005, APPROX-RANDOM.

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

[17]  Sagi Snir,et al.  Convex recolorings of strings and trees: Definitions, hardness results and algorithms , 2008, J. Comput. Syst. Sci..

[18]  Andreas Björklund,et al.  Fourier meets möbius: fast subset convolution , 2006, STOC '07.

[19]  Niklaus Wirth,et al.  Algorithms and Data Structures , 1989, Lecture Notes in Computer Science.