[논문 리뷰] Tight Bounds on the Complexity of Semi-Equitable Coloring of Cubic and Subcubic Graphs

Hanna Furmańczyk, Marek Kubale|arXiv (Cornell University)|2016. 06. 20.

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

한 줄 요약

이 논문은 삼차 및 부분삼차 그래프에서 준등가 색칠의 날카러운 계산 복잡도 경계를 확립한다. 부분삼차 그래프가 비등가 색 클래스의 크기가 $n/3 + \epsilon n$ 이상인 준등가 $k$-색칠을 허용하는지 여부를 결정하는 것은 $k \geq 4$일 때 NP-완전임을 증명한다. 반면 이러한 색칠은 비등가 클래스가 $n/3$ 이하일 경우 다항시간 내에 해결 가능하다. 이 결과는 이러한 색칠 변형에 대해 다항시간 가능과 NP-완전 사이의 경계를 해결한다.

ABSTRACT

A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| otin \{\lceil |V|/k ceil, \lfloor |V|/k floor\}$ and $||V_i|-|V_j|| \leq 1$ for each $i,j=2,\ldots,k$. The color class $V_1$ is called non-equitable. In this note we consider the complexity of semi-equitable $k$-coloring, $k\geq 4$, of the vertices of a cubic or subcubic graph $G$. In particular, we show that, given a $n$-vertex subcubic graph $G$ and constants $ε> 0$, $k \geq 4$, it is NP-complete to obtain a semi-equitable $k$-coloring of $G$ whose non-equitable color class is of size $s$ if $s \geq n/3+εn$, and it is polynomially solvable if $s \leq n/3$.

연구 동기 및 목표

• 삼차 그래프에서 $k \geq 4$인 준등가 $k$-색칠의 계산 복잡도를 규명하는 것.
• 준등가 색칠이 다항시간 가능에서 NP-완전으로 전이되는 정확한 임계점을 규명하는 것.
• 다항시간 가능성과 NP-완전성 사이를 나누는 비등가 색 클래스의 크기에 대한 날카로운 경계를 설정하는 것.
• 비등가 클래스가 $n/3$ 이하일 경우 준등가 $k$-색칠을 위한 $O(n^2)$ 알고리즘을 제공하는 것.

제안 방법

• 비등가 클래스가 $n/3 + \epsilon n$를 초과할 경우 준등가 $k$-색칠의 난이도를 입증하기 위해 알려진 NP-완전 문제로의 축소.
• 정점 교환과 부분삼차 그래프 내의 경로 분해를 이용해 색 폭을 단계적으로 감소시키는 구성적 알고리즘 설계.
• 이웃성 동일성과 차수 제약 조건과 같은 구조적 그래프 성질을 활용해 색 클래스 조정을 이끌어내는 것.
• Chen 등이 제안한 등가 3-색칠 알고리즘의 수정 버전을 부분삼차 그래프에 적용하고, $k \geq 4$로 확장하는 것.
• 유도된 부분그래프에서 최대 길이의 교호 경로를 분석하여 독립성을 유지하면서 균형 잡힌 재색칠을 가능하게 하는 것.
• 이웃 교차 및 정점 차수에 대한 경우 분석을 통한 증명으로, 색 폭 감소를 보장하는 유효한 색 교환을 보장하는 것.

실험 결과

연구 질문

• RQ1 삼차 그래프에서 비등가 색 클래스의 크기가 $n/3 + \epsilon n$ 이상인 경우 $k \geq 4$일 때 준등가 $k$-색칠이 NP-완전인가?
• RQ2 비등가 클래스가 $n/3$ 이하일 경우 준등가 $k$-색칠이 다항시간 내에 해결 가능한가?
• RQ3 비등가 클래스가 작을 때 부분삼차 그래프의 어떤 구조적 성질이 효율적인 준등가 색칠을 가능하게 하는가?
• RQ4 비등가 클래스가 분리된 부분삼차 그래프에서 색 폭 감소 절차는 어떻게 행동하는가?
• RQ5 삼차 그래프에서 $K_4$ 또는 $K_{3,3}$가 아닌 경우 준등가 색칠의 계산 복잡도는 무엇인가?

주요 결과

• 비등가 색 클래스의 크기가 임의의 $\epsilon > 0$에 대해 $n/3 + \epsilon n$ 이상인 부분삼차 그래프에서 준등가 $k$-색칠은 $k \geq 4$일 때 NP-완전이다.
• 비등가 색 클래스가 $n/3$ 이하일 경우 준등가 $k$-색칠은 $O(n^2)$ 시간 내에 해결 가능하다.
• NP-완전성 결과는 $K_4$ 및 $K_{3,3}$를 제외한 연결된 삼차 그래프에도 적용 가능하다.
• 작은 비등가 클래스에 대한 알고리즘은 정점 교환과 경로 분해를 통한 반복적 색 폭 감소에 기반한다.
• 색 폭 감소 증명은 구성적이며, 구성 요소를 별도로 처리함으로써 비연결 부분삼차 그래프에도 적용 가능하다.
• 복잡도 임계점은 날카롭다: 문제는 정확히 $n/3$에서 다항시간에서 NP-완전으로 전이된다.