[논문 리뷰] Structural Parameterizations with Modulator Oblivion

Ashwin Jacob, Fahad Panolan외 2명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 CVD(사슬 정점 삭제 집합)의 크기 k로 매개변수화된 Vertex Cover, Feedback Vertex Set, Odd Cycle Transversal에 대해 입력으로 CVD가 주어지지 않더라도 2^O(k)-시간 알고리즘을 제시한다. 접근 방식은 각 버킷이 네 개의 클리크와 O(k)개의 추가 정점의 합집합인 특수한 트리 분해를 2^O(k)n^O(1) 시간 내에 구성하며, 이 구조상에서 동적 프로그래밍을 수행한다. 핵심 기여는 CVD가 제공된 경우 최고의 알려진 상한에 맞는 성능을 달성하는 적응형 알고리즘을 설계한 것으로, 문제를 해결하거나 인증서를 출력한다.

ABSTRACT

It is known that problems like Vertex Cover, Feedback Vertex Set and Odd Cycle Transversal are polynomial time solvable in the class of chordal graphs. We consider these problems in a graph that has at most $k$ vertices whose deletion results in a chordal graph, when parameterized by $k$. While this investigation fits naturally into the recent trend of what are called `structural parameterizations', here we assume that the deletion set is not given. One method to solve them is to compute a $k$-sized or an approximate ($f(k)$ sized, for a function $f$) chordal vertex deletion set and then use the structural properties of the graph to design an algorithm. This method leads to at least $k^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$ running time when we use the known parameterized or approximation algorithms for finding a $k$-sized chordal deletion set on an $n$ vertex graph. In this work, we design $2^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$ time algorithms for these problems. Our algorithms do not compute a chordal vertex deletion set (or even an approximate solution). Instead, we construct a tree decomposition of the given graph in time $2^{\mathcal{O}(k)}n^{\mathcal{O}(1)}$ where each bag is a union of four cliques and $\mathcal{O}(k)$ vertices. We then apply standard dynamic programming algorithms over this special tree decomposition. This special tree decomposition can be of independent interest. Our algorithms are adaptive (robust) in the sense that given an integer $k$, they detect whether the graph has a chordal vertex deletion set of size at most $k$ or output the special tree decomposition and solve the problem. We also show lower bounds for the problems we deal with under the Strong Exponential Time Hypothesis (SETH).

연구 동기 및 목표

• 입력으로 CVD가 주어지지 않은 경우에도 CVD의 크기 k로 매개변수화된 기본적인 그래프 문제에 대해 고정 매개변수 다항 시간 알고리즘을 개발하는 것.
• 사슬 그래프에서 다항 시간 내에 해결 가능한 문제들이 CVD 크기의 약속만 있을 경우에도 2^O(k) 시간 내에 해결 가능한지 여부에 대한 열린 질문을 다루는 것.
• CVD를 계산하지 않고도 문제를 해결하거나 특수한 트리 분해와 같은 구조적 인증서를 출력하는 적응형 알고리즘을 설계하는 것. 이는 유닛 디스크 그래프에 대한 Raghavan-Spinrad 알고리즘과 유사하다.
• SETH(강력한 지수 시간 가설) 하에서 이러한 문제들에 대해 날카로운 하한을 확립하는 것. 이는 CVD가 제공된 경우에도 성립한다.

제안 방법

• 각 버킷이 네 개의 클리크와 O(k)개의 추가 정점의 합집합인 트리 분해를 2^O(k)n^O(1) 시간 내에 구성한다.
• 이 특수한 트리 분해 상에서 동적 프로그래밍을 사용하여 Vertex Cover, Feedback Vertex Set, Odd Cycle Transversal 문제를 해결한다.
• CVD를 계산하거나 근사하지 않으며, 대신 사슬 그래프의 구조적 성질을 활용해 그래프의 구조 그대로에서 작업한다.
• 사슬 그래프에서 목표 문제들이 다항 시간 내에 해결 가능하므로, 트리 분해 상에서 효율적인 동적 프로그래밍이 가능하다는 점을 활용한다.
• 문제를 해결하거나 트리 분해를 출력하는 적응형 알고리즘을 설계하여 비가역성에 대한 인증서를 제공한다.
• Hitting Set 문제에서의 감소를 통해 SETH 기반 하한을 증명하며, 2^O(k)가 하위지수 요소를 제외하고 최적임을 보여준다.

실험 결과

연구 질문

• RQ1 입력으로 CVD 자체가 주어지지 않더라도, CVD 크기의 약속만 있을 경우 Vertex Cover, Feedback Vertex Set, Odd Cycle Transversal 문제를 2^O(k) 시간 내에 해결할 수 있는가?
• RQ2 CVD를 계산하지 않고도 문제를 해결하거나 특수한 트리 분해와 같은 구조적 인증서를 출력하는 적응형 알고리즘을 설계할 수 있는가?
• RQ3 CVD가 제공된 경우에도 Strong Exponential Time Hypothesis(SETH) 하에서 이러한 문제들의 날카로운 하한은 무엇인가?
• RQ4 이 접근 방식은 CVD로 매개변수화된 다른 문제들, 특히 사슬 그래프에서 NP-난이도를 가진 문제들로 일반화될 수 있는가?

주요 결과

• 논문은 CVD 크기로 매개변수화된 Vertex Cover, Feedback Vertex Set, Odd Cycle Transversal 문제에 대해 입력으로 CVD가 주어지지 않더라도 2^O(k)n^O(1)-시간 알고리즘을 제시한다.
• 알고리즘은 각 버킷이 네 개의 클리크와 O(k)개의 정점의 합집합인 특수한 트리 분해를 2^O(k)n^O(1) 시간 내에 구성하며, 이는 효율적인 동적 프로그래밍을 가능하게 한다.
• 이 접근은 적응형이다: 문제를 해결하거나 트리 분해를 출력하여 인증서를 제공하며, 이는 유닛 디스크 그래프에 대한 Raghavan-Spinrad 알고리즘과 유사하다.
• 논문은 SETH 하에서 이러한 문제들이 O*( (2−ϵ)^k ) 시간 내에 해결될 수 없음을 증명한다. 이는 CVD가 제공된 경우에도 성립하며, 상한이 실질적으로 날카로운 것을 보여준다.
• CVD를 통한 Hitting Set에서 Vertex Cover로의 감소를 통해, SETH 하에서 2^O(k) 시간 이하로 문제를 해결할 수 없음을 보여주며, 이는 모듈레이터가 주어진 경우에도 마찬가지다.
• 결과는 클러스터 정점 삭제 집합으로까지 확장되며, 클러스터 정점 삭제 집합 크기로 매개변수화된 Vertex Cover 문제 역시 SETH 하에서 O*( (2−ϵ)^k ) 시간 내에 해결될 수 없음을 보여준다.