정규 그래프는 반마법적이다

초록

본 논문은 기존 논문에서 제시된 “정규 그래프는 반마법적이다”라는 정리를 뒷받침하던 증명 중, 특정 단계에서 부적절한 가정을 사용한 오류를 지적하고, 이를 보완하기 위한 새로운 매칭·경로 분해 기법을 도입한다. 짝수 차수(특히 6 이상) 정규 그래프에 대해, 그래프를 세 부분(E₀, Eσ, E_L)으로 나누고, 비판적 컴포넌트와 V_i‑링크를 적절히 매칭시킨 뒤, 트레일 별로 구간 라벨을 할당함으로써 모든 정점의 라벨 합이 서로 다르게 되는 반마법적 라벨링을 구성한다.

상세 분석

원 논문은 짝수 차수 정규 그래프에 대해, 각 거리 레이어 V_i 에서 발생하는 “Eσ_i 에 속한 모든 간선 f(e) > ℓ”이라는 가정을 이용해 라벨링 구간을 정했지만, 실제로 Eσ_i 에 포함되는 간선 중 ℓ 이하인 경우가 존재함을 간과하였다. 이 오류는 Claim 6(원 논문)의 증명에서 발생하며, 이후 단계에서 사용되는 부등식이 성립하지 않아 전체 증명이 무너진다.

본 정정 논문은 먼저 기존의 매칭 이론을 재정리한다. Theorem 3은 최대 차수 정점을 모두 커버하는 매칭의 존재를 보장하고, Theorem 4는 T₁ 파트에서 절반 이하의 정점을 커버하도록 제한된 매칭을 구성할 수 있음을 제시한다. Theorem 5와 6은 짝수 k 에 대해, 각 U‑노드가 최대 k 차, 각 W‑노드가 최대 k‑1 차를 갖는 이분 그래프에서 “U‑링크”와 매칭을 동시에 확보하는 구조를 제공한다. 이를 바탕으로 Theorem 7은 그래프의 간선을 세 개의 서로 독립적인 부분집합(E₀, Eσ, E_L)으로 분할할 수 있음을 보인다.

핵심은 Claim 11에서 제시된 “비판적(comp) 컴포넌트와 V_i‑링크의 할당”이다. 비판적 컴포넌트는 (k‑2)-정규이며, 모든 내부 정점이 E_L 로 커버된 경우를 말한다. 이러한 컴포넌트를 V_i‑링크와 1‑대‑1 매칭시키기 위해, 컴포넌트를 한쪽 색집합 S, V_i‑링크를 다른 색집합 T 로 하는 이분 그래프를 만든다. 여기서 T 를 T₁∪T₂ 로 나누어, T₁ 은 홀수 개의 열린 트레일 끝점에 해당하는 링크, T₂ 는 나머지를 담당한다. Theorem 4 의 조건 d|N₁(X)|/2 + |N₂(X)| ≥ |X| 를 만족함을 보임으로써, Hall’s 정리를 적용해 필요한 매칭을 확보한다. 이 매칭은 (1) 서로 다른 비판적 컴포넌트에 서로 다른 V_i‑링크를 할당하고, (2) 열린 트레일의 끝점이 두 개 이상의 비판적 컴포넌트에 동시에 배정되지 않으며, (3) 홀수 개의 열린 트레일이 존재할 경우에도 그 절반 이하만이 비판적 링크의 중심 정점에 연결되도록 보장한다.

이후 라벨링 단계에서는 각 레이어 i 에 대해 라벨 구간을 정밀하게 나눈다.

• E_i (레벨 i 에서의 내부 간선) 은 가장 작은 구간을 임의로 할당한다.
• E₀_i 와 E_L_i 에서는 “시작 라벨 집합 I₁”과 “끝 라벨 집합 I₂”를 정의하고, 트레일을 순회하면서 교대로 작은 라벨과 큰 라벨을 배정한다(Algorithm 1). 이는 트레일이 짝수 길이일 때 I₁, I₂ 의 크기 차가 ≤1 이 되도록 유지한다.
• 비판적 V_i‑링크는 라벨 구간의 상위 부분(