23‑강인도 (P₄∪P₁)‑무관 그래프는 모두 해밀턴 사이클을 갖는다

초록

본 논문은 23‑강인도인 (P₄∪P₁)‑무관 그래프가 최소 세 정점이면 항상 해밀턴 사이클을 포함한다는 정리를 증명한다. 기존의 1‑강인도 P₄‑무료 그래프 결과를 확장하고, 강인도 한계 23이 현재 증명에 필요한 충분조건임을 보인다.

상세 분석

이 연구는 1973년 Chvátal가 제시한 “t‑강인도 그래프는 충분히 큰 t에 대해 해밀턴이다”라는 추측을 (P₄∪P₁)‑무관 그래프라는 특수 클래스에 적용한다. 기존 문헌에서 1‑강인도 P₄‑무료 그래프는 해밀턴임이 Jung에 의해 증명됐으며, Nikoghosyan은 1‑강인도 (P₄∪P₁)‑무료 그래프도 해밀턴일 것이라고 conjecture했다. 그러나 (P₄∪P₁)‑무관성은 P₄‑무료성보다 약해, 기존 기법을 그대로 적용하기 어렵다.

논문은 먼저 강인도와 ‘산란 수(s(G))’ 개념을 연결한다. P₄‑무료 그래프에서는 s(G)≤0이면 해밀턴, s(G)<0이면 해밀턴‑연결임을 Jung의 정리(2.3, 2.4)로 정리한다. 이를 바탕으로, 강인도 t≥23인 (P₄∪P₁)‑무료 그래프 G에 대해 최소 절단집합 S를 선택하면 G−S는 P₄‑무료이며, 각 절단점은 S에 속한 다른 정점들과 풍부한 인접성을 가진다. Lemma 2.1·2.2는 이러한 절단점이 연결된 모든 컴포넌트에 대해 완전 연결을 강제함으로써 구조적 제약을 만든다.

핵심 단계는 세 파트로 나뉜다. (1) 각 컴포넌트 D⊆G−S에 대해, D의 산란 수 s(D)에 비례하는 S‑정점 집합 S_D를 매칭한다(lem 2.9). 이는 강인도 t≥23이라는 가정이 “많은” 매칭을 보장함을 이용한다. (2) 매칭된 S_D를 이용해 G−S를 여러 (u,v)‑경로들로 분해한다. 여기서는 Jung의 정리 2.4와 2.6을 적용해, 각 경로의 양 끝점이 서로 다른 S_D에 인접하도록 설계한다. (3) 마지막으로 (P₄∪P₁)‑무관성 특성을 활용해, 서로 다른 S_D에 속한 정점들을 매개로 경로들을 연결해 하나의 큰 사이클 C를 만든다(lem 2.15). 이 사이클은 G−S의 모든 정점을 포함한다.

남은 S의 정점들은 각각 C와 최소 t·|S|+1개의 인접을 갖기에, 삽입 과정을 반복해 C에 차례로 끼워 넣을 수 있다. 삽입 과정은 “경로 삽입” 기법을 사용해, 삽입 대상 정점이 경로의 연속 두 정점 모두와 인접하면 사이클을 유지하면서 정점을 추가한다. 이렇게 하면 최종적으로 전체 정점을 포함하는 해밀턴 사이클이 완성된다.

논문은 23이라는 구체적 상수를 얻었지만, 이는 증명 기법상의 편의성에 의한 것이며 최적값은 아닐 가능성이 높다. 실제로 강인도 한계가 낮아도 같은 구조적 접근이 가능할 것으로 보이며, 향후 연구에서는 상수를 개선하거나 (P₄∪P₁)‑무료성 대신 더 일반적인 선형 포레스트를 다루는 방향이 제시된다.