[논문 리뷰] Narrowing the Complexity Gap for Colouring ($C_s$,$P_t$)-Free Graphs

Shenwei Huang, Matthew Johnson외 1명|arXiv (Cornell University)|2014. 07. 06.

Advanced Graph Theory Research참고 문헌 13인용 수 8

한 줄 요약

이 논문은 (C_s, P_t)-free 그래프에 대한 k-색칠 문제, k-전색칠 확장 문제, 리스트 k-색칠 문제의 계산 복잡도를 완전한 이분법을 통해 해결한다: 각 k, s, t에 대해 문제들은 다항시간 가능 또는 NP-완전 중 하나이다. 주요 기여는 고정된 s와 k에 대해 난이도가 다루기 쉬운 경우와 어려운 경우를 나누는 정확한 t의 임계값을 규명한 것이다. 특히 리스트 k-색칠 문제는 k ≥ 4, s = 3, t ≥ 8 이거나 s ≥ 5, t ≥ 6일 때 NP-완전임을 보이며, 그렇지 않은 경우는 다항시간 가능하다.

ABSTRACT

For a positive integer $k$ and graph $G=(V,E)$, a $k$-colouring of $G$ is a mapping $c: V ightarrow\{1,2,\ldots,k\}$ such that $c(u) eq c(v)$ whenever $uv\in E$. The $k$-Colouring problem is to decide, for a given $G$, whether a $k$-colouring of $G$ exists. The $k$-Precolouring Extension problem is to decide, for a given $G=(V,E)$, whether a colouring of a subset of $V$ can be extended to a $k$-colouring of $G$. A $k$-list assignment of a graph is an allocation of a list -a subset of $\{1,\ldots,k\}$- to each vertex, and the List $k$-Colouring problem is to decide, for a given $G$, whether $G$ has a $k$-colouring in which each vertex is coloured with a colour from its list. We continued the study of the computational complexity of these three decision problems when restricted to graphs that contain neither a cycle on $s$ vertices nor a path on $t$ vertices as induced subgraphs (for fixed positive integers $s$ and~$t$).

연구 동기 및 목표

• k-색칠, k-전색칠 확장, 리스트 k-색칠 문제의 (C_s, P_t)-free 그래프에서의 계산 복잡도를 분류하는 것.
• 고정된 s와 k에 대해 t의 정확한 임계값을 규명하여 이러한 문제들의 복잡도가 다항시간 가능에서 NP-완전으로 전환되는 지점을 메우는 것.
• 기존의 순환, 이분, (K_r,s, P_t)-free 그래프에 대한 결과를 확장하여 더 강력한 이분법 정리를 유도하는 것.
• 개방된 케이스를 규명하고, 특히 리스트 k-색칠 문제와 k-색칠 문제의 복잡도 간 격차에 대해 새로운 연구 문제를 제기하는 것.

제안 방법

• 저자들은 문헌에서 알려진 결과와 새로운 축소를 조합하여 특정 매개변수 범위에서의 NP-완전성을 증명한다.
• 클리크-너비가 유계인 그래프 및 색칠 수가 유계인 그래프 클래스(예: (K_s, P_t)-free 그래프에 대한 정리 5.2)의 결과를 적용한다.
• 다항시간 가능성을 확보하기 위해 P_t-free 및 (C_s, P_t)-free 그래프에 대한 기존의 타당성 결과를 활용하며, 특히 P_5-free 그래프에서 리스트 k-색칠의 선형시간 알고리즘을 포함한다.
• 기존의 NP-완전 문제에서의 축소를 통해 비가역성(불가능성)을 증명하며, 특히 리스트 k-색칠 및 k-전색칠 확장 문제에 중점을 둔다.
• 예를 들어 순환, 이분, (K_r,s, P_t)-free 등의 다양한 그래프 클래스에 걸쳐 결과를 통합하여 이분법을 강화한다.
• 특히 k ≥ 4 및 s = 3 또는 s ≥ 5인 경우에 대해 이전 연구와 새로운 결과를 통합하여 정리 1.1을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 s, t, k 값에 대해 리스트 k-색칠 문제는 (C_s, P_t)-free 그래프에서 NP-완전 또는 다항시간 가능할까?
• RQ2 고정된 s와 k에 대해 k-전색칠 확장 문제의 복잡도가 다항시간 가능에서 NP-완전으로 전환되는 정확한 t의 임계값은 무엇인가?
• RQ3 색칠 수 k ≥ 3인 그래프 H가 존재하여 리스트 k-색칠 문제는 NP-완전이지만 k-색칠 문제는 다항시간 가능할 수 있는가?
• RQ4 P_7-free 이분 그래프에서 리스트 4-색칠 문제는 NP-완전인가?
• RQ5 조화형 이분 그래프에서 리스트 3-색칠 문제와 3-전색칠 확장 문제의 복잡도는 무엇인가?

주요 결과

• 리스트 k-색칠 문제는 k ≥ 4, s = 3, t ≥ 8 이거나 k ≥ 4, s ≥ 5, t ≥ 6일 때 NP-완전이다.
• 리스트 k-색칠 문제는 k ≤ 2, s ≥ 3, t ≥ 1; k = 3, s = 3, t ≤ 6; 및 k = 3, s ≥ 5, t ≤ 6일 때 다항시간 가능하다.
• k-전색칠 확장 문제는 k = 4, s = 3, t ≥ 10 이거나 k ≥ 5, s = 3, t ≥ 10일 때 NP-완전이다.
• k-색칠 문제는 k = 4, s = 3, t ≥ 22 이거나 k ≥ 5, s = 3, t ≥ t_k일 때 NP-완전이며, 여기서 t_k는 오직 k에만 의존한다.
• k-색칠 문제는 k = 3, s = 3, t ≤ 7 이거나 k = 3, s ≥ 5, t ≤ 7일 때 다항시간 가능하다.
• 논문은 세 문제에 걸쳐 총 21개의 개방 케이스를 규명하였으며, 특히 k = 4, s = 3, t = 7에서 21까지, 그리고 k ≥ 5, s = 3, t = k+3에서 t_k−1까지의 경우가 포함된다.