[논문 리뷰] Equitable chromatic threshold of complete multipartite graphs

Zhidan Yan, Wei Wang|arXiv (Cornell University)|2012. 07. 16.

Limits and Structures in Graph Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 완전 다중분할 그래프의 정점 색칠의 공정한 색칠 임계값을 계산하기 위한 닫힌 형식의 공식과 선형 시간 알고리즘을 수립한다. 이는 임계값이 각 분할 집합 크기의 올림을 특정 임계 정수 $ h $로 나눈 결과의 합과 같음을 증명하며, 여기서 $ h $는 적어도 두 개의 분할 집합 크기를 나누지 않는 가장 작은 양의 정수이다. 이 결과는 완전 다중분할 그래프에 대한 공정한 색칠 임계값을 증명 가능한 최적 및 효율적인 방법으로 해결한다.

ABSTRACT

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most one. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k\ge t$. We develop a formula and a linear-time algorithm which compute the equitable chromatic threshold of an arbitrary complete multipartite graph.

연구 동기 및 목표

• 완전 다중분할 그래프 $ G = K_{n_1,n_2,\dots,n_l} $에 대해 공정한 색칠 임계값 $ \chi_{=}^{*}(G) $을 결정하는 것 — 이는 $ G $가 모든 $ k \geq t $에 대해 공정하게 $ k $-색칠 가능한 최소 $ t $이다.
• 모든 완전 다중분할 그래프에 대해 $ \chi_{=}^{*}(G) $를 효율적으로 계산할 수 있는 다항식 시간 알고리즘을 개발하는 것.
• 공정 색칠 이론에서 열려 있는 문제를 해결하기 위해, 완전 다중분할 그래프에 대한 공정한 색칠 임계값의 정확한 값을 처음으로 발표된 증명을 제공함으로써 이전의 비공개 결과를 수정하고 확장하는 것.

제안 방법

• 분할 집합 크기 $ n_i $ 중 적어도 두 개를 나누지 않는 가장 작은 양의 정수 $ h $로 정의하거나, 경우에 따라 $ n_i/(h+1) > \lfloor n_i/h \rfloor $를 만족하는 가장 작은 $ h $로 정의한다.
• 정수 분할 이론을 활용해 공정한 색칠을 모델링: 각 색상 클래스 크기는 $ \lfloor n/k \rfloor $ 또는 $ \lceil n/k \rceil $이며, 크기가 $ \lceil n/k \rceil $인 클래스의 수는 나머지 $ r = n \mod k $에 의해 결정된다.
• 공정한 색칠 임계값이 $ \chi_{=}^{*}(K_{n_1,\dots,n_l}) = \sum_{i=1}^l \lceil n_i / h \rceil $임을 증명하며, 여기서 $ h $는 세 단계 반복 알고리즘을 통해 계산된다.
• 모순을 통한 최소성 증명: $ k = \sum \lceil n_i/h \rceil - 1 $과 같은 더 작은 색 수를 가정하면, 모든 $ n_i $에 대해 유효한 $ q $-분할의 존재에 모순이 발생함을 보이며, 최대 및 최소 $ q $-분할의 성질을 사용한다.
• 분할 집합 크기를 스캔하면서 $ h $를 증가시키는 선형 시간 알고리즘을 구현하여 정지 조건을 만족할 때까지 $ h $를 증가시키며 효율성을 확보한다.
• 특히 Corollary 2.1(즉, $ q $-분할의 존재 불가에 관한)에 기반한 $ q $-분할의 성질(존재성, 최대성, 최소성)과 $ \lfloor n/q \rfloor $, $ \lceil n/q \rceil $ 간의 관계를 활용한다.

실험 결과

연구 질문

• RQ1 완전 다중분할 그래프 $ G = K_{n_1,n_2,\dots,n_l} $에 대해 공정한 색칠 임계값 $ \chi_{=}^{*}(G) $의 정확한 값은 무엇인가?
• RQ2 완전 다중분할 그래프의 공정한 색칠 임계값은 그래프의 정점 수에 대해 선형 시간 내에 계산될 수 있는가?
• RQ3 분할 집합 크기에 기반하여 $ \chi_{=}^{*}(K_{n_1,\dots,n_l}) $에 대한 닫힌 형식의 공식이 존재하는가?
• RQ4 공정한 색칠 가능성을 보장하기 위해 필요한 최소 색 수를 결정짓는 분할 집합 크기의 구조적 성질은 무엇인가?
• RQ5 공정한 색칠 임계값은 적어도 두 개의 분할 집합 크기를 나누지 않는 정수 $ h $와 어떻게 관련이 있는가?

주요 결과

• 완전 다중분할 그래프 $ K_{n_1,n_2,\dots,n_l} $의 공정한 색칠 임계값은 정확히 $ \sum_{i=1}^l \lceil n_i / h \rceil $이며, 여기서 $ h $는 적어도 두 개의 $ n_i $를 나누지 않는 가장 작은 양의 정수이거나, 어떤 $ i $에 대해 $ n_i/(h+1) > \lfloor n_i/h \rfloor $를 만족하는 정수이다.
• 논문은 완전 다중분할 그래프에 대한 공정한 색칠 임계값 공식에 대해 처음으로 발표된 증명을 제공하며, Chen과 Wu의 이전 비공개 작업을 수정하고 보완한다.
• 정점 총 수 $ |V(G)| $에 대해 선형 시간 복잡도를 가지는 효율적인 선형 시간 알고리즘을 제안한다.
• 알고리즘은 $ h $를 1부터 시작하여 분할 집합 크기를 스캔하면서 $ h $를 증가시키며, 정지 조건을 만족할 때까지 진행한다: 즉, $ h $가 적어도 두 개의 $ n_i $를 나누지 않거나, 어떤 $ i $에 대해 $ n_i/(h+1) > \lfloor n_i/h \rfloor $를 만족할 때까지 진행하며, 이는 정확성을 보장한다.
• 임계값은 최소이다: $ \sum_{i=1}^l \lceil n_i / h \rceil $개 이하의 색으로는 공정한 색칠이 존재하지 않으며, 이는 최대 및 최소 $ q $-분할의 성질을 활용한 모순에 의해 입증된다.
• 특수한 경우로, 크기가 모두 같은 $ n $인 $ r $-분할 그래프에 대해 임계값은 $ r \lceil n / s^* \rceil $이며, 여기서 $ s^* $는 $ n $을 나누지 않는 가장 작은 양의 정수이다. 이는 Lin의 결과를 확인한다.