[논문 리뷰] Minimum length path decompositions

Dariusz Dereniowski|arXiv (Cornell University)|2014. 01. 01.

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

한 줄 요약

이 논문은 경로 폭이 최대 $k$ 이하이고 길이가 최대 $l$ 이하인 경로 분해를 찾는 이중 기준 일반화를 제안한다. $k \geq 4$ 또는 $l \geq 2$일 경우 NP-완전성을 증명하며, $k \leq 3$일 경우 다항시간 알고리즘을 제시하여 연결 그래프에 대한 거의 완전한 복잡도 분류를 제공한다.

ABSTRACT

We consider a bi-criteria generalization of the pathwidth problem, where, for given integers $k,l$ and a graph $G$, we ask whether there exists a path decomposition $\cP$ of $G$ such that the width of $\cP$ is at most $k$ and the number of bags in $\cP$, i.e., the \emph{length} of $\cP$, is at most $l$. We provide a complete complexity classification of the problem in terms of $k$ and $l$ for general graphs. Contrary to the original pathwidth problem, which is fixed-parameter tractable with respect to $k$, we prove that the generalized problem is NP-complete for any fixed $k\geq 4$, and is also NP-complete for any fixed $l\geq 2$. On the other hand, we give a polynomial-time algorithm that, for any (possibly disconnected) graph $G$ and integers $k\leq 3$ and $l>0$, constructs a path decomposition of width at most $k$ and length at most $l$, if any exists. As a by-product, we obtain an almost complete classification of the problem in terms of $k$ and $l$ for connected graphs. Namely, the problem is NP-complete for any fixed $k\geq 5$ and it is polynomial-time for any $k\leq 3$. This leaves open the case $k=4$ for connected graphs.

연구 동기 및 목표

• 일반적이고 연결된 그래프에서 폭이 $k$ 이하이고 길이가 $l$ 이하인 경로 분해를 찾는 문제의 계산 복잡도를 조사하는 것.
• 문제가 다항시간으로 해결 가능한지 여부를 결정하기 위해 $k$와 $l$의 값이 어떤 경우인지 규명하는 것.
• 경로 폭과 분해 길이 $k$와 $l$에 대한 이중 기준 경로 분해 문제의 완전한 복잡도 분류를 제공하는 것.
• 모든 $l > 0$에 대해 $k \leq 3$인 그래프에 대해 효율적인 알고리즘을 개발하는 것.
• 연결 그래프에 대해 복잡도 상태를 해결하여 $k=4$만 남겨두는 것.

제안 방법

• 저자는 문제를 이중 기준 최적화로 분석하여 경로 폭과 분해 길이를 동시에 최소화하는 방식으로 접근한다.
• 기존의 알려진 NP-난해 문제로의 축소를 통해 고정된 $k \geq 4$에 대해 NP-완전성을 증명한다.
• 경로 폭 문제의 변종으로부터의 축소를 통해 고정된 $l \geq 2$에 대해서도 NP-완전성을 확립한다.
• $k \leq 3$인 경우, 폭 $\leq k$이고 길이 $\leq l$인 유효한 경로 분해를 다항시간 내에 구성할 수 있는 동적 프로그래밍 기반 알고리즘을 설계한다.
• 이 알고리즘은 연결 그래프뿐 아니라 비연결 그래프도 처리할 수 있으며, 작은 경로 폭을 가진 그래프의 구조적 성질에 기반한다.
• 남은 열린 케이스인 연결 그래프에서 $k=4$의 복잡도를 분류하기 위해 경우 분석과 구조적 그래프 이론을 활용한다.

실험 결과

연구 질문

• RQ1 폭 $\leq k$ 이하이고 길이 $\leq l$ 이하인 경로 분해를 찾는 문제가 어떤 $k$와 $l$ 값에서 계산적으로 다항시간으로 해결 가능한가?
• RQ2 고정된 $k \geq 4$일 경우 이중 기준 경로 분해 문제가 NP-완전한가?
• RQ3 고정된 $l \geq 2$일 경우 문제는 NP-완전한가?
• RQ4 모든 $l > 0$에 대해 $k \leq 3$인 그래프에 대해 다항시간 알고리즘을 구성할 수 있는가?
• RQ5 연결 그래프에서 $k = 4$일 경우 문제의 복잡도 상태는 어떻게 되는가?

주요 결과

• 이중 기준 경로 분해 문제는 고정된 $k \geq 4$일 경우, $l$이 제약 없이 주어져도 NP-완전하다.
• 고정된 $l \geq 2$일 경우에도 문제는 항상 NP-완전하며, $k$의 값에 관계없이 성립한다.
• $k \leq 3$일 경우, 모든 $l > 0$에 대해 폭 $\leq k$이고 길이 $\leq l$인 경로 분해를 구성하는 다항시간 알고리즘이 존재한다.
• 연결 그래프의 경우, $k \geq 5$일 경우 문제는 NP-완전하고, $k \leq 3$일 경우 다항시간으로 해결 가능하다.
• 연결 그래프에서 남아 있는 유일한 열린 케이스는 $k = 4$이며, 이 경우의 복잡도는 아직 해결되지 않았다.
• 결과적으로 $k$와 $l$에 대한 문제의 거의 완전한 분류를 제공하며, 연결 그래프에서 $k=4$만 남겨져 있다.