[논문 리뷰] Turing Kernelization for Finding Long Paths in Graphs Excluding a Topological Minor

Bart M. P. Jansen, Marcin Pilipczuk외 1명|arXiv (Cornell University)|2018. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 고정된 그래프 H를 위상적 미니처로 포함하지 않는 그래프에서 k-Path 문제에 대해 다항식 Turing 커널화를 제시한다. 이는 크기가 작은 부분문제를 해결하는 오라클을 사용한다. 이전 결과를 확장하여 더 넓은 그래프 클래스를 다루며, H-위상적 미니처 자유 그래프에 작은 정점 모듈레이터를 가진 그래프로도 확장된다. 이는 구조적 그래프 분해와 오라클 지원 감소를 활용하여 다항식 시간 내에 효율적인 커널화를 달성한다. 커널화 과정은 다항식(k)의 오라클 호출을 포함한다.

ABSTRACT

The notion of Turing kernelization investigates whether a polynomial-time algorithm can solve an NP-hard problem, when it is aided by an oracle that can be queried for the answers to bounded-size subproblems. One of the main open problems in this direction is whether k-PATH admits a polynomial Turing kernel: can a polynomial-time algorithm determine whether an undirected graph has a simple path of length k, using an oracle that answers queries of size k^{O(1)}? We show this can be done when the input graph avoids a fixed graph H as a topological minor, thereby significantly generalizing an earlier result for bounded-degree and K_{3,t}-minor-free graphs. Moreover, we show that k-PATH even admits a polynomial Turing kernel when the input graph is not H-topological-minor-free itself, but contains a known vertex modulator of size bounded polynomially in the parameter, whose deletion makes it so. To obtain our results, we build on the graph minors decomposition to show that any H-topological-minor-free graph that does not contain a k-path has a separation that can safely be reduced after communication with the oracle.

연구 동기 및 목표

• k-Path가 유계 차수 그래프와 K3,t-미니처 자유 그래프를 초월하는 더 넓은 그래프 클래스에서 다항식 Turing 커널화를 갖는지 여부를 해결하기 위해.
• H-위상적 미니처 자유 그래프가 아니지만, 그들의 삭제로 인해 H-위상적 미니처 자유 그래프가 되는 작은 정점 모듈레이터를 가진 그래프로 Turing 커널화를 확장하기 위해.
• 그래프 미니처와 위상적 미니처 분해를 기반으로 한 승패 전략을 개발하여 커널화를 위한 감소 가능한 분리 구조를 식별하기 위해.
• k-Path가 k와 |M|에 대해 다항식 Turing 커널화를 갖는다는 것을 입증하기 위해. 여기서 M은 H-위상적 미니처 자유 그래프로의 모듈레이터이다.

제안 방법

• Robertson와 Seymour의 그래프 미니처 분해와 Grohe 및 Marx의 위상적 미니처 분해를 활용하여 H-위상적 미니처 자유 그래프에서 접합도와 폭이 poly(k)인 트리 분해를 찾는다.
• 승패 전략을 적용: k-경로가 존재하거나, A의 크기가 poly(k)이고 작은 집합 Z가 보호하는 감소 가능한 분리 (A,B)를 찾는다.
• 감소 규칙을 적용하여, N[A]에서 Auxiliary Linkage 오라클을 사용해 A 내의 모든 가능한 k-경로를 표시한 후, 표시되지 않은 정점들을 삭제한다.
• 분해에서 구성 요소의 수가 poly(k, w, s) 이하로 제한되므로, 감소가 적용되지 않으면 인스턴스 크기가 k, w, s에 대해 다항식으로 유한해진다.
• 고정된 표면에 임베딩 가능한 그래프가 K3,t-미니처 자유임을 이용하고, 이러한 그래프에서 경로 길이에 대한 기존의 하한을 적용하여 k-경로의 존재를 추론한다.
• k-사이클에 대해 적용하기 위해 먼저 길이 k²의 경로가 존재하는지 테스트하고, Dirac의 정리를 활용하여 그러한 경로가 존재하면 긴 사이클이 존재함을 보장한다.

실험 결과

연구 질문

• RQ1 고정된 그래프 H를 위상적 미니처로 포함하지 않는 그래프에서 k-Path는 다항식 Turing 커널화를 갖는가?
• RQ2 H-위상적 미니처 자유 그래프가 아니지만, 작은 정점 모듈레이터를 가진 그래프에서 k-Path에 대해 다항식 Turing 커널화를 달성할 수 있는가?
• RQ3 그래프 미니처 분해를 기반으로 한 승패 전략을 H-위상적 미니처 자유 그래프에서 감소 가능한 분리를 찾는 데 적응시킬 수 있는가?
• RQ4 H-위상적 미니처 자유 그래프의 어떤 구조적 성질이 k-Path의 효율적 오라클 지원 커널화를 가능하게 하는가?
• RQ5 이러한 기법은 k-Cycle이나 Induced k-Path와 같은 다른 문제로 확장될 수 있는가?

주요 결과

• H-위상적 미니처 자유 그래프에서 k-Path는 다항식 Turing 커널화를 갖는다. 실행 시간은 k^O(H)(n²m)이며, 오라클 호출 수는 k^O(H) · n이다.
• 크기가 k에 대해 다항식으로 유한한 알려진 정점 모듈레이터 M을 가진 그래프로 커널화가 확장되며, G−M이 H-위상적 미니처 자유 그래프일 때 k와 |M|에 대해 파arameterized된다.
• H-위상적 미니처 자유 그래프에서 k-경로의 존재는 승패 전략을 통해 결정된다: 또는 k-경로가 존재하거나, |A| = poly(k)이고 크기가 O(1)인 보호 집합 Z가 있는 감소 가능한 분리 (A,B)를 찾을 수 있다.
• 감소 규칙은 G[N[A]]에서 Auxiliary Linkage 오라클을 사용한 오라클 호출 수에 따라 A에서 최소한 한 개의 정점을 삭제하며, k-경로 성질을 유지한다.
• 감소가 적용되지 않으면 인스턴스 크기가 poly(k, w, s) 이하로 제한되어 단일 오라클 호출로 문제를 해결할 수 있다.
• k-사이클에 대해 적용하기 위해 먼저 길이 k²의 경로가 존재하는지 테스트하고, Dirac의 정리를 활용하여 그러한 경로가 존재하면 긴 사이클이 존재함을 추론할 수 있다.