[논문 리뷰] Large cliques in graphs with high chromatic number

Csaba Bíró|arXiv (Cornell University)|2011. 07. 13.

Advanced Graph Theory Research참고 문헌 3인용 수 4

한 줄 요약

이 논문은 색수(color number)가 정점 수에 가까운 그래프에서 최소 클리크 크기를 조사하며, 큰 n에 대해 색수가 n−k인 그래프는 k≥5일 때 최소한 n−2k+3 크기의 클리크를 포함함을 증명한다. 이 결과는 k≤6에 대해 한 conjecture를 해결하며, 색 클래스의 구조 분석과 리스트 색칠 기법을 사용하여 높은 색수 조건 하에서 클리크 수의 하한을 확립한다.

ABSTRACT

We study graphs whose chromatic number is close to the order of the graph (the number of vertices). Both when the chromatic number is a constant multiple of the order and when the difference of the chromatic number and the order is a small fixed number, large cliques are forced. We study the latter situation, and we give quantitative results how large the clique number of these graphs have to be. Some related questions are discussed and conjectures are posed. Please note that the results of this article were significantly generalized. Therefore this paper will never be published in a journal. See instead arXiv:1103.3917 [math.CO] for the more general results.

연구 동기 및 목표

• n개 정점과 색수 n−k를 가진 그래프에서 최소 가능한 클리크 수 Q(n, n−k)를 결정하기 위해.
• 특히 작은 k에 대해 색수가 정점 수에 가까울 때 클리크 수가 얼마나 커야 하는지 조사하기 위해.
• 작은 k에 대해 Q(n, n−k)의 정확한 값을 다루는 추측을 해결하고, 날카로운 하한을 확립하기 위해.
• 구조적 및 극적 그래프 이론 기법을 통해 그래프 색칠, 클리크 구조, poset 차원 간의 관계를 탐색하기 위해.

제안 방법

• 색수가 n−k인 그래프의 최적 색칠을 분석하며, 특히 싱글턴 및 듀얼턴 색 클래스에 초점을 맞춘다.
• 람지 이론적 한계와 독립 수 추정을 사용하여 클리크 크기의 하한을 유도한다.
• 특히 싱글턴을 제거한 후 남은 정점들에 대한 리스트 할당을 분석함으로써 리스트 색칠 기법을 적용한다.
• 비싱글턴 정점들에 사용 가능한 색의 수(l=1,2,3,4,5)에 기반한 케이스 분석을 수행한다.
• 큰 클리크를 피하는 명시적 색칠을 구성하여, 클리크 크기가 n−2k+3 이하로 떨어지면 이러한 구성이 실패함을 보여준다.
• 모순과 구조적 제약(예: 클리크 내의 비간선)을 이용하여 색칠 추론을 통해 큰 클리크의 존재를 강제한다.

실험 결과

연구 질문

• RQ1 n개 정점과 색수 n−k를 가진 그래프에서 최소 가능한 클리크 수 Q(n, n−k)는 무엇인가?
• RQ2 작은 고정된 k에 대해 색수가 n−k일 때 클리크 수는 얼마나 커야 하는가?
• RQ3 모든 충분히 큰 n에 대해 Q(n, n−k) = n−2k+⌈k/2⌉인 추측은 참인가?
• RQ4 높은 색수를 가진 그래프에서 큰 클리크가 강제되는 구조적 제약 조건은 무엇인가?
• RQ5 리스트 색칠과 색 클래스의 구조적 성질은 큰 클리크의 존재에 어떻게 영향을 미치는가?

주요 결과

• k≥5이면서 충분히 큰 n에 대해 Q(n, n−k)≥n−2k+3이며, 이는 클리크 수에 대한 날카로운 하한을 확립한다.
• 추측 Q(n, n−k)=n−2k+⌈k/2⌉는 k≤6에 대해 참으로 확인되었지만, 일반적으로는 후에 반증되었다.
• 싱글턴 수가 n−2k+1 또는 n−2k일 경우, 나머지 정점들은 큰 클리크를 강제하는 구조를 형성해야 한다.
• 이 증명은 비싱글턴 정점들에 대한 리스트 할당을 분석하고, 큰 클리크를 피하고자 하는 모든 尝시도가 n−k개 이하의 색수로 유효한 색칠을 가능하게 함을 보여준다.
• l=1,2,3,4,5개의 색이 남은 정점들에 대해, 클리크 크기가 제한될 경우에만 큰 클리크를 피하는 색칠을 구성할 수 있으며, 이는 모순을 유도한다.
• 결과적으로 색수가 n에 가까운 그래프는 최소한 n−2k+3 크기의 클리크를 포함해야 하며, 이는 추측된 값까지 최적임을 시사한다.