[논문 리뷰] The Complexity of Packing Edge-Disjoint Paths

Jan Dreier, Janosch Fuchs외 5명|arXiv (Cornell University)|2019. 01. 01.

Advanced Graph Theory Research참고 문헌 28인용 수 1

한 줄 요약

이 논문은 간선-소속 경로 패킹의 매개변수화된 복잡도를 조사한다. 이는 해밀턴 경로 문제의 일반화이다. 이 논문은 경로 수를 매개변수로 삼아 트리에서 FPT 알고리즘을 제안하며, 테이블러너가 2인 그래프에서 문제의 W[1]-난이도를 입증한다. 주요 기여는 최대 차수, 컴포넌트 수, 고차수 정점 수를 매개변수로 사용하여 XP 알고리즘의 런타임과 거의 일치하는 ETH 기반 하한을 제시하는 것이다.

ABSTRACT

We introduce and study the complexity of Path Packing. Given a graph $G$ and a list of paths, the task is to embed the paths edge-disjoint in $G$. This generalizes the well known Hamiltonian-Path problem. Since Hamiltonian Path is efficiently solvable for graphs of small treewidth, we study how this result translates to the much more general Path Packing. On the positive side, we give an FPT-algorithm on trees for the number of paths as parameter. Further, we give an XP-algorithm with the combined parameters maximal degree, number of connected components and number of nodes of degree at least three. Surprisingly the latter is an almost tight result by runtime and parameterization. We show an ETH lower bound almost matching our runtime. Moreover, if two of the three values are constant and one is unbounded the problem becomes NP-hard. Further, we study restrictions to the given list of paths. On the positive side, we present an FPT-algorithm parameterized by the sum of the lengths of the paths. Packing paths of length two is polynomial time solvable, while packing paths of length three is NP-hard. Finally, even the spacial case EPC where the paths have to cover every edge in $G$ exactly once is already NP-hard for two paths on 4-regular graphs.

연구 동기 및 목표

• 그래프 내 간선-소속 경로 패킹의 매개변수화된 복잡도를 분석하는 것.
• 해밀턴 경로 문제를 더 일반적인 경로 패킹 문제로 일반화하는 것.
• 해결 가능성이 있는 매개변수화 방법을 식별하고, 날카로운 복잡도 하한을 설정하는 것.
• 경로 길이 제한과 정확한 경로 패킹 변종을 연구하는 것.
• 경로 패킹과 기타 그래프 분할 문제 간의 관계를 탐색하는 것.

제안 방법

• 가능한 컷 정점들을 추측하여 동적 프로그래밍을 사용해, 하위삼각형 숲에서 경로 패킹에 대한 FPT 알고리즘을 제안한다.
• ETH 하한을 확립하기 위해 다중-웨이 숫자 분할 문제로의 감소를 도입한다.
• 고차수 정점에 대한 다중그래프 표현을 사용하여 관련 경로 컷의 수를 제한한다.
• 정점-소속 경로 세그먼트 위에서 단일 인코딩된 백팩 문제를 동적 프로그래밍으로 해결한다.
• 수분된 별 형태의 구성체를 사용해 숫자 분할 인스턴스를 시뮬레이션한다.
• 경로 임bedding의 구조적 성질을 분석하여 후보 컷 집합의 수를 O(n + k²)로 줄인다.

실험 결과

연구 질문

• RQ1 경로 수를 매개변수로 삼을 때, 트리나 숲에서 경로 패킹 문제가 고정 매개변수 트랙터블한가?
• RQ2 유계 테이블러너를 가진 그래프에서 경로 패킹 문제의 매개변수화된 복잡도는 무엇인가?
• RQ3 제한된 경로 길이 또는 그래프 클래스에서 정확한 경로 패킹 문제를 효율적으로 해결할 수 있는가?
• RQ4 최대 차수, 컴포넌트 수, 차수 ≥3 정점 수의 조합 매개변수는 해법 가능성에 어떤 영향을 미치는가?
• RQ5 지수 시간 가설 하에 경로 패킹에 대한 가장 날카로운 런타임 하한은 무엇인가?

주요 결과

• 하위삼각형 숲에서 경로 패킹에 대한 FPT 알고리즘은 k를 경로 수로 삼아 2^k n^{O(1)} 시간 내에 실행된다.
• 문제는 테이블러너가 2인 그래프에서 W[1]-난이도이며, ETH 하에 f(k) n^{o(k / log k)} 시간 내에 해결될 수 없다.
• 최대 차수, 컴포넌트 수, 차수 ≥3 정점 수를 매개변수로 사용할 경우, 런타임이 O((n + k^2)^{k^2} k! k n^{O(k^2)})인 XP 알고리즘이 존재한다.
• ETH 하한은 XP 런타임과 거의 일치하므로, 이 매개변수화는 거의 최적임을 시사한다.
• 정확한 경로 패킹 문제는 4-정규 그래프에서 두 경로일지라도 NP-완전하다.
• 길이 2인 경로 패킹은 다항시간 내에 해결 가능하지만, 길이 3인 경로 패킹은 NP-난이도이다.