Tractability and hardness of flood-filling games on trees

This work presents new results on flood-filling games, Flood-It and Free-Flood-It, in which the player aims to make the board monochromatic with a minimum number of flooding moves. A flooding move consists of changing the color of the monochromatic component containing a vertex p (the pivot of the move). These games are originally played on grids; however, when played on trees, we have interesting applications and significant effects on problem complexity. In this paper, a complete mapping of the complexity of flood-filling games on trees is made, charting the consequences of single and aggregate parameterizations by: number of colors, number of moves, maximum distance from the pivot, number of occurrences of a color, number of leaves, and difference between number of moves and number of colors.We show that Flood-It on trees and Restricted Shortest Common Supersequence (RSCS) are analogous problems, in the sense that they can be translated from one to another, preserving complexity issues; this implies interesting FPT and W1]-hard cases to Flood-It. Restricting attention to phylogenetic colored trees (where each color occurs at most once in any root-leaf path, in order to model phylogenetic sequences), we also show some impressive NP-hard and FPT results for both games. In addition, we prove that Flood-It and Free-Flood-It remain NP-hard when played on 3-colored trees, which closes an open question posed by Fleischer and Woeginger. Finally, we present a general framework for reducibility from Flood-It to Free-Flood-It; some NP-hard cases for Free-Flood-It can be derived using this approach.

[1]  Fábio Protti,et al.  An algorithmic analysis of Flood-it and Free-Flood-it on graph powers , 2014, Discret. Math. Theor. Comput. Sci..

[2]  Gerhard J. Woeginger,et al.  An algorithmic analysis of the Honey-Bee game , 2012, Theor. Comput. Sci..

[3]  Michael Trevor Hallett An integrated complexity analysis of problems from computational biology , 1998 .

[4]  Dan Gusfield,et al.  Efficient algorithms for inferring evolutionary trees , 1991, Networks.

[5]  Sven Rahmann The shortest common supersequence problem in a microarray production setting , 2003, ECCB.

[6]  John W. Fowler,et al.  A survey of problems, solution techniques, and future challenges in scheduling semiconductor manufacturing operations , 2011, J. Sched..

[7]  M. Golumbic,et al.  On the Complexity of DNA Physical Mapping , 1994 .

[8]  Cristina G. Fernandes,et al.  Motif Search in Graphs: Application to Metabolic Networks , 2006, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[9]  David Maier,et al.  The Complexity of Some Problems on Subsequences and Supersequences , 1978, JACM.

[10]  Esko Ukkonen,et al.  The Shortest Common Supersequence Problem over Binary Alphabet is NP-Complete , 1981, Theor. Comput. Sci..

[11]  Michael R. Fellows,et al.  DNA Physical Mapping: Three Ways Difficult , 1993, ESA.

[12]  Paola Bonizzoni,et al.  An approximation algorithm for the shortest common supersequence problem: an experimental analysis , 2001, SAC.

[13]  Michael R. Fellows,et al.  Systematic parameterized complexity analysis in computational phonology , 1999 .

[14]  Christoph Aschwanden,et al.  Spatial simulation model for infectious viral diseases with focus on SARS and the common flu , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[15]  V. G. Timkovskii Complexity of common subsequence and supersequence problems and related problems , 1989 .

[16]  Martin Middendorf More on the Complexity of Common Superstring and Supersequence Problems , 1994, Theor. Comput. Sci..

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

[18]  Michael R. Fellows,et al.  Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs , 2007, ICALP.

[19]  Fábio Protti,et al.  Parameterized Complexity of Flood-Filling Games on Trees , 2013, COCOON.

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

[21]  Raphaël Clifford,et al.  The Complexity of Flood Filling Games , 2011, Theory of Computing Systems.

[22]  Krzysztof Pietrzak,et al.  On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems , 2003, J. Comput. Syst. Sci..

[23]  Kitty Meeks,et al.  Spanning Trees and the Complexity of Flood-Filling Games , 2012, Theory of Computing Systems.

[24]  Fred R. McMorris,et al.  Triangulating vertex colored graphs , 1994, SODA '93.

[25]  Kitty Meeks,et al.  The complexity of Free-Flood-It on 2×n boards , 2011, Theor. Comput. Sci..

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

[27]  Eric Thierry,et al.  Flooding games on graphs , 2014, Discret. Appl. Math..

[28]  David S. Johnson,et al.  Some simplified NP-complete problems , 1974, STOC '74.

[29]  Michael R. Fellows,et al.  The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs , 2000, Theor. Comput. Sci..

[30]  Jeong Seop Sim,et al.  The consensus string problem for a metric is NP-complete , 2003, J. Discrete Algorithms.

[31]  Kitty Meeks,et al.  The complexity of flood-filling games on graphs , 2011, Discret. Appl. Math..

[32]  Michael R. Fellows,et al.  Analogs & duals of the MAST problem for sequences & trees , 2003, J. Algorithms.

[33]  Edward Fredkin,et al.  Trie memory , 1960, Commun. ACM.