[논문 리뷰] Kernelization and approximation of distance-$r$ independent sets on nowhere dense graphs

Michał Pilipczuk, Sebastian Siebertz|arXiv (Cornell University)|2018. 09. 15.

Advanced Graph Theory Research참고 문헌 32인용 수 6

한 줄 요약

이 논문은 구조적 희박성과 분해 기법을 활용하여, 어디서도 밀도가 높지 않은 그래프 클래스에서 거리-$r$ 독립집합 문제에 거의 선형 커널이 존재함을 입증한다. 주요 기여는 임의의 $\varepsilon > 0$에 대해 $O(k^{1+\varepsilon})$ 크기의 다항시간 커널화 알고리즘을 제시함으로써, 이 설정에서 거의 선형 커널화가 가능하다는 것을 증명하는 것이다. 동시에, 어디서도 밀도가 높은 클래스에서는 $\textsc{W}[1]$-난이도임을 보여준다.

ABSTRACT

For a positive integer $r$, a distance-$r$ independent set in an undirected graph $G$ is a set $I\subseteq V(G)$ of vertices pairwise at distance greater than $r$, while a distance-$r$ dominating set is a set $D\subseteq V(G)$ such that every vertex of the graph is within distance at most $r$ from a vertex from $D$. We study the duality between the maximum size of a distance-$2r$ independent set and the minimum size of a distance-$r$ dominating set in nowhere dense graph classes, as well as the kernelization complexity of the distance-$r$ independent set problem on these graph classes. Specifically, we prove that the distance-$r$ independent set problem admits an almost linear kernel on every nowhere dense graph class.

연구 동기 및 목표

• 어디서도 밀도가 높지 않은 그래프 클래스에서 거리-$r$ 독립집합 문제의 커널화 복잡도를 조사하는 것.
• 희박한 그래프 클래스에서 거리-$r$ 독립집합과 거리-$2r$ 독립집합 간의 이중성 관계를 설정하는 것.
• 어디서도 밀도가 높지 않은 그래프에서 거리-$r$ 독립집합 문제에 거의 선형 커널이 존재하는지 확인하는 것.
• 어디서도 밀도가 높은 그래프 클래스에서 문제의 $\textsc{W}[1]$-난이도를 증명하여 커널화 결과의 날카로움을 확립하는 것.

제안 방법

• 어디서도 밀도가 높지 않은 그래프 클래스를 특징짓기 위해 깊이-$r$ 미니어를 사용하고, 그들의 구조적 희박성을 활용한다.
• 프로젝션, 페이지, 무한 너비의 계층적 그래프 분해 기법을 적용하여 문제 크기를 줄이면서도 해 구조를 유지한다.
• 연속적인 축소를 수행한다: 원래 그래프에서 유계 확장 부분그래프로, 그 다음에 미니어 닫힘 부분그래프로, 마지막으로 유계 확장을 갖는 코어 그래프로의 전환.
• 반복적인 투영 및 색칠 기법의 적용을 통해 커널을 구성하며, 커널 내의 각 정점이 원래 정점의 유계 수에 대응하도록 보장한다.
• 어디서도 밀도가 높지 않은 클래스에서는 $K_{t(r)}$ 가 깊이-$r$ 미니어로 나타나지 않음을 이용하여 부분그래프에서 유계 확장을 확보한다.
• 기존의 독립집합 문제에서 거리-$r$ 독립집합 문제로의 축소를, 구성된 그래프 $H = J^{(r)}$ 에서 수행함으로써, 어디서도 밀도가 높은 클래스에서 $\textsc{W}[1]$-난이도임을 입증한다.

실험 결과

연구 질문

• RQ1 어디서도 밀도가 높지 않은 그래프 클래스에서 거리-$r$ 독립집합 문제는 거의 선형 크기로 커널화될 수 있는가?
• RQ2 어디서도 밀도가 높지 않은 그래프에서 거리-$2r$ 독립집합의 크기와 거리-$r$ 독립집합의 최소 크기 사이의 관계는 무엇인가?
• RQ3 어디서도 밀도가 높지 않은 그래프 클래스에서 거리-$r$ 독립집합 문제의 $\textsc{W}[1]$-난이도는 무엇인가?
• RQ4 어디서도 밀도가 높지 않은 클래스에서 임의의 $\varepsilon > 0$에 대해 커널 크기가 $O(k^{1+\varepsilon})$ 이하로 유 bounds 될 수 있는가?
• RQ5 어디서도 밀도가 높지 않은 그래프의 어떤 구조적 성질이 이러한 효율적인 커널화를 가능하게 하는가?

주요 결과

• 거리-$r$ 독립집합 문제는 모든 어디서도 밀도가 높지 않은 그래프 클래스에서 거의 선형 커널을 갖는다. 커널 크기는 임의의 $\varepsilon > 0$에 대해 $O(k^{1+\varepsilon})$ 이다.
• 커널화는 어디서도 밀도가 높지 않은 그래프에서 큰 깊이-$r$ 미니어가 존재하지 않는다는 사실을 이용한 그래프 분해 및 축소의 연속적 과정을 통해 달성된다.
• 이중성 부등식이 성립한다: $\alpha_{2r}(G,A) \leq \gamma_r(G,A)$, 그리고 어디서도 밀도가 높지 않은 클래스에서는 이 이중성이 상수 인자 범위 내에서 날카로워진다.
• 어디서도 밀도가 높은 그래프 클래스에서 문제의 $\textsc{W}[1]$-난이도는, 기존의 독립집합 문제에서의 축소를 통해 입증된다.
• 그래프 $J$ 에서 $H = J^{(r)}$ 를 구성함으로써 $\alpha_{6r-1}(H) = \alpha_1(G) + 1$ 이 성립함을 보장하여 원래의 독립집합 문제와 거리-$r$ 변형 문제를 연결한다.
• 커널 크기의 상한은, $\textsc{W}[1] = \textsc{FPT}$ 가 아닌 한 어디서도 밀도가 높은 클래스에서는 다항 커널이 존재하지 않기 때문에 날카로운 것으로 간주된다.