TY - JOUR

T1 - Solving partition problems almost always requires pushing many vertices around

AU - Kanj, Iyad

AU - Komusiewicz, Christian

AU - Sorge, Manuel

AU - Van Leeuwen, Erik Jan

N1 - Funding Information:
\ast Received by the editors January 22, 2019; accepted for publication (in revised form) January 6, 2020; published electronically March 10, 2020. This manuscript is the full version of an article in the Proceedings of the 26th Annual European Symposium on Algorithms (ESA '18) [24]. https://doi.org/10.1137/19M1239362 Funding: The second author gratefully acknowledges support by the DFG, project MAGZ, KO 3669/4-1. The third author gratefully acknowledges support by the People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013) under REA grant agreement 631163.11, by the Israel Science Foundation (grant 551145/14), and by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme under grant agreement 714704.
Publisher Copyright:
© 2020 Society for Industrial and Applied Mathematics.

PY - 2020/1/1

Y1 - 2020/1/1

N2 - A fundamental graph problem is to recognize whether the vertex set of a graph G can be bipartitioned into sets A and B such that G[A] and G[B] satisfy properties Π A and Π B, respectively. This so-called (Π A,Π B)-Recognition problem generalizes, amongst others, the recognition of 3-colorable, bipartite, split, and monopolar graphs. In this paper, we study whether certain fixed-parameter tractable (Π A,Π B)-Recognition problems admit polynomial kernels. In our study, we focus on the first level above triviality, where Π A is the set of P3-free graphs (disjoint unions of cliques, or cluster graphs), the parameter is the number of clusters in the cluster graph G[A], and Π B is characterized by a set H of connected forbidden induced subgraphs. We prove that, under the assumption that NP ⊆ coNP/poly, (Π A,Π B)-Recognition admits a polynomial kernel if and only if H contains a graph with at most two vertices. In both the kernelization and the lower bound results, we exploit the properties of a pushing process, which is an algorithmic technique used recently by Heggerness et al. and by Kanj et al. to obtain fixed-parameter algorithms for many cases of (Π A,Π B)-Recognition, as well as several other problems.

AB - A fundamental graph problem is to recognize whether the vertex set of a graph G can be bipartitioned into sets A and B such that G[A] and G[B] satisfy properties Π A and Π B, respectively. This so-called (Π A,Π B)-Recognition problem generalizes, amongst others, the recognition of 3-colorable, bipartite, split, and monopolar graphs. In this paper, we study whether certain fixed-parameter tractable (Π A,Π B)-Recognition problems admit polynomial kernels. In our study, we focus on the first level above triviality, where Π A is the set of P3-free graphs (disjoint unions of cliques, or cluster graphs), the parameter is the number of clusters in the cluster graph G[A], and Π B is characterized by a set H of connected forbidden induced subgraphs. We prove that, under the assumption that NP ⊆ coNP/poly, (Π A,Π B)-Recognition admits a polynomial kernel if and only if H contains a graph with at most two vertices. In both the kernelization and the lower bound results, we exploit the properties of a pushing process, which is an algorithmic technique used recently by Heggerness et al. and by Kanj et al. to obtain fixed-parameter algorithms for many cases of (Π A,Π B)-Recognition, as well as several other problems.

KW - Graph partitioning

KW - Monopolar graphs

KW - Polynomial kernel

UR - http://www.scopus.com/inward/record.url?scp=85091330031&partnerID=8YFLogxK

U2 - 10.1137/19M1239362

DO - 10.1137/19M1239362

M3 - Article

AN - SCOPUS:85091330031

VL - 34

SP - 640

EP - 681

JO - SIAM Journal on Discrete Mathematics

JF - SIAM Journal on Discrete Mathematics

SN - 0895-4801

IS - 1

ER -