TY - JOUR
T1 - Kernel bounds for path and cycle problems
AU - Bodlaender, H.L.
AU - Jansen, B.M.P.
AU - Kratsch, S.
PY - 2013/11/4
Y1 - 2013/11/4
N2 - Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization lower bounds. This work explores the existence of polynomial kernels for various path and cycle problems, by considering nonstandard parameterizations. We show polynomial kernels when the parameters are a given vertex cover, a modulator to a cluster graph, or a (promised) max leaf number. We obtain lower bounds via cross-composition, e.g., for Hamiltonian Cycle and related problems when parameterized by a modulator to an outerplanar graph.
AB - Connectivity problems like k-Path and k-Disjoint Paths relate to many important milestones in parameterized complexity, namely the Graph Minors Project, color coding, and the recent development of techniques for obtaining kernelization lower bounds. This work explores the existence of polynomial kernels for various path and cycle problems, by considering nonstandard parameterizations. We show polynomial kernels when the parameters are a given vertex cover, a modulator to a cluster graph, or a (promised) max leaf number. We obtain lower bounds via cross-composition, e.g., for Hamiltonian Cycle and related problems when parameterized by a modulator to an outerplanar graph.
KW - Graphs
KW - Kernelization
KW - Parameterized complexity
KW - Path and cycle problems
KW - Upper and lower bounds
UR - http://www.scopus.com/inward/record.url?scp=84888011873&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2012.09.006
DO - 10.1016/j.tcs.2012.09.006
M3 - Article
AN - SCOPUS:84888011873
VL - 511
SP - 117
EP - 136
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
ER -