[논문 리뷰] Induced Disjoint Paths in Claw-Free Graphs

Petr A. Golovach, Daniël Paulusma외 1명|arXiv (Cornell University)|2012. 02. 20.

Advanced Graph Theory Research참고 문헌 36인용 수 5

한 줄 요약

이 논문은 구조적 그래프 이론과 준선형 그래프에서의 동적 프로그래밍을 활용하여, 클로버리스 그래프에서 k에 대해 고정된 매개변수로 고려할 때, 유도된 분리 경로 문제의 고정된 매개변수 다항시간 알고리즘이 존재함을 입증한다. 주요 기여는 고정된 k에 대해 다항시간 알고리즘을 제공하는 것으로, K₁,₄-리스크 그래프로의 확장이나 다항식 커널이 표준 복잡도 가정 하에 불가능함을 보여주는 날카로운 복잡도 결과를 포함한다.

ABSTRACT

Paths P1,...,Pk in a graph G=(V,E) are said to be mutually induced if for any 1 <= i < j <= k, Pi and Pj have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to test whether a graph G with k pairs of specified vertices (si,ti) contains k mutually induced paths Pi such that Pi connects si and ti for i=1,...,k. We show that this problem is fixed-parameter tractable for claw-free graphs when parameterized by k. Several related problems, such as the k-in-a-Path problem, are proven to be fixed-parameter tractable for claw-free graphs as well. We show that an improvement of these results in certain directions is unlikely, for example by noting that the Induced Disjoint Paths problem cannot have a polynomial kernel for line graphs (a type of claw-free graphs), unless NP \subseteq coNP/poly. Moreover, the problem becomes NP-complete, even when k=2, for the more general class of K_1,4-free graphs. Finally, we show that the n^O(k)-time algorithm of Fiala et al. for testing whether a claw-free graph contains some k-vertex graph H as a topological induced minor is essentially optimal by proving that this problem is W[1]-hard even if G and H are line graphs.

연구 동기 및 목표

• 클로버리스 그래프에서 유도된 분리 경로 문제의 매개변수 복잡도를 규명하는 것.
• 일반적인 분리 경로 문제에서 특수 그래프 클래스에서의 유도된 변형으로 알려진 타당성 결과를 확장하는 것.
• k-in-a-Path 및 k-in-a-Cycle과 같은 관련 문제로의 감소 분석을 통해 타당성의 한계를 조사하는 것.
• 선형 그래프 및 K₁,₄-리스크 그래프와 같은 하위클래스에 대해 커널화와 복잡도에 대한 하한을 설정하는 것.
• 중복 터미널 쌍을 포함하는 일반화된 문제의 매개변수 복잡도를 탐색하는 것.

제안 방법

• 클로버리스성을 유지하는 구조적 변환을 통해 클로버리스 그래프를 준선형 그래프로 감소시키는 것.
• 추가로 체드노프스키와 세이모어의 특성화를 활용하여 준선형 그래프의 구조에 기반한 동적 프로그래밍 적용.
• 고정된 k에 대해 준선형 그래프에서 k-유도된 분리 경로 문제에 대한 다항시간 알고리즘 사용.
• 기존의 어려운 문제에서의 감소를 통해 선형 그래프에서의 유도된 위상 미니어처 문제에 대한 W[1]-난이도 증명.
• K₁,₄-리스크 그래프에서 2-유도된 분리 경로 문제 및 관련 문제에 대한 NP-완전성 증명의 구축.
• 분리 경로 문제에서의 커널화 하한 기법을 유도된 분리 경로 문제로 선형 그래프에 대해 적응하는 것.

실험 결과

연구 질문

• RQ1 클로버리스 그래프에서 유도된 분리 경로 문제의 매개변수 k에 대해 고정된 매개변수 다항시간 알고리즘으로 가능할까?
• RQ2 문제를 K₁,₄-리스크 그래프로 확장해도 타당성이 유지될 수 있을까?
• RQ3 선형 그래프에서의 유도된 분리 경로 문제에 대해 매개변수 k에 대해 다항식 커널이 존재할까?
• RQ4 선형 그래프에서의 유도된 위상 미니어처 문제의 매개변수 복잡도는 어떠한가?
• RQ5 중복 터미널 쌍을 允許할 경우, 유도된 분리 경로 문제의 복잡도는 어떻게 변화하는가?

주요 결과

• 클로버리스 그래프에서 유도된 분리 경로 문제의 매개변수 k에 대해 고정된 매개변수 다항시간 알고리즘이 존재하며, 실행 시간은 n^O(k)이다.
• k-in-a-Path, k-in-a-Cycle, k-in-a-Tree 문제는 클로버리스 그래프에서 매개변수 k에 대해 고정된 매개변수 다항시간 알고리즘이 존재한다.
• 고정된 매개변수로 타겟 그래프 H의 정점 수를 고려할 때, 고정된 매개변수로 고정된 매개변수 다항시간 알고리즘이 존재한다.
• 선형 그래프에서의 유도된 분리 경로 문제에 대해서는 다항식 커널이 존재하지 않으며, NP ⊆ coNP/poly가 성립하지 않는 한 존재하지 않는다.
• K₁,₄-리스크 그래프에서 최대 차수 3인 그래프에서도 2-유도된 분리 경로 문제는 NP-완전하다.
• 선형 그래프에서의 유도된 위상 미니어처 문제에 대해서도 W[1]-난이도가 존재하며, 이는 피알라 등이 제시한 알고리즘이 본질적으로 최적임을 시사한다.