On the Parameterized Complexity of Finding Separators with Non-Hereditary Properties

Heggernes, Pinar and van 't Hof, Pim and Marx, Dániel and Misra, Neeldhara and Villanger, Yngve (2014) On the Parameterized Complexity of Finding Separators with Non-Hereditary Properties. ALGORITHMICA, xx. pp. 1-27. ISSN 0178-4617 10.1007/s00453-014-9868-6

[img] Text
Heggernes_1_2538158_z.pdf
Restricted to Registered users only

Download (936kB) | Request a copy

Abstract

We study the problem of finding small s-t separators that induce graphs having certain properties. It is known that finding a minimum clique s-t separator is polynomial-time solvable (Tarjan in Discrete Math. 55:221-232, 1985), while for example the problems of finding a minimum s-t separator that induces a connected graph or forms an independent set are fixed-parameter tractable when parameterized by the size of the separator (Marx et al. in ACM Trans. Algorithms 9(4): 30, 2013). Motivated by these results, we study properties that generalize cliques, independent sets, and connected graphs, and determine the complexity of finding separators satisfying these properties. We investigate these problems also on bounded-degree graphs. Our results are as follows: (1) Finding a minimum c-connected s-t separator is FPT for c=2 and W[1]-hard for any c≥3. (2) Finding a minimum s-t separator with diameter at most d is W[1]-hard for any d≥2. (3) Finding a minimum r-regular s-t separator is W[1]-hard for any r≥1. (4) For any decidable graph property, finding a minimum s-t separator with this property is FPT parameterized jointly by the size of the separator and the maximum degree. (5) Finding a connected s-t separator of minimum size does not have a polynomial kernel, even when restricted to graphs of maximum degree at most 3, unless {Mathematical expression}. In order to prove (1), we show that the natural c-connected generalization of the well-known Steiner Tree problem is FPT for c=2 and W[1]-hard for any c≥3. © 2014 Springer Science+Business Media New York.

Item Type: Article
Uncontrolled Keywords: Vertex separators; Parameterized complexity; Non-hereditary properties; FPT algorithms
Subjects: Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Divisions: Informatics Laboratory
SWORD Depositor: MTMT Injector
Depositing User: MTMT Injector
Date Deposited: 26 Sep 2014 18:43
Last Modified: 26 Sep 2014 18:43
URI: http://eprints.sztaki.hu/id/eprint/7984

Update Item Update Item