[논문 리뷰] Beyond Ohba's Conjecture: A bound on the choice number of $k$-chromatic graphs with $n$ vertices

Jonathan A. Noel, Douglas B. West외 2명|arXiv (Cornell University)|2013. 08. 30.

Advanced Graph Theory Research참고 문헌 17인용 수 7

한 줄 요약

이 논문은 $k$-색깔 그래프에 대한 선택 번호의 새로운 상계를 확립하며, $\text{ch}(G) \leq \max\left\{k, \left\lceil \frac{n + k - 1}{3} \right\rceil \right\}$ 를 보여준다. 이 상계는 오바의 추측을 일반화하며, $n \leq 3k$ 일 때 정확하고, $K_{4*k}$ 및 $K_{5*k}$ 와 같은 완전 다중그래프에 대한 이전 추정치를 향상시킨다.

ABSTRACT

Let $ ext{ch}(G)$ denote the choice number of a graph $G$ (also called "list chromatic number" or "choosability" of $G$). Noel, Reed, and Wu proved the conjecture of Ohba that $ ext{ch}(G)=χ(G)$ when $|V(G)|\le 2χ(G)+1$. We extend this to a general upper bound: $ ext{ch}(G)\le \max\{χ(G),\lceil({|V(G)|+χ(G)-1})/{3} ceil\}$. Our result is sharp for $|V(G)|\le 3χ(G)$ using Ohba's examples, and it improves the best-known upper bound for $ ext{ch}(K_{4,\dots,4})$.

연구 동기 및 목표

• 정점 수가 $2\chi(G) + 1$ 이하일 때 $\text{ch}(G) = \chi(G)$ 라는 오바의 추측을 더 넓은 그래프 계열로 확장하기 위해.
• 특히 $n > 2k + 1$ 일 때, $k$-색깔 그래프에 대해 선택 번호의 최대 가능 값을 결정하기 위해.
• 특히 $m \geq 4$ 인 $K_{m*k}$ 에 대해 완전 $k$-분할 그래프의 선택 번호에 대한 알려진 상계를 향상시키기 위해.
• 특히 $n \leq 3k$ 일 때 정확한 일반 상계를 확립하고, 희박한 및 조밀한 그래프 가족에 적용 가능하도록 하기 위해.

제안 방법

• 저자들은 $k$ 와 $n$ 이 고정된 상황에서 선택 번호를 최대화하는 그래프로 완전 $k$-분할 그래프를 중심으로 삼는 극단적 그래프 이론을 사용한다.
• 합쳐진 정점과 부분집합에 할당된 색상 리스트에 대해 서로 다른 대표원소 시스템(SDR)을 구성하기 위해 할의 정리를 적용한다.
• 핵심 기법은 3-부분 및 4-부분에서 '좋은 쌍'을 정의하고, 리스트의 교차 크기를 이용해 충분한 색상 가용성을 확보하는 것이다.
• 부분 크기의 경우 분석을 통해 진행하며, 이전의 보조정리에서 유도된 구조적 제약 조건을 활용해 할의 조건을 검증한다.
• 합쳐진 정점과 집합 $Z_3$, $Z_4$, $Z_3'$ 를 정의하여 리스트 크기를 제어하고 리스트 합집합 조건을 만족시키도록 한다.
• 이 방법은 총 색상 수와 리스트 크기에서 유도된 부등식, 특히 부분집합 내 원소 쌍에 대한 $|L(u) \cap L(v)|$ 를 기반으로 이중 세기 기법을 활용한다.

실험 결과

연구 질문

• RQ1 정점 수 $n > 2k + 1$ 일 때, $k$-색깔 그래프의 선택 번호의 최대 가능성은 무엇인가?
• RQ2 오바의 추측은 $n \leq 2k + 1$ 를 넘어서 일반 상계로 확장될 수 있는가?
• RQ3 특히 $m \geq 4$ 일 때, $\text{ch}(K_{m*k})$ 에 대한 가장 날카로운 알려진 상계는 무엇인가?
• RQ4 크기가 $m$ 과 $1$ 인 부분집합을 가진 완전 $k$-분할 그래프는 $k$-색깔 $n$-정점 그래프 중에서 선택 번호를 최대화하는가?

주요 결과

• 모든 정점 수 $n$ 과 색깔 수 $k$ 를 가진 그래프 $G$ 에 대해 $\text{ch}(G) \leq \max\left\{k, \left\lceil \frac{n + k - 1}{3} \right\rceil \right\}$ 를 확립한다.
• 이 상계는 $n \leq 3k$ 일 때 정확하며, 특히 $n - k$ 가 짝수일 경우 오바의 알려진 극단적 예제와 일치한다.
• $K_{4*k}$ 에 대해 이 상계는 이전의 상계 $\left\lceil \frac{7k}{4} \right\rceil$ 에서 $\left\lceil \frac{5k - 1}{3} \right\rceil$ 으로 향상된다.
• $K_{5*k}$ 에 대해 이 상계는 $\text{ch}(K_{5*k}) \leq 2k$ 를 도출하여 이전 추정치를 향상시킨다.
• $K_{6*k}$ 에 대해 이 상계는 $\text{ch}(K_{6*k}) \leq \left\lceil \frac{7k - 1}{3} \right\rceil$ 를 제공하며, 이는 이전 결과보다 더 날카롭다.
• $2k - 1$ 개의 색상을 사용한 하한 구축을 통해 $\text{ch}(K_{m*k}) \geq \left\lfloor \frac{2k(m - 1)}{m} \right\rfloor - 1$ 이며, 이는 거의 정확한 기준을 제공한다.