학과 세미나 및 콜로퀴엄

구분 IBS-KAIST 세미나
분류 이산수학
제목 A Dividing Line for Structural Kernelization of Component Order Connectivity via Distance to Bounded Pathwidth
Abstract Vertex Cover is perhaps the most-studied problem in parameterized complexity that frequently serves as a testing ground for new concepts and techniques. In this talk, I will focus on a generalization of Vertex Cover called Component Order Connectivity (COC). Given a graph G, an integer k and a positive integer d, the task is to decide whether there is a vertex set S of size at most k such that each connected component of G – S has size at most d. If d = 1, then COC is the same as Vertex Cover. While almost all techniques to obtain polynomial kernels for Vertex Cover extend well to COC parameterized by k + d, the same cannot be said for structural parameters. Vertex Cover admits a polynomial kernel parameterized by the vertex deletion distance to treewidth 1 graphs, but not when parameterized by the deletion distance to treewidth 2 graphs. The picture changes when considering COC: It was recently shown that COC does not admit a polynomial kernel parameterized by the vertex deletion distance to treewidth 1 graphs with pathwidth 2, even if d ≥ 2 is a fixed constant. Complementing this, we show that COC does admit a polynomial kernel parameterized by the distance to graphs with pathwidth at most 1 (plus d). Hence, the deletion distance to pathwidth 1 vs. pathwidth 2 forms a similar line of tractability for COC as the distance to treewidth 1 vs. treewidth 2 does for Vertex Cover. In this talk, I will highlight the ideas and techniques that make this kernelization result possible.
일시 2025-10-28 (Tue) / 16:30 ~ 17:30
장소 Room B332, IBS (기초과학연구원)
강연언어 영어
강연자성명 Jakob Greilhuber
강연자소속 CISPA Helmholtz Center for Information Security
강연자홈페이지 https://cispa.de/en/people/c02jagr
기타정보
초청인 Sang-il Oum
URL https://dimag.ibs.re.kr/event/2025-10-28/
담당자
연락처