강인성 그래프에서 해밀턴성에 대한 차수 수열 조건

초록

본 논문은 t‑강인(t‑tough) 그래프에 대한 차수 수열 조건을 제시하여, t≥4인 모든 정수 t에 대해 호앙이 제시한 추측을 증명한다. 핵심은 두 개의 새로운 정리(강인성 폐쇄 보조정리와 제한된 사이클 구조 정리)를 이용해 차수 수열이 일정한 불균형을 보일 때 그래프가 해밀턴 사이클을 포함함을 보이는 것이다. 결과적으로 t‑강인 그래프가 해당 차수 조건을 만족하면 해밀턴뿐 아니라 판시클도 된다.

상세 분석

논문은 1972년 차발이 제시한 차수 수열 조건을 일반화하여, t‑강인 그래프에 대한 충분조건을 찾는 문제에 접근한다. 호앙(1995)의 추측은 “모든 i<n/2에 대해 d_i≤i이면 d_{n−i+t}≥n−i”라는 형태이며, t=1은 차발 정리, t≤3은 호앙이 이미 증명하였다. 저자들은 t≥4에 대해 이 추측을 완전히 입증한다. 핵심 아이디어는 두 가지 새로운 정리이다. 첫 번째인 ‘강인성 폐쇄 보조정리(Theorem 5)’는 두 비인접 정점 x, y에 대해 deg(x)+deg(y)≥n−t이면, G와 G+xy가 해밀턴성에서 동등함을 보인다. 이는 기존의 해밀턴 폐쇄 개념을 t‑강인성에 맞게 확장한 것으로, 그래프를 t‑폐쇄(t‑closure) 형태로 변형해도 차수 수열 조건이 보존된다는 점이 핵심이다. 두 번째인 ‘제한된 사이클 구조 정리(Theorem 6)’는 G가 t‑강인하고 비해밀턴일 경우, 어떤 정점 z를 제거하면 남은 그래프는 해밀턴 사이클 C를 갖는다. 이때 C의 인접 정점 x, y∈N(z)에 대해 deg(x)+deg(y)<n−t가 반드시 성립한다는 사실을 이용한다. 이 정리는 차수 합이 큰 쌍이 존재하면 즉시 해밀턴성을 유도할 수 있음을 보여준다.

증명 과정에서는 차수 수열을 비내림차순으로 정렬하고, 최소 k를 선택해 d_k≤k인 최초의 인덱스를 찾는다. 이후 U_α={v_i: d_i≥n−α} 집합을 정의하고, 이를 클리크와 보편 클리크(universal clique)로 확장한다. 여러 단계의 ‘클레임’을 통해 (1) U_α가 충분히 큰 클리크이며 (2) 특정 α 구간에서는 보편 클리크가 형성됨을 보인다. 특히, 클레임 2.5와 2.6을 통해 k가 n/2−t 이상임을 도출하고, 결국 최소 차수 δ(G) > nt+1−1을 얻는다. 이때 기존의 Bauer 등(2001)의 정리(δ(G) > nt+1−1이면 해밀턴)와 결합해 모순을 얻어 G가 반드시 해밀턴임을 증명한다.

전체 논리 흐름은 차수 수열 조건이 그래프의 구조적 강인성을 충분히 강하게 만든다는 점을 강조한다. 차수 합이 큰 비인접 정점 쌍을 추가해도 차수 수열이 유지되므로, t‑폐쇄를 적용해 그래프를 ‘완전화’시킨 뒤, 최소 차수를 이용해 기존의 충분조건에 귀속시킨다. 이 과정에서 새로운 사이클 구조 정리가 핵심적인 역할을 하며, 이는 향후 강인성 그래프의 사이클 이론에 독립적인 흥미로운 도구가 될 것으로 기대된다.