그래프 레벨 순서로 본 세이모어 두 번째 이웃 정리 증명

초록

**
본 논문은 세이모어 두 번째 이웃 정리(SSNC)를 최소 반례(MCE) 개념과 새롭게 제안한 그래프 레벨 순서(GLOVER) 구조를 통해 구성적 증명을 시도한다. 최소 아웃‑도 δ를 갖는 정점을 루트로 삼아 BFS‑기반 좌표계를 구축하고, 비‑세이모어 정점들의 집합 포장을 최대화하려는 최적화 문제로 전환한다. 저자는 레벨별 삼각형 유형을 8가지로 분류하고, 7가지가 MCE 환경에서 모순을 일으킨다고 주장한다. 마지막으로 레벨 i가 δ/3를 초과하면 호 용량이 소진돼 비‑세이모어 정점 포장이 지속될 수 없으므로 모든 그래프에 세이모어 정점이 존재한다는 결론에 도달한다. 알고리즘 복잡도는 O(|V|+|E|)라고 제시한다.

**

상세 분석

**
이 논문은 세이모어 두 번째 이웃 정리(SSNC)를 “최소 반례”라는 개념으로 재구성하고, 이를 “그래프 레벨 순서(GLOVER)”라는 BFS‑기반 좌표계에 매핑함으로써 증명을 시도한다. 핵심 아이디어는 최소 아웃‑도 δ를 갖는 정점을 루트로 삼아 레벨 R_i를 정의하고, 각 레벨에서 발생하는 전이 삼각형을 8가지 유형으로 분류한다는 점이다. 저자는 이 중 7가지 유형이 MCE(모든 정점이 DNSP, 즉 두 번째 이웃이 첫 번째 이웃보다 작음) 환경에서 모순을 일으킨다고 주장한다.

하지만 논문 전반에 걸쳐 정의와 정리가 불명확하다. 먼저 “최소 반례(MCE)”를 “비‑세이모어 정점들의 최대 포장”이라고 정의했지만, 포장이란 무엇이며 어떻게 측정되는지에 대한 수학적 형식화가 전혀 제시되지 않는다. 또한 “다중 부모”와 “세이모어 다이아몬드”를 해결한다는 주장도 구체적인 집합 연산이나 카운팅 방정식 없이 단순히 직관적 설명에 머문다.

GLOVER 구조는 BFS 트리를 레벨별로 나누는 것과 동일해 보이지만, 저자는 “레벨 i > δ/3이면 호 용량이 소진된다”는 공급‑수요 충돌을 제시한다. 여기서 “호 용량”이란 무엇이며, 왜 i > δ/3에서 급격히 감소하는지에 대한 증명은 전혀 제공되지 않는다. 실제로, δ가 큰 그래프에서는 i가 δ/3을 초과해도 충분히 많은 아크가 존재할 수 있으며, 이는 기존의 그래프 이론(예: 디그리‑제한 그래프, Menger 정리)와 모순된다.

또한 논문은 “알고리즘은 O(|V|+|E|) 시간에 세이모어 정점을 찾는다”고 주장하지만, 구체적인 절차와 의사코드, 그리고 왜 이 알고리즘이 모든 경우에 성공하는지에 대한 정당성은 부재하다. 특히, 비‑세이모어 정점이 존재한다는 가정 하에 레벨을 탐색하면서 사이클을 강제한다는 설명은 BFS의 기본 특성과 충돌한다. BFS는 사이클을 무시하고 최단 경로 트리를 만든다; 사이클을 “강제”한다는 것은 BFS가 아니라 다른 탐색 방식이 필요함을 의미한다.

마지막으로, 논문은 기존 연구(토너먼트, 전이 삼각형, 세이모어 다이아몬드 등)를 광범위하게 인용하면서도, 그 결과들을 실제 증명에 통합하지 못한다. 예를 들어, Brantner et al.의 “전이 삼각형이 없으면 세이모어 정점이 존재한다”는 정리는 논문에서 “7가지 유형이 모순을 일으킨다”는 주장과 연결되지 않는다.

요약하면, 이 논문은 새로운 용어와 직관적 아이디어를 제시했지만, 수학적 엄밀성, 정의의 명확성, 그리고 증명의 단계별 논리 전개가 크게 부족하다. 현재 형태로는 SSNC에 대한 완전한 증명이라기보다 아이디어 스케치를 넘지 못한다.

**