큐빅 그래프의 불연속 매칭에 관한 새로운 경계

본 논문은 “불연속 매칭(disjoint matchings)”이라는 개념을 큐빅 그래프에 적용해, k개의 서로 겹치지 않는 매칭이 차지할 수 있는 변의 최대 개수 ν_k(G)를 조사한다. 서론에서는 그래프는 유한·무방향·루프와 다중 에지를 허용하는 의사그래프(pseudo‑graph)로 가정하고, 기본 용어와 기존 정리(Shannon, Vizing, Gallai)를 정리한다. 특히, Shannon 정리를 통해 큐빅 그래프에서 χ′∈{3,4}임을 강조하고, 매칭 커버 문제의 NP‑complete 성질을 언급한다. 2절에서는 그래프를 k‑subdivision 하는 방법과 “loop‑cutting” 연산을 정의한다. Proposition 1은 임의의 연결 그래프(δ≥2, Δ=3)를 적절히 k‑subdivision 하면 3‑정규 의사그래프 G₀가 존재함을 보이며, 이는 이후 구조적 분석의 기반이 된다. Proposition 2·3은 loop‑cutting이 그래프의 연결성을 유지하거나 특정 트리 형태로 변환한다는 성질을 제시한다. 3절에서는 최대 매칭과 미포화 정점의 배치를 다루는 Lemma 2를 증명한다. 여기서는 “인접한 미포화 정점이 없는” 최대 매칭이 항상 존재함을 보이며, 이를 위해 교환 경로와 교대 경로의 길이를 분석한다. 이 결과는 ν₂와 ν₃의 하한을 구하는 데 핵심적인 역할을 한다. 또한, Lemma 1은 (2k+1)‑정규 그래프가 2k+2개의 서로 겹치지 않는 최대 매칭을 가질 수 없음을 보이며, 정규 그래프의 매칭 구조에 대한 일반적인 제한을 제시한다. 4절에서는 시스템 오브 사이클즈 앤 패스(system of cycles and paths)를 구축한다. Lemma 3은 모든 차수가 2 이상인 그래프에서, 각 정점이 최소 두 개의 인접 정점을 갖는 짝수 길이 경로와 사이클들의 집합을 구성할 수 있음을 보인다. 이 구조는 ν₁, ν₂, ν₃ 사이의 관계를 정량화하는 데 이용된다. 특히, δ=2, Δ=k≥3인 경우 ν₁=2k+2n, ν₂=4k+2n이라는 정확한 식을 얻는다. 5절에서 본 논문의 핵심 정리들이 제시된다. 첫 번째 메인 정리에서는 모든 큐빅 그래프 G에 대해 ν₂(G)≥(4/5)·|V(G)|임을 증명한다. 증명은 Lemma 2와 Lemma 3을 결합해, 최소한 |V|·4/5개의 변을 두 개의 매칭으로 커버할 수 있음을 보인다. 두 번째 정리에서는 ν₃(G)≥(7/6)·|V(G)|를 얻으며, 이는 세 개의 매칭이 차지할 수 있는 변의 비율이 1보다 크다는 의미다. 마지막으로, ν₂와 ν₃ 사이의 선형 부등식 ν₂(G)≤(|V(G)|+2ν₃(G))/4 를 도출한다. 이 부등식은 ν₂와 ν₃가 서로 독립적인 것이 아니라, ν₃가 커질수록 ν₂도 일정 수준 이상 상승한다는 관계를 명시한다. 논문은 또한 기존 연구와의 비교를 통해, Albertson‑Haas와 Steffen이 다루었던 단순 큐빅 그래프 결과를 일반화하고, 다중 에지를 허용하는 의사그래프까지 확장함을 강조한다. 마지막으로, 향후 연구 방향으로 r‑정규 그래프(r≥4)에 대한 유사한 경계 탐색과, 매칭 커버 문제의 알고리즘적 복잡도 분석을 제시한다.