직경 2와 최소 차수가 3인 그래프는 반드시 4 또는 8 길이 사이클을 포함한다

초록

본 논문은 직경이 2이고 최소 차수가 3 이상인 모든 유한 단순 그래프가 길이 4 또는 8의 사이클을 반드시 포함한다는 정리를 증명한다. 이는 Erdős‑Gyárfás 추측을 직경‑2 그래프 클래스에 대해 확인한 결과이며, 증명은 차수 하한과 직경 제한을 이용해 가능한 구조를 전부 분석하고, 4‑사이클이 존재하지 않을 경우 8‑사이클이 강제됨을 보인다.

상세 분석

이 논문의 핵심은 “직경 2 ⇒ 모든 비인접 정점 쌍이 공통 이웃을 가진다”는 사실을 차수 ≥3와 결합해 그래프의 국소 구조를 강제하는 데 있다. 증명은 먼저 임의의 인접 정점 v₁‑v₂를 잡고, 각각의 남은 두 이웃을 v₃,v₄와 v₅,v₆이라 명명한다. 여기서 4‑사이클이 없다고 가정하면 두 경우로 나뉜다.
① v₃=v₅인 경우, v₄와 v₆는 서로 인접하지 않으므로 직경 2에 의해 공통 이웃 v₇가 존재한다. 이후 v₇와 v₃, v₈, v₉, v₁₀을 차례로 선택하면서 “새로운 정점은 기존 집합에 포함되지 않는다”는 일련의 주장(Claim 1.1~1.6)을 전개한다. 결국 v₁₀이 v₂ 혹은 v₄와 공통 이웃이 되는 상황에서 8‑사이클이 형성된다.
② v₃≠v₅인 경우, {v₃,v₄}와 {v₅,v₆} 사이에 직접적인 간선이 없음을 보이고, 각 쌍 (a,b)∈{v₃,v₄}×{v₅,v₆}에 대해 공통 이웃 v₇을 찾는다. 이후 v₇와 v₄, v₆ 사이의 비인접성을 이용해 또 다른 공통 이웃 v₈을 확보하고, 경우에 따라 v₈=v₁, v₂ 혹은 새로운 정점이 될 때 각각 8‑사이클을 구성한다.
전체 논증은 “공통 이웃이 존재한다”는 직경‑2 조건을 반복적으로 적용하고, 최소 차수가 3이므로 각 단계에서 새로운 이웃을 확보할 수 있음을 이용한다. 모든 경우에 4‑사이클이 없으면 반드시 8‑사이클이 생성되므로 정리가 성립한다. 이 과정에서 몇몇 주장에서는 “N(v)∩N(u)≠∅”를 바로 적용했으나, 실제로는 u와 v가 비인접이라는 전제가 필요함을 명시한다. 또한, 증명은 구성적인 방법을 제공하므로 실제 알고리즘적으로도 4‑또는 8‑사이클을 O(n) 시간 내에 찾을 수 있음을 암시한다.