완전 k 분할 그래프의 클리크 수에 관한 새로운 정리

초록

본 논문은 같은 차수열을 갖는 모든 단순 그래프 중에서, 클리크 수가 k인 경우는 완전 k-분할 그래프 Kₐ₁,…,ₐ_k 뿐임을 증명한다. 이를 통해 차수열만으로도 클리크 수에 대한 하한을 더 강하게 제공하며, 기존의 여러 하한식보다 넓은 그래프 군에서 샤프함을 보인다.

상세 분석

논문은 먼저 그래프 이론의 기본 개념을 정리하고, 차수열 동등성(두 그래프가 같은 차수 멀티셋을 가짐)을 정의한다. 완전 k-분할 그래프 Kₐ₁,…,ₐ_k는 각 파트가 독립 집합이며 서로 다른 파트 사이의 모든 정점이 연결된 구조이며, 그 보완 그래프는 k개의 완전 그래프 Kₐ₁∪…∪Kₐ_k의 불연속 합이다. 저자는 Turán 정리를 이용해 Kₖ₊₁‑free 그래프 중 가장 많은 간선을 갖는 그래프가 Turán 그래프 T(n,k)임을 상기하고, 이를 특수 경우인 a개의 파트가 모두 같은 크기인 Kₐ,…,ₐ에 적용한다. 여기서 바로 Corollary 1이 도출되는데, “차수열이 Kₐ,…,ₐ와 같은 그래프는 오직 Kₐ,…,ₐ 자체만이 클리크 수 k를 가진다”는 내용이다.

주요 정리(Theorem 1)는 이 결과를 일반화한다. 즉, 임의의 파트 크기 a₁,…,a_k에 대해 차수열이 Kₐ₁,…,a_k와 동일한 모든 그래프 G는 ω(G)=k 일 경우 반드시 G=Kₐ₁,…,a_k이다. 증명은 보완 그래프 관점에서 독립 집합 크기 α(G)를 다루는 Corollary 3을 증명함으로써 전이한다. 저자는 G가 클리크 성분을 갖지 않는다고 가정하고, 파트 크기의 비내림차순 정렬 a₁≤…≤a_k를 이용해 점진적으로 부분 그래프 G_c, G_{c+i}를 구성한다. 각 단계에서 독립 집합의 크기가 최소 c+1+i임을 귀류법과 집합론적 부등식(특히 ∑|N(x_i)|≤… )을 통해 보인다. 결국 전체 그래프 G에 대해 α(G)≥k+1, 즉 ω(G)≥k+1가 성립함을 보여, 원래 명제의 역을 증명한다.

또한 저자는 이러한 조건이 실제로 넓은 그래프 군을 포함한다는 점을 강조한다. 예시 그래프는 P₄와 C₅ 같은 금지 서브그래프를 포함하면서도 차수열 동등성을 만족한다. 이들 그래프에서 독립 집합·클리크 수를 구하는 문제가 NP‑complete임을 Proposition 2를 통해 증명한다. 즉, 차수열만으로는 일반적인 알고리즘적 접근이 어려우나, 본 정리를 이용하면 “k+1 클리크가 존재하지 않는다”는 여부를 즉시 판단할 수 있다.

마지막으로 Caro‑Wei 부등식 α(G)≥∑1/(d_i+1)와 Turán, Hansen‑Zheng, Myer‑Liu 등 기존 하한식들을 비교한다. 차수열이 Kₐ₁∪…∪Kₐ_k와 동등한 경우, 기존 부등식들은 α(G)≥k 정도만 보장하지만, 본 정리는 α(G)≥k+1(또는 ω(G)≥k+1)을 정확히 제공한다. 따라서 큰 그래프 군에서 기존 하한보다 샤프한 결과를 얻는다.