[논문 리뷰] Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs

George B. Mertzios, Paul G. Spirakis|arXiv (Cornell University)|2012. 02. 21.

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

한 줄 요약

이 논문은 지름이 2 이하인 그래프에 대한 3-색칠이 가능한 첫 번째 초지수 시간 알고리즘을 제안하며, 시간 복잡도가 $2^{O(\sqrt{n\log n})}$ 이고, ETH 기반 하한을 사용하여 지름 3 그래프에서 3-색칠의 날카운 복잡도 한계를 설정한다. 또한 지름 2이면서 '연결점 이웃'을 가진 그래프에 대해 다항시간 알고리즘을 제안하고, $\delta = \Theta(n^\varepsilon)$, $\varepsilon \in [\frac{1}{2},1)$ 조건을 만족하는 지름 3 그래프에 대해 거의 최적의 알고리즘을 제공한다.

ABSTRACT

In spite of the extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of the 3-coloring problem on graphs with small diameter, i.e. with diameter 2 or 3, has been a longstanding and challenging open question. For graphs with diameter 2 we provide the first subexponential algorithm with complexity $2^{O(\sqrt{n\log n})}$, which is asymptotically the same as the currently best known time complexity for the graph isomorphism (GI) problem. Moreover, we prove that the graph isomorphism problem on 3-colorable graphs with diameter 2 is GI-complete. Furthermore we present a subclass of graphs with diameter 2 that admits a polynomial algorithm for 3-coloring. For graphs with diameter 3 we establish the complexity of 3-coloring by proving that for every $\varepsilon \in [0,1)$, 3-coloring is NP-complete on triangle-free graphs of diameter 3 and radius 2 with $n$ vertices and minimum degree $δ=Θ(n^{\varepsilon})$. Moreover, assuming ETH, we provide three different amplifications of our hardness results to obtain for every $\varepsilon \in [0,1)$ subexponential lower bounds for the complexity of 3-coloring on triangle-free graphs with diameter 3 and minimum degree $δ=Θ(n^{\varepsilon})$. Finally, we provide a 3-coloring algorithm with running time $2^{O(\min\{δΔ,\frac{n}δ\logδ\})}$ for graphs with diameter 3, where $δ$ (resp. $Δ$) is the minimum (resp. maximum) degree of the input graph. To the best of our knowledge, this algorithm is the first subexponential algorithm for graphs with $δ=ω(1)$ and for graphs with $δ=O(1)$ and $Δ=o(n)$. Due to the above lower bounds of the complexity of 3-coloring, the running time of this algorithm is asymptotically almost tight when the minimum degree if the input graph is $δ=Θ(n^{\varepsilon})$, where $\varepsilon \in [1/2,1)$.

연구 동기 및 목표

• 지름이 2 이하인 그래프에서 3-색칠 문제의 복잡도에 대한 오랫동안 열려 있던 문제를 해결한다.
• 지름 2 그래프에서 3-색칠 문제에 대해 첫 번째 초지수 시간 알고리즘을 개발하여 브루트 포스 기반 지수 시간보다 향상시킨다.
• 삼각형이 없는 지름 3 그래프에서 최소 차수의 변화에 따라 3-색칠 문제에 대해 초지수 하한을 ETH 기반으로 확립한다.
• 지름 2 그래프의 한 부분집합에서 다항시간 3-색칠을 가능하게 하는 새로운 구조적 개념인 '연결점 이웃'을 도입한다.
• 최소 차수 $\delta$와 최대 차수 $\Delta$ 사이의 상호보완적 관계를 활용하여 지름 3 그래프에 대한 일반적인 3-색칠 알고리즘을 설계하며, 실행 시간이 $2^{O(\min\{\delta\Delta, \frac{n}{\delta}\log\delta\})}$임을 보이고, ETH 기반으로 그 점근적 최적성도 증명한다.

제안 방법

• 지름 2 그래프에서 3-색칠 문제에 대해, 정점 커버와 이웃 구조를 기반으로 한 분할정복 접근법을 사용하여 $2^{O(\sqrt{n\log n})}$ 시간 복잡도를 갖는 새로운 초지수 알고리즘을 제안한다.
• 연결점 이웃—제거 시 연결 성분 수가 증가하는 정점 집합—의 개념을 도입하고, 이러한 이웃이 존재할 경우 다항시간 3-색칠 알고리즘을 설계한다.
• 기하학적 그래프 곱셈과 확장 기법을 정교하게 설계하여, 지름 3이고 반경 2이며 삼각형이 없는 불가약한 그래프에 대한 3-SAT에서 3-색칠로의 환원을 구축한다.
• 세 가지의 독립된 강화 기법(차수 스케일링 및 그래프 곱셈 조합 포함)을 적용하여 복잡도 결과를 강화하고, ETH 기반으로 초지수 하한을 도출한다.
• 최소 차수 $\delta$와 최대 차수 $\Delta$ 사이의 상호보완적 관계를 활용하여 지름 3 그래프에 대한 일반적인 3-색칠 알고리즘을 설계하며, $\min\{\delta\Delta, \frac{n}{\delta}\log\delta\}$ 의 함수에 따라 분기 전략을 적용한다.
• Exponential Time Hypothesis (ETH)를 사용하여, 삼각형이 없는 지름 3 그래프에서 $\delta = \Theta(n^\varepsilon)$, $\varepsilon < 1/3$ 조건을 만족할 경우, $2^{o(\sqrt{n/\delta})}$ 시간 이내에 3-색칠 문제를 해결할 수 없다는 것을 증명함으로써, 제안된 알고리즘이 점근적으로 최적임을 입증한다.

실험 결과

연구 질문

• RQ1 지름이 2 이하인 그래프에서 3-색칠 문제는 초지수 시간 내에 해결 가능한가? 만약 가능하다면, 가능한 최선의 시간 복잡도는 무엇인가?
• RQ2 지름 2 그래프에서 연결점 이웃을 가진 경우, 3-색칠 문제는 다항시간 내에 해결 가능한가?
• RQ3 삼각형이 없는 지름 3 그래프에서 3-색칠 문제의 복잡도는 무엇인가? 특히 최소 차수가 $\delta = \Theta(n^\varepsilon)$, $\varepsilon \in [0,1)$ 일 때는 어떻게 되는가?
• RQ4 Exponential Time Hypothesis 기반으로 지름 3 그래프에서 3-색칠 문제에 대해 초지수 하한을 확립할 수 있는가?
• RQ5 제안된 지름 3 그래프에 대한 3-색칠 알고리즘이 $\delta = \Theta(n^\varepsilon)$, $\varepsilon \in [\frac{1}{2},1)$ 조건을 만족할 경우 점근적으로 최적인가?

주요 결과

• 지름 2 그래프에서 3-색칠 문제에 대해 초지수 시간 알고리즘이 $2^{O(\sqrt{n\log n})}$ 시간 내에 실행되며, 이는 그래프 이sov머피즘 문제의 최고 알려진 복잡도와 일치한다.
• 지름 2 그래프에서 최소한 하나의 연결점 이웃을 포함하는 경우, 다항시간 3-색칠 알고리즘이 제안된다.
• 모든 $\varepsilon \in [0,1)$ 에 대해, $n$ 개 정점과 최소 차수 $\delta = \Theta(n^\varepsilon)$ 를 가진 삼각형이 없는 지름 3 그래프이자 반경 2인 그래프에서 3-색칠 문제는 NP-완전하다.
• ETH를 가정할 경우, 삼각형이 없는 지름 3 그래프에서 $\delta = \Theta(n^\varepsilon)$, $\varepsilon < 1/3$ 조건을 만족할 경우, $2^{o(\sqrt{n/\delta})}$ 시간 이내에 3-색칠 문제를 해결할 수 없다는 것을 증명하여 초지수 하한을 확립한다.
• 지름 3 그래프에 대한 일반적인 3-색칠 알고리즘은 $2^{O(\min\{\delta\Delta, \frac{n}{\delta}\log\delta\})}$ 시간 내에 실행되며, $\delta = \Theta(n^\varepsilon)$, $\varepsilon \in [\frac{1}{2},1)$ 조건을 만족할 경우 점근적으로 최적임을 입증한다.
• 제안된 알고리즘은 $\delta = \omega(1)$ 인 경우 지름 3 그래프에 대해 첫 번째 초지수 알고리즘이며, $\delta = O(1)$ 이면서 $\Delta = o(n)$ 인 그래프의 경우에도 적용 가능하여 문헌에서 핵심적인 갭을 메운다.