완전 매칭 지수와 브리지 없는 3정규 그래프의 새로운 통찰

본 논문은 브리지 없는 3정규 그래프 G에 대해 “완전 매칭 지수”(perfect matching index) τ(G)를 정의하고, 이 지수의 값에 따라 그래프의 색채 및 구조적 특성을 분석한다. τ(G)는 G의 모든 변을 커버하는 최소한의 완전 매칭 개수이며, τ(G)=3이면 G는 3‑엣지‑컬러블이다. 이는 Fulkerson 추측이 제시한 6개의 완전 매칭이 각 변을 정확히 두 번 포함한다는 조건이 3‑엣지‑컬러링 그래프에서는 자명하게 성립함을 의미한다. 따라서 논문의 주요 관심은 τ(G)≥4인 경우, 특히 τ(G)=4인 그래프들의 특성을 밝히는 데 있다. 1. **기본 정의와 전제** - **k‑커버링**: k개의 완전 매칭 M₁,…,M_k가 각 변을 최소 한 번 포함하는 집합. - **Fulkerson 커버링**: 6개의 완전 매칭이 각 변을 정확히 두 번 포함하는 특수한 6‑커버링. - **τ(G)의 존재**: 모든 브리지 없는 3정규 그래프는 최소 하나의 완전 매칭을 포함하므로 τ(G) 정의가 가능하다. 2. **τ(G)=4의 기본 성질 (Prop. 3.1, 3.2, 3.3)** - 4개의 완전 매칭 M₁,…,M₄가 존재하면 각 변은 정확히 한 번 혹은 두 번 포함된다. - 두 번 포함된 변들의 집합 자체가 완전 매칭이며, 이를 “cover‑twice 매칭”이라 부른다. - τ(G)=4이면 서로 다른 두 매칭은 교차하지 않는다(M_i∩M_j=∅). 이는 그래프가 3‑엣지‑컬러블이 아님을 다시 확인한다. - 최소 정점 수는 12 이상이며, 이는 cover‑twice 매칭이 최소 6개의 변을 필요로 하기 때문이다. 3. **FR‑트리플과 균형 매칭** - **FR‑트리플**: 세 개의 완전 매칭 M₁,M₂,M₃가 공통 교집합이 비어 있는 경우. - FR‑트리플이 존재하면 변 집합을 T₀,T₁,T₂(각각 0,1,2번 포함)로 분할할 수 있고, T₀∪T₂는 짝수 사이클들의 집합이 된다(Prop. 3.4). - 균형 매칭(balanced matching)은 두 완전 매칭의 교집합이며, τ(G)=4인 경우 최소 크기의 균형 매칭 b(G)≤|V(G)|/12임을 보인다(Prop. 3.6). 4. **2‑팩터와 “좋은 쌍(good pair)”을 통한 충분조건 (Thm. 3.5)** - 그래프가 2‑팩터 F를 갖고, 그 안의 홀수 사이클들을 “좋은 쌍”으로 묶을 수 있다면 τ(G)≤4가 된다. - **좋은 삼중(good triple)**: 두 홀수 사이클 C와 C′ 사이에 서로 다른 세 정점 쌍 (x_i, x_i′) (i=1,2,3)가 존재하여 각각 C와 C′ 사이에 홀수 길이의 경로를 만든다. - 각 좋은 쌍마다 세 개의 변 집합 A₂,A₃,A₄를 정의하고, 이를 기존의 4번째 매칭과 겹치게 함으로써 네 개의 완전 매칭 M₁,…,M₄를 구성한다. - 이 과정에서 (M₁,M₂,M₃), (M₁,M₃,M₄), (M₁,M₂,M₄) 각각이 FR‑트리플이 되며, T₀∪T₂에 해당하는 짝수 사이클을 적절히 배분해 모든 변을 커버한다. 5. **구체적인 스넉 사례** - **Blanuša 스넉**(18 정점): 두 9‑길이 사이클을 좋은 쌍으로 묶고, 세 변 (x x′, y y′, z z′)이 좋은 삼중을 이루어 τ=4임을 확인한다. - **Flower 스넉 F_k (k≥3, k odd)**: 한 사이클은 길이 2k+1, 다른 사이클는 3·(2k+1)이며, 변 (x₀t₀, x₁t₁, x₂t₂)으로 좋은 삼중을 만든다. 따라서 τ(F_k)=4(Thm. 3.8). - **Goldberg 스넉 G_k (k odd)**: 2‑팩터는 길이 2k+1, 5·(2k+1), 4k인 세 사이클로 구성되고, (a₀b₀, a₁b₁, a₂b₂) 변이 좋은 삼중을 형성한다. 결과적으로 τ(G_k)=4(Thm. 3.9). 6. **퍼뮤테이션 그래프와 추가 관찰** - 퍼뮤테이션 그래프는 2‑팩터가 두 개의 무차순 사이클만으로 이루어진 경우를 말한다. - 이러한 그래프가 M‑P₁₀(펜타곤을 포함한 서브그래프) 없이 존재하면 3‑엣지‑컬러블이지만, 일반적인 경우는 아직 미해결이다. - 논문은 “좋은 쌍”이 존재하지 않을 때 τ(G)≥5일 가능성을 제시하고, 이는 기존의 Fulkerson·Berge 추측과 연계된다. 7. **결론 및 향후 연구** - τ(G)=4인 그래프는 2‑팩터와 좋은 쌍 구조가 핵심적인 충분조건임을 밝혀냈다. - 이 결과는 Fulkerson 추측이 아직 증명되지 않은 그래프들에 대해 τ(G)≤5라는 약한 형태를 뒷받침한다. - 앞으로는 “좋은 쌍”이 존재하지 않는 그래프들의 완전 매칭 지수를 조사하고, τ(G)=5인 그래프들의 구조적 특징을 규명하는 것이 주요 과제로 남는다.