[논문 리뷰] Smaller parameters for vertex cover kernelization

Eva-Maria C. Hols, Stefan Kratsch|arXiv (Cornell University)|2017. 11. 13.

Advanced Graph Theory Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 d-준임의성, d-준이분 그래프, d-준정수 그래프에 대한 모듈레이터를 기반으로 한 구조적 매개변수를 사용하여 정점 커버 문제에 대한 다항식 커널화를 제시한다. 최소 차단 집합의 크기에 대한 날카로운 경계를 설정함으로써, 각각 O(|X|^{3d+9}) 및 O(|X|^{2d+3})의 커널 크기를 도출하며, 이는 상한과 하한이 일치함을 보여주며, 이는 이전 결과를 일반화하고 여러 커널화 프레임워크를 통합한다. (d-준임의성 및 d-준이분 그래프의 경우 최소 차단 집합 크기 ≤ d+2, d-준정수 그래프의 경우 ≤ 2d+2).

ABSTRACT

We revisit the topic of polynomial kernels for Vertex Cover relative to structural parameters. Our starting point is a recent paper due to Fomin and Strømme [WG 2016] who gave a kernel with $\mathcal{O}(|X|^{12})$ vertices when $X$ is a vertex set such that each connected component of $G-X$ contains at most one cycle, i.e., $X$ is a modulator to a pseudoforest. We strongly generalize this result by using modulators to $d$-quasi-forests, i.e., graphs where each connected component has a feedback vertex set of size at most $d$, and obtain kernels with $\mathcal{O}(|X|^{3d+9})$ vertices. Our result relies on proving that minimal blocking sets in a $d$-quasi-forest have size at most $d+2$. This bound is tight and there is a related lower bound of $\mathcal{O}(|X|^{d+2-ε})$ on the bit size of kernels. In fact, we also get bounds for minimal blocking sets of more general graph classes: For $d$-quasi-bipartite graphs, where each connected component can be made bipartite by deleting at most $d$ vertices, we get the same tight bound of $d+2$ vertices. For graphs whose connected components each have a vertex cover of cost at most $d$ more than the best fractional vertex cover, which we call $d$-quasi-integral, we show that minimal blocking sets have size at most $2d+2$, which is also tight. Combined with existing randomized polynomial kernelizations this leads to randomized polynomial kernelizations for modulators to $d$-quasi-bipartite and $d$-quasi-integral graphs. There are lower bounds of $\mathcal{O}(|X|^{d+2-ε})$ and $\mathcal{O}(|X|^{2d+2-ε})$ for the bit size of such kernels.

연구 동기 및 목표

• 모듈레이터가 임의의 숲과 의사숲를 초월하여 더 일반적인 그래프 클래스로 다항식 커널화를 일반화하기 위해 d-준임의성, d-준이분 그래프, d-준정수 그래프를 구조적 매개변수로 도입하는 것.
• 이 그래프 클래스에서 최소 차단 집합의 크기에 대한 날카로운 상한을 설정함으로써, 커널 크기 보장을 위한 핵심 요소를 확보하는 것.
• 피드백 정점 집합, 차수 제한 모듈레이터, 분수 정점 커버 최적값 이상의 매개변수화에 기반한 이전의 커널화 결과를 통합하고 확장하는 것.
• 커널 크기에 대해 일치하는 하한을 증명하여, 유도된 커널 크기가 표준 복잡도 가정 하에 점근적으로 최적임을 보이는 것.

제안 방법

• d-준임의성은 각 연결 요소가 피드백 정점 집합 크기가 최대 d인 그래프로 정의하며, 유사하게 d-준이분 그래프와 d-준정수 그래프도 정의한다.
• 구조적 그래프 성질과 독립 집합에 대한 경계를 이용하여, d-준임의성 및 d-준이분 그래프에서 최소 차단 집합의 크기가 최대 d+2임을 증명하고, d-준정수 그래프에서는 최대 2d+2임을 증명한다.
• 감소 규칙을 적용하여 입력 그래프를 G−X가 최대 |X|^{2d+3}개의 연결 요소를 갖는 등가 인스턴스로 변환하며, d-준정수 그래프에서 최대 독립 집합을 다항식 시간 내에 계산할 수 있음을 활용한다.
• 변환된 인스턴스에 기존의 랜덤화 다항식 커널화 기법(정점 커버의 선형계획형 이론 이상의 매개변수화 기반)을 적용하여, 커널 크기가 |X|에 대해 다항식으로 의존하도록 보장한다.
• 최소 차단 집합의 크기가 제한됨을 바탕으로, d-준임의성의 경우 커널 크기가 O(|X|^{3d+9})이고, d-준정수 그래프의 경우 O(|X|^{2d+3})임을 도출한다.
• NP ⊈ coNP/poly를 가정할 경우, 커널의 비트 크기에 대해 O(|X|^{d+2−ε}) 및 O(|X|^{2d+2−ε})의 일치하는 하한을 유도한다.

실험 결과

연구 질문

• RQ1 정점 커버 문제에 대한 다항식 커널화는 숲과 의사숲에 대한 모듈레이터를 초월하여 더 일반적인 그래프 클래스로 확장될 수 있는가?
• RQ2 d-준임의성에서 최소 차단 집합의 최대 크기는 얼마이며, 이는 커널 크기에 어떤 영향을 미치는가?
• RQ3 d-준임의성에 대한 모듈레이터 프레임워크는 d-준이분 그래프 및 d-준정수 그래프로 일반화될 수 있으며, 이 경우에도 다항식 커널 크기를 유지할 수 있는가?
• RQ4 유도된 커널 크기는 점근적으로 최적인가? 매개변수 |X|에 따른 커널 크기의 하한은 무엇인가?
• RQ5 기존의 분수 정점 커버 이상의 매개변수화에 기반한 커널화 기법들은 이 새로운 그래프 클래스를 사용하여 하나의 프레임워크로 통합될 수 있는가?

주요 결과

• d-준임의성 및 d-준이분 그래프에서 최소 차단 집합의 크기는 최대 d+2이며, 이 경계는 날카로우며, 이 클래스에 크기 d+2의 클리크가 존재함으로써 최적임이 입증된다.
• d-준정수 그래프에서 최소 차단 집합의 크기는 최대 2d+2이며, 이 경계 역시 날카로우며, 크기 2d+2의 클리크가 하한 구축에 사용됨으로써 일치하는 하한이 성립한다.
• 모듈레이터 X가 d-준임의성인 정점 커버 문제에 대해 O(|X|^{3d+9}) 크기의 다항식 커널이 달성되었으며, 이는 이전의 숲과 의사숲에 대한 모듈레이터 결과를 일반화한다.
• d-준정수 그래프에 대한 모듈레이터의 경우 O(|X|^{2d+3}) 크기의 커널이 확보되었으며, 이는 피드백 정점 집합, 최대 차수 2 이하, 분수 정점 커버 이상의 매개변수화에 기반한 커널화를 모두 포함한다.
• NP ⊈ coNP/poly를 가정할 경우, 커널의 비트 크기에 대해 O(|X|^{d+2−ε}) 및 O(|X|^{2d+2−ε})의 일치하는 하한이 증명되었으며, 이는 커널 크기가 점근적으로 최적임을 보여준다.
• 결과는 숲에 대한 모듈레이터, 차수 제한 그래프, 선형계획형 이론 이상의 매개변수화에 기반한 여러 기존 커널화 프레임워크를 통합하고 확장한다.