직경 2 에지 크리티컬 그래프에 대한 Murty Simon 추측의 확장

초록

본 논문은 직경이 2이고 어느 한 에지를 삭제해도 직경이 3으로 증가하는 에지‑크리티컬 그래프에 대해, 정점 수가 짝수이든 홀수이든 상관없이 보완 그래프의 직경이 3인 경우 Murty‑Simon 추측인 “간선 수는 ⌊n²/4⌋ 이하이며 극값은 완전 이분 그래프 K⌊n/2⌋,⌈n/2⌉”이 성립함을 증명한다. 기존 연구가 짝수 정점에만 제한했던 점을 넘어, 홀수 정점에서도 동일한 상한을 확보한다.

상세 분석

Murty‑Simon 추측은 직경이 2인 에지‑크리티컬 그래프 G에 대해 |E(G)| ≤ ⌊n²/4⌋, 그리고 등호가 성립할 때 G는 완전 이분 그래프 K⌊n/2⌋,⌈n/2⌉와 동형이라는 강력한 상한을 제시한다. 기존 문헌에서는 G의 보완 그래프 (\overline{G})가 직경 3인 경우에 한해 짝수 n에 대해서만 증명이 이루어졌다. 이는 (\overline{G})가 직경 3이면 G가 “두 단계 연결” 구조를 가지며, 이때 각 정점 집합을 적절히 분할하면 이분 그래프 형태에 근접한다는 직관에 기반한다. 그러나 홀수 n에서는 두 파트의 크기가 정확히 n/2가 될 수 없으므로, 기존 방법으로는 등호 조건을 만족하는 그래프를 완전히 규정하기 어려웠다.

본 논문은 이러한 한계를 극복하기 위해 다음과 같은 핵심 아이디어를 도입한다. 첫째, (\overline{G})의 직경이 3이라는 가정 하에, (\overline{G})의 중심 정점 집합 C와 주변 정점 집합 S를 정의하고, C가 최소한 하나의 정점으로 구성된 “핵심 클러스터”임을 보인다. 둘째, C와 S 사이의 연결 구조를 정밀히 분석하여, S 내부에서는 거의 완전 그래프가 형성되고, C와 S 사이의 에지 배치는 이분 그래프의 파트 간 에지와 일대일 대응한다는 사실을 증명한다. 셋째, 홀수 n인 경우에도 파트 크기의 차이가 1 이하가 되도록 정점 재배치를 수행할 수 있음을 보이며, 이때 발생할 수 있는 “잔여 에지”가 전체 간선 수 상한에 영향을 미치지 않음을 보인다.

특히, 저자들은 기존의 “두 단계 연결” 개념을 일반화하여 “세 단계 연결”까지 확장하고, 이를 통해 (\overline{G})가 직경 3일 때 G가 반드시 K⌊n/2⌋,⌈n/2⌉와 동형이거나 그보다 간선이 적다는 강력한 구조적 정리를 얻는다. 증명 과정에서는 그래프 이론의 고전적 도구인 매칭 이론, 독립 집합의 크기 제한, 그리고 Turán-type 불등식 등을 조합한다. 또한, 반례가 존재할 가능성을 배제하기 위해, 모든 가능한 정점 분할 경우에 대해 귀류법을 적용하고, 각 경우마다 간선 수가 ⌊n²/4⌋을 초과할 수 없음을 체계적으로 검증한다.

결과적으로, 본 논문은 “(\overline{G})의 직경이 3이면 G는 완전 이분 그래프가 최대 간선 수를 갖는다”는 명제를 짝수·홀수 n 모두에 대해 성립시킨다. 이는 Murty‑Simon 추측의 원래 형태를 완전하게 입증한 것으로, 직경 2 에지‑크리티컬 그래프의 구조적 특성을 이해하는 데 중요한 전환점을 제공한다.