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 1985), while for example the problems of finding a minimum s–t separator that is a connected graph or an independent set are fixed-parameter tractable (Marx, O’Sullivan and Razgon, manuscript). We extend these results the following way:
-
Finding a minimum c-connected s–t separator is FPT for c = 2 and W[1]-hard for any c ≥ 3.
-
Finding a minimum s–t separator with diameter at most d is W[1]-hard for any d ≥ 2.
-
Finding a minimum r-regular s–t separator is W[1]-hard for any r ≥ 1.
-
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.
We also show that 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 NP ⊆ coNP/poly.
This work is supported by the Research Council of Norway and by the European Research Council (ERC) grant 280152.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N., Yuster, R., Zwick, U.: Color-coding. J. ACM 42, 844–856 (1995)
Bodlaender, H.L., Downey, R.G., Fellows, M.R., Hermelin, D.: On problems without polynomial kernels. J. Comput. Syst. Sci. 75, 423–434 (2009)
Bodlaender, H.L., Fomin, F.V., Lokshtanov, D., Penninkx, E., Saurabh, S., Thilikos, D.M.: (Meta) Kernelization. In: FOCS 2009, pp. 629–638. IEEE Computer Society (2009)
Bodlaender, H.L., Thomassé, S., Yeo, A.: Kernel bounds for disjoint cycles and disjoint paths. Theor. Comput. Sci. 412(35), 4570–4578 (2011)
Bousquet, N., Daligault, J., Thomassé, S.: Multicut is FPT. In: Fortnow, L., Vadhan, S.P. (eds.) STOC 2011, pp. 459–468. ACM (2011)
Chen, J., Liu, Y., Lu, S.: An Improved Parameterized Algorithm for the Minimum Node Multiway Cut Problem. In: Dehne, F., Sack, J.-R., Zeh, N. (eds.) WADS 2007. LNCS, vol. 4619, pp. 495–506. Springer, Heidelberg (2007)
Courcelle, B.: Graph rewriting: an algebraic and logic approach. In: Van Leeuwen (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pp. 193–242. Elsevier and MIT Press, Amsterdam (1990)
Diestel, R.: Graph Theory. Electronic Edition (2005)
Downey, R., Fellows, M.R.: Parameterized Complexity. Monographs in Computer Science. Springer, New York (1999)
Dreyfus, S., Wagner, R.: The Steiner problem in graphs. Networks 1, 195–207 (1971)
Feige, U., Mahdian, M.: Finding small balanced separators. In: Kleinberg, J.M. (ed.) STOC 2006, pp. 375–384. ACM (2006)
Fomin, F.V., Lokshtanov, D., Saurabh, S., Thilikos, D.M.: Bidimensionality and kernels. In: Charikar, M. (ed.) SODA 2010, pp. 503–510. SIAM (2010)
Fortnow, L., Santhanam, R.: Infeasibility of instance compression and succinct PCPs for NP. J. Comput. Syst. Sci. 77, 91–106 (2011)
Gottlob, G., Lee, S.T.: A logical approach to multicut problems. Inform. Process. Lett. 103(4), 136–141 (2007)
Guillemot, S.: FPT Algorithms for Path-Transversals and Cycle-Transversals Problems in Graphs. In: Grohe, M., Niedermeier, R. (eds.) IWPEC 2008. LNCS, vol. 5018, pp. 129–140. Springer, Heidelberg (2008)
Guo, J., Hüffner, F., Kenar, E., Niedermeier, R., Uhlmann, J.: Complexity and exact algorithms for vertex multicut in interval and bounded treewidth graphs. Eur. J. Oper. Res. 186(2), 542–553 (2008)
Marx, D.: Parameterized graph separation problems. Theor. Comput. Sci. 351(3), 394–406 (2006)
Marx, D., O’Sullivan, B., Razgon, I.: Treewidth reduction for constrained separation and bipartization problems. In: Marion, J.-Y., Schwentick, T. (eds.) STACS 2010, pp. 561–572 (2010)
Marx, D., O’Sullivan, B., Razgon, I.: Finding small separators in linear time via treewidth reduction. CoRR, arXiv:1110.4765 (2011)
Marx, D., Razgon, I.: Constant ratio fixed-parameter approximation of the edge multicut problem. Inform. Process. Lett. 109(20), 1161–1166 (2009)
Marx, D., Razgon, I.: Fixed-parameter tractability of multicut parameterized by the size of the cutset. In: Fortnow, L., Vadhan, S.P. (eds.) STOC 2011, pp. 469–478. ACM (2011)
Tarjan, R.E.: Decomposition by clique separators. Discrete Math. 55, 221–232 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heggernes, P., van’t Hof, P., Marx, D., Misra, N., Villanger, Y. (2012). On the Parameterized Complexity of Finding Separators with Non-Hereditary Properties. In: Golumbic, M.C., Stern, M., Levy, A., Morgenstern, G. (eds) Graph-Theoretic Concepts in Computer Science. WG 2012. Lecture Notes in Computer Science, vol 7551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34611-8_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-34611-8_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34610-1
Online ISBN: 978-3-642-34611-8
eBook Packages: Computer ScienceComputer Science (R0)