On structural parameterizations of firefighting

Abstract The Firefighting problem is defined as follows. At time t = 0 , a fire breaks out at a vertex of a graph. At each time step t ≥ 1 , a firefighter permanently defends (protects) an unburned vertex, and the fire then spreads to all undefended neighbors from the vertices on fire. This process stops when the fire cannot spread anymore. The goal is to find a sequence of vertices for the firefighter that maximizes the number of saved (non burned) vertices. The Firefighting problem turns out to be NP -hard even when restricted to bipartite graphs or trees of maximum degree three. We study the parameterized complexity of the Firefighting problem for various structural parameterizations. All our parameters measure the distance to a graph class (in terms of vertex deletion) on which the Firefighting problem admits a polynomial-time algorithm. To begin with, we show that the problem is W [ 1 ] -hard when parameterized by the size of a modulator to diameter at most two graphs and split graphs. In contrast to the above intractability results, we show that Firefighting is fixed parameter tractable ( FPT ) when parameterized by the size of a modulator to cographs, threshold graphs and disjoint unions of stars. We further investigate the kernelization complexity of the problem and show that it does not admit a polynomial kernel when parameterized by the size of a modulator to a disjoint union of stars under some complexity-theoretic assumptions.

[1]  Ming Lam Leung Fixed Parameter Tractable Algorithm for Firefighting Problem , 2011, ArXiv.

[2]  Gary MacGillivray,et al.  The firefighter problem for graphs of maximum degree three , 2007, Discret. Math..

[3]  Janka Chlebíková,et al.  The firefighter problem: Further steps in understanding its complexity , 2017, Theor. Comput. Sci..

[4]  Francisco J. Rodríguez,et al.  The firefighter problem: Empirical results on random graphs , 2015, Comput. Oper. Res..

[5]  Leizhen Cai,et al.  Fixed-Parameter Tractability of Graph Modification Problems for Hereditary Properties , 1996, Inf. Process. Lett..

[6]  Martin Grohe,et al.  The complexity of first-order and monadic second-order logic revisited , 2004, Ann. Pure Appl. Log..

[7]  Gary MacGillivray,et al.  AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 43 (2009), Pages 57–77 The Firefighter Problem: A survey of results, directions and questions , 2022 .

[8]  Gary MacGillivray,et al.  The firefighter problem for cubic graphs , 2010, Discret. Math..

[9]  Lin Yang,et al.  Firefighting on Trees: (1-1/e)-Approximation, Fixed Parameter Tractability and a Subexponential Algorithm , 2008, ISAAC.

[10]  Sang-il Oum,et al.  Approximating rank-width and clique-width quickly , 2008, ACM Trans. Algorithms.

[11]  Russell Merris,et al.  Split graphs , 2003, Eur. J. Comb..

[12]  Parinya Chalermsook,et al.  Resource minimization for fire containment , 2010, SODA '10.

[13]  Anders Yeo,et al.  Kernel bounds for disjoint cycles and disjoint paths , 2009, Theor. Comput. Sci..

[14]  Erik Jan van Leeuwen,et al.  Parameterized complexity of firefighting , 2014, J. Comput. Syst. Sci..

[15]  Erik Jan van Leeuwen,et al.  The Firefighter problem on graph classes , 2016, Theor. Comput. Sci..

[16]  Stefan Kratsch,et al.  Kernelization Lower Bounds by Cross-Composition , 2012, SIAM J. Discret. Math..

[17]  Robert Ganian,et al.  Improving Vertex Cover as a Graph Parameter , 2015, Discret. Math. Theor. Comput. Sci..

[18]  Bruno Courcelle,et al.  Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width , 2000, Theory of Computing Systems.

[19]  Dieter Rautenbach,et al.  On the Band-, Tree-, and Clique-Width of Graphs with Bounded Vertex Degree , 2004, SIAM J. Discret. Math..