최대 및 최대 클리크를 포함하는 안정집합에 관한 새로운 결과

초록

본 논문은 그래프의 최대 클리크 수 ω와 최대 차수 Δ 사이의 관계 ω ≥ ⅔(Δ+1) 를 만족하는 경우, 모든 최대 클리크를 동시에 만나도록 하는 안정집합이 존재함을 보인다. 단, 강곱 Cₖ ⊠ K_{ω/2} (k는 홀수) 형태의 예외 그래프를 제외한다. 또한 “충분히 큰 최대 클리크마다 하나씩 잡는 안정집합”이 존재한다는 최근 추측이 거짓임을 보이는 반례도 제시한다.

상세 분석

논문은 먼저 King(2011)의 정리 “ω > ⅔(Δ+1) 인 그래프는 모든 최대 클리크를 교차하는 안정집합을 포함한다”를 재검토한다. 이 정리의 증명 핵심은 Haxell의 매칭 정리와 그 변형을 이용해 클리크 그래프의 연결 성분마다 교차점을 확보하는 데 있다. 저자들은 ω = ⅔(Δ+1) 인 경계 경우를 분석하면서, 클리크 그래프 G(𝒞)의 연결성에 따라 두 가지 경우로 나눈다. 첫 번째 경우는 모든 연결 성분 C_i 에 대해 ∩𝒞_i ≠ ∅ 인 상황으로, Hajnal의 집합 정리(|∩𝒞|+|∪𝒞|≥2ω)와 King의 “lopsided independent transversal” 정리를 결합해 각 성분에서 최소 하나의 정점을 선택하면 전체 그래프에 안정집합을 구성할 수 있음을 보인다. 두 번째 경우는 어떤 성분에서 교차점이 비어 있는 경우이다. 여기서 Lemma 4를 이용해 교차점이 비어 있으면 그래프는 반드시 C_k ⊠ K_{ω/2} (k≥4) 혹은 그 부분 그래프를 포함한다는 구조적 특성을 도출한다. 특히, 교차점이 없을 때 각 최대 클리크가 정확히 ω/2개의 공통 정점을 공유하고, 클리크 그래프가 최대 차수 2인 경로 혹은 사이클 형태가 된다는 점을 이용한다. 이때 강곱 구조가 나타나면 안정집합이 존재하지 않음이 명백히 드러나므로, 예외 그래프가 바로 C_k ⊠ K_{ω/2} (k는 홀수)임을 확인한다.

그 다음 저자들은 “모든 충분히 큰 최대 클리크에 대해 안정집합이 존재한다”는 Conjecture 6을 반박한다. 이를 위해 A와 B 두 파트로 구성된 특수 그래프를 설계한다. A는 크기 kt인 완전 그래프이며, B는 t개의 5-사이클으로 이루어진 독립 집합이다. A와 B 사이의 인접 관계는 인덱스가 다른 경우에만 연결한다. 이 구조에서는 최대 차수가 Δ = kt+5t−6이며, 모든 최대 클리크의 크기는 (1−ε)(Δ+1) 이상이지만, A와 B 사이의 교차점을 하나만 선택해도 B 내부의 5-사이클에서 두 인접 정점을 동시에 포함하게 되어 안정집합이 존재하지 않음을 보인다. 따라서 Conjecture 6은 일반적으로 성립하지 않는다.

전체적으로 논문은 ω와 Δ 사이의 임계 비율을 정확히 파악하고, 강곱 구조가 예외임을 명시함으로써 기존 결과를 최적화한다. 또한, 최대 클리크 대신 “충분히 큰” 최대 클리크에 대한 일반화 시도가 실패함을 구체적인 반례를 통해 입증함으로써, 그래프 색채 이론 및 클리크-안정집합 상호작용 연구에 중요한 교훈을 제공한다.