[논문 리뷰] Vertex Cover Structural Parameterization Revisited

Fomin, Fedor V., Strømme, Torstein J. F.|arXiv (Cornell University)|2016. 03. 02.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 정점 커버의 다항식 커널화를 가짜산림 모듈레이터를 기반으로 제안하며, 임의의 인스턴스를 $\mathcal{O}(|X|^{12})$ 개의 정점으로 줄이는 방법을 제시한다. 여기서 $X$는 모듈레이터이다. 또한, 가짜산림 모듈레이터에 대해 이러한 커널이 존재하지 않음을 증명하며, 이는 $\text{NP} \subseteq \text{coNP/poly}$가 성립하지 않는 한 외부 평면 및 카투스 그래프 모듈레이터에 대해서도 다항식 커널이 존재하지 않음을 의미한다.

ABSTRACT

A pseudoforest is a graph whose connected components have at most one cycle. Let X be a pseudoforest modulator of graph G, i. e. a vertex subset of G such that G-X is a pseudoforest. We show that Vertex Cover admits a polynomial kernel being parameterized by the size of the pseudoforest modulator. In other words, we provide a polynomial time algorithm that for an input graph G and integer k, outputs a graph G' and integer k', such that G' has O(|X|12) vertices and G has a vertex cover of size k if and only if G' has vertex cover of size k'. We complement our findings by proving that there is no polynomial kernel for Vertex Cover parameterized by the size of a modulator to a mock forest (a graph where no cycles share a vertex) unless NP is a subset of coNP/poly. In particular, this also rules out polynomial kernels when parameterized by the size of a modulator to outerplanar and cactus graphs.

연구 동기 및 목표

• 피드백 정점 집합과 차수 2 모듈레이터를 초월하여 정점 커버의 다항식 커널화 결과를 확장하기 위해.
• 트리너비-2 그래프 클래스로의 모듈레이터를 기반으로 정점 커버에 대해 다항식 커널이 존재하는지 조사하기 위해.
• 정점 커버의 구조적 매개변수화에 대한 커널화의 한계를 규명하기 위해.
• 모크 숲, 외부 평면 및 카투스 그래프로의 모듈레이터에 대해 날카로운 하한을 설정하기 위해.

제안 방법

• 가짜산림의 구조에 맞는 감소 규칙을 사용한 커널화 알고리즘 설계.
• 가짜이중수에서 최대 독립집합에 관한 새로운 조합적 보조정리를 활용하여 감소를 이끌어내기.
• 크기가 $\mathcal{O}(|X|^{12})$인 등가 인스턴스를 출력하는 다항시간 사전처리 알고리즘 구축.
• 3-SAT에서의 감소를 통해 하한을 증명하며, 이 때 $G - X$는 모크 숲이 된다.
• 모크 숲 모듈레이터에 대해 다항식 커널이 존재한다면 $\text{NP} \subseteq \text{coNP/poly}$임을 증명.
• 외부 평면 및 카투스 그래프에 하한을 적용하기 위해, 이들이 모크 숲에 포함됨을 보여줌.

실험 결과

연구 질문

• RQ1 정점 커버는 가짜산림 모듈레이터의 크기로 매개변수화되었을 때 다항식 커널을 갖는가?
• RQ2 피드백 정점 집합에 대한 커널화 결과는 가짜산림과 같은 더 강력한 구조적 매개변수로 확장될 수 있는가?
• RQ3 모듈레이터가 모크 숲, 외부 평면 또는 카투스 그래프일 경우 정점 커버에 대해 다항식 커널이 존재하는가?
• RQ4 트리너비-2 그래프를 초월한 구조적 매개변수화 하에서 정점 커버의 커널화의 한계는 무엇인가?
• RQ5 표준 복잡도 가정 하에, 모크 숲 모듈레이터에 대해 다항식 커널의 존재를 배제할 수 있는가?

주요 결과

• 정점 커버는 가짜산림 모듈레이터의 크기로 매개변수화되었을 때 다항식 커널을 갖으며, 커널 크기는 $\mathcal{O}(|X|^{12})$ 개의 정점으로 제한된다.
• 커널화 알고리즘은 구성적이며, 가짜이중수에서 최대 독립집합에 관한 새로운 조합적 보조정리를 기반으로 한다.
• 모듈레이터가 모크 숲인 정점 커버에 대해 다항식 커널이 존재한다면 $\text{NP} \subseteq \text{coNP/poly}$임을 의미하며, 이는 매우 불가능시된 것으로 간주된다.
• 이 하한은 외부 평면 그래프 및 카투스 그래프 모듈레이터에 대해서도 다항식 커널이 존재하지 않음을 배제한다.
• 하한은 3-SAT에서의 감소를 통해 확립되며, 이 때 모듈레이터 $X$는 변수 진리값 할당에 대응하고 절의 거점은 만족 가능성 조건을 강제한다.
• 구성은 $G - X$가 외부 평면임을 보여주며, 이 하한은 블록 그래프에도 확장됨을 보여준다.