구조적 커널화의 분수점: 경로폭‑1과 경로폭‑2 사이에서 구성요소 순서 연결성 문제

초록

본 논문은 Vertex Cover의 일반화인 Component Order Connectivity (COC) 문제를 연구한다. 저자는 거리‑to‑pathwidth‑1 그래프(및 d) 를 파라미터로 할 때 COC이 다항 커널을 가짐을 증명하고, 거리‑to‑pathwidth‑2(또는 폭‑2인 포레스트)에서는 다항 커널이 존재하지 않음을 보이며, 이 두 클래스가 구조적 파라미터화에 대한 “분수점”임을 밝힌다. 또한 F‑MinorDeletion과의 관계를 논의하며, d‑COC이 기존 커널화 이론에서 예외적인 위치에 있음을 제시한다.

상세 분석

논문은 먼저 COC 문제를 정의한다. 입력은 무방향 그래프 G, 정수 d≥1, k이며, 목표는 |S|≤k인 정점 집합 S를 찾아 G−S의 모든 연결 성분이 크기 d 이하가 되게 하는 것이다. d=1이면 전통적인 Vertex Cover(VC)과 동일하다. 기존 연구에서는 VC가 트리폭‑1(즉, 피드백 정점 집합)까지의 거리 파라미터에 대해 다항 커널을 가짐이 알려졌고, 트리폭‑2까지의 거리에서는 커널이 존재하지 않음이 증명되었다. Greilhuber와 Sharma는 d≥2인 경우, 거리‑to‑pathwidth‑2(특히 폭‑2인 포레스트)에서는 d‑COC이 다항 커널을 가질 수 없음을 보여준다.

이 논문은 이러한 결과를 확장해 “분수점”을 경로폭‑1과 경로폭‑2 사이에 놓는다. 핵심 정리는 다음과 같다.

1. COC / d + pw‑1 (즉, 입력에 d와 모듈레이터 M이 주어지고, G−M의 경로폭이 ≤1인 경우) 은 O(d⁷|M|³ + d⁶|M|⁴) 정점 크기의 다항 커널을 갖는다.
2. 고정된 d에 대해 d‑COC / pw‑1 은 O(|M|⁴) 정점 크기의 다항 커널을 가진다.

이 결과는 “거리‑to‑pathwidth‑1” 파라미터가 충분히 강력함을 보여준다. 저자는 모듈레이터 M을 입력에 포함시키는 것이 일반성에 손해가 없으며, 최소 모듈레이터를 다항 시간에 근사적으로 구할 수 있음을 인용한다.

기술적으로는 기존의 트리깊이‑η 모듈레이터 기반 커널링(Jansen‑Pieterse)과는 달리, 경로폭‑1 그래프는 긴 경로를 포함할 수 있어 트리깊이와는 독립적인 구조적 특성을 가진다. 따라서 연결 성분의 크기를 직접 제한하는 새로운 감소 규칙을 설계해야 한다. 저자는 “d‑블로킹 집합” 개념을 활용해 최소 d‑COC 집합에 포함될 수 없는 정점을 식별하고, 이를 모듈레이터에 추가함으로써 연결 성분 수를 |M|·O(1) 수준으로 축소한다. 이 과정에서 Hols‑Kratsch‑Pieterse의 VC용 성분 감소 기법을 일반화한 정리(4.13)를 도입한다.

또한 논문은 F‑MinorDeletion 프레임워크와의 연관성을 탐색한다. d‑COC은 F‑MinorDeletion에서 F={P₍d+1₎}와 같은 특정 마이너 집합으로 표현될 수 있다. 기존 연구는 F가 평면 그래프를 포함하거나 브리지‑깊이가 제한된 경우에만 다항 커널이 존재함을 보였지만, d‑COC은 경로폭‑1이라는 새로운 구조적 클래스에 의해 커널화가 가능함을 보여준다. 이는 F‑MinorDeletion 문제들의 커널화 이분법에 새로운 예외를 추가한다는 점에서 의미가 크다.

마지막으로 저자는 추가적인 파라미터화 결과를 제시한다. 최대 차수가 2인 그래프에 대한 거리 파라미터에서는 COC / d + dist‑to‑G가 다항 커널을 갖고, 최대 차수가 3인 평면 그래프에 대해서는 커널이 존재하지 않음(조건부) 을 보인다. 이러한 결과는 구조적 파라미터가 문제의 커널화 가능성을 어떻게 좌우하는지를 명확히 보여준다.