[논문 리뷰] Total Colourings - A survey

Geetha Jayabalan, N. Narayanan외 1명|arXiv (Cornell University)|2018. 12. 14.

Graph Labeling and Dimension Problems참고 문헌 94인용 수 5

한 줄 요약

이 논문은 1996년 이후 그래프의 전체 색칠에 대한 종합적인 서베이를 제시하며, 평면 및 비평면 그래프에 중점을 두고 있으며, 유니터리 케일리 그래프, 모크 임계 그래프, 그리고 홀수 그래프에 대해 전체 색칠 추측(TCC)이 성립하는 새로운 증명을 제공한다. 이 글은 분할 방법을 사용하여 평면 그래프의 진전을 검토하고, 특정 그래프 클래스에서 전체 색칠을 다항시간 내에 수행할 수 있는 알고리즘을 수립하며, 전체 색칠의 계산 복잡도를 분석하여 여러 경우에서 NP-완전성을 확인하면서도 해석 가능한 부분 클래스를 규명한다.

ABSTRACT

The smallest integer $k$ needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing and Behzed conjectured that the total coloring can be done using at most $Δ(G)+2$ colors, where $Δ(G)$ is the maximum degree of $G$. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs.

연구 동기 및 목표

• 1995년까지의 이전 서베이를 업데이트하여 1996년 이후 전체 색칠 연구에 대한 종합적인 서베이를 제공하는 것.
• 유니터리 케일리 그래프, 모크 임계 그래프, 홀수 그래프를 포함한 특정 그래프 클래스에 대해 전체 색칠 추측(TCC)의 타당성을 조사하는 것.
• 전체 색칠의 계산 복잡도를 분석하여 문제의 다항시간 해법이 가능한 클래스나 NP-완전성이 입증되는 클래스를 규명하는 것.
• 특정 도수 및 둘레 제약 조건 하에서 분할 방법을 적용하여 평면 그래프에 대한 결과를 확장하는 것, 특히 Δ(G) ≥ 6인 경우에 중점을 둔다.
• 구조적 그래프 클래스, 예를 들어 간격 그래프와 순환 그래프에서 최적의 전체 색칠을 위한 새로운 알고리즘적 접근을 제시하는 것.

제안 방법

• 분할 방법을 평면 그래프에 적용하여 초기 전하를 정점에 할당하고, 정의된 규칙에 따라 전하를 재분배함으로써 감소 가능한 구성 요소의 존재를 증명한다.
• 구성 요소 기반 감소 가능성 분석을 사용하여, TCC의 최소 반례에 나타날 수 없는 특정 부분그래프를 보여준다.
• 유니터리 케일리 그래프 및 홀수 그래프와 같은 특정 그래프 클래스의 경우, 구조적 분해와 색상 할당 규칙을 활용한 구축 기반 전체 색칠 방법을 개발한다.
• 루트된 경로 그래프에 대해 근사 이웃 색칠 알고리즘을 적용하여 O(|V| + |E|) 시간 내에 전체 색칠을 수행한다.
• 특히 유니코드-프리 및 순환 없는 그래프에 대해 감소 및 분해 기법을 사용하여 복잡도 분석을 수행한다.
• 동적 프로그래밍 및 구조적 성질을 활용하여 간격 그래프와 부분 k-트리에 대해 다항시간 알고리즘을 유도한다.

실험 결과

연구 질문

• RQ1 유니터리 케일리 그래프, 모크 임계 그래프, 홀수 그래프에 대해 전체 색칠 추측이 성립하는가?
• RQ2 Δ(G) ≥ 6 및 특정 둘레 제약 조건을 만족하는 평면 그래프에 대해 분할 방법을 효과적으로 적용하여 TCC를 증명할 수 있는가?
• RQ3 이분 유니코드-프리 그래프 및 최대 차수의 상한이 있는 {square, unichord}-프리 그래프에 대해 전체 색칠의 계산 복잡도는 무엇인가?
• RQ4 순환 그래프 및 이중 순환 그래프에 대해 최적의 전체 색칠을 위한 다항시간 알고리즘이 존재하는가?
• RQ5 정삼각형 이분 그래프에 대해 균형 잡힌 전체 색칠을 효율적으로 결정할 수 있는가?

주요 결과

• 유니터리 케일리 그래프, 모크 임계 그래프, 홀수 그래프에 대해 전체 색칠 추측이 성립하며, 전체 색칠 수는 Δ(G) + 2이다.
• Δ(G) = 6이고 인접한 삼각형이나 4사이클이 없는 평면 그래프는 8색으로 칠할 수 있으며, 이는 Δ(G) = 6일 때 제약 조건 하에서 TCC가 성립함을 확인한다.
• Δ(G) ≥ 9인 평면 그래프는 TCC를 만족하며, 유형-I이므로 χ′′(G) = Δ(G) + 1이다.
• 간격 그래프의 전체 색칠을 O(|V| + |E| + Δ²) 시간 내에 수행할 수 있는 다항시간 알고리즘이 존재하며, 이는 짝수 차수 간격 그래프에 대해 TCC가 성립함을 확인한다.
• 이분 유니코드-프리 그래프에 대해 전체 색칠 문제는 NP-완전하며, 정삼각형 이분 그래프에서의 균형 잡힌 전체 색칠 문제 역시 NP-완전하다.
• s-퇴화 그래프의 전체 색칠은 O(n log n) 시간 내에 해결 가능하며, 유계 k를 갖는 부분 k-트리에 대해서는 선형 시간 알고리즘이 존재한다.