[논문 리뷰] Towards on-line Ohba's conjecture

Jakub Kozik, Piotr Micek외 1명|arXiv (Cornell University)|2011. 11. 23.

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

한 줄 요약

이 논문은 독립수(number)가 3 이하인 그래프에 대해 오바의 추측의 온라인 버전을 확인하며, 이러한 그래프가 크로마틱 수와 동일한 온라인 선택 번호를 가짐을 증명한다. 또한 |V(G)| ≤ χ(G) + √χ(G) 를 만족하는 그래프에 대해서도 온라인 선택 번호가 크로마틱 수와 같음을 확립하고, K_{3⋆k} 형태의 완전 다중분할 그래프에 대한 한계를 제시한다.

ABSTRACT

The on-line choice number of a graph is a variation of the choice number defined through a two person game. It is at least as large as the choice number for all graphs and is strictly larger for some graphs. In particular, there are graphs $G$ with $|V(G)| = 2 χ(G)+1$ whose on-line choice numbers are larger than their chromatic numbers, in contrast to a recently confirmed conjecture of Ohba that every graph $G$ with $|V(G)| \le 2 χ(G)+1$ has its choice number equal its chromatic number. Nevertheless, an on-line version of Ohba conjecture was proposed in [P. Huang, T. Wong and X. Zhu, Application of polynomial method to on-line colouring of graphs, European J. Combin., 2011]: Every graph $G$ with $|V(G)| \le 2 χ(G)$ has its on-line choice number equal its chromatic number. This paper confirms the on-line version of Ohba conjecture for graphs $G$ with independence number at most 3. We also study list colouring of complete multipartite graphs $K_{3\star k}$ with all parts of size 3. We prove that the on-line choice number of $K_{3 \star k}$ is at most $3/2k$, and present an alternate proof of Kierstead's result that its choice number is $\lceil (4k-1)/3 ceil$. For general graphs $G$, we prove that if $|V(G)| \le χ(G)+\sqrt{χ(G)}$ then its on-line choice number equals chromatic number.

연구 동기 및 목표

• 독립수(number)가 3 이하인 그래프에 대해 오바의 추측의 온라인 버전을 확인하는 것.
• 온라인 선택 번호가 크로마틱 수와 동일해지는 충분한 조건을 설정하는 것.
• 크기가 3인 부분을 가진 완전 다중분할 그래프 K_{3⋆k}의 온라인 선택 번호를 분석하는 것.
• 키어스타드의 K_{3⋆k}에 대한 선택 번호 결과를 온라인 리스트 색칠 기법을 사용해 재증명하는 것.
• 기존의 선택 번호 상한을 온라인 설정으로 확장하는 것, 특히 희박하고 차수 제한이 있는 그래프에 대해

제안 방법

• 리스터와 페인터 사이의 게임 이론적 프레임워크를 사용: (G,f)-리스트 색칠 게임의 온라인 버전.
• 반복적으로 정점 수에 대해 귀납법을 적용하며, 리스트 할당 f를 가진 반례 그래프 G의 최소성 조건을 가정.
• 리스트 크기 분포 기반의 케이스 분석을 수행: 크기가 1인 부분 k₁개, 크기가 3인 부분 k₃개, 크기가 2인 부분 s개.
• 구조적 제약 조건 적용: 크기가 3인 부분에 속한 정점 v에 대해 f(v) ≥ k₃ + k₁, 크기가 1인 부분에 속한 정점 v에 대해 f(v) ≥ k₃.
• 리스트 병합 및 색상 제거 기법을 사용해 그래프를 단순화하면서 리스트 크기 조건을 유지.
• 단순화된 그래프 G′ 가 G와 동일한 부등식 (1)–(3.3)을 만족함을 검증하여 귀납적 닫힘을 확보.

실험 결과

연구 질문

• RQ1 독립수(number)가 3 이하인 모든 그래프 G가 온라인 오바 추측을 만족하는가, 즉 온라인 선택 번호가 크로마틱 수와 동일한가?
• RQ2 어떤 그래프 G 에 대해 온라인 선택 번호가 크로마틱 수와 동일한가, 특히 |V(G)| ≤ χ(G) + √χ(G) 인 경우에 대해?
• RQ3 크기가 3인 부분이 k개 있는 완전 3분할 그래프 K_{3⋆k}의 온라인 선택 번호는 얼마인가?
• RQ4 키어스타드의 K_{3⋆k}에 대한 선택 번호 결과(⌈(4k−1)/3⌉)를 온라인 리스트 색칠 기법을 통해 재증명할 수 있는가?
• RQ5 기존의 선택 번호 상한이 동일한 방식으로 온라인 선택 번호로 확장되는가?

주요 결과

• K_{3⋆k}의 온라인 선택 번호는 최대 (3/2)k 이며, 이는 이 그래프 클래스에 대해 날카운 상한을 제공한다.
• 모든 그래프 G 에 대해 |V(G)| ≤ χ(G) + √χ(G) 를 만족하면 온라인 선택 번호는 크로마틱 수와 동일하다.
• 독립수(number)가 3 이하인 모든 그래프에 대해 온라인 오바의 추측이 성립한다.
• 키어스타드의 결과(즉, K_{3⋆k}의 선택 번호가 ⌈(4k−1)/3⌉임)를 온라인 리스트 색칠 기법을 사용해 별도의 증명으로 제시한다.
• 이 논문은 주어진 크기 및 독립수 제약 조건 하에 온라인 선택 번호가 크로마틱 수로 유계임을 확인하며, 이를 기존 결과에서 온라인 설정으로 확장한다.