최소 매칭 커버 그래프와 완전 매칭

초록

본 논문은 모든 간선이 어떤 최대 매칭에 포함되는 매칭 커버 그래프 중, 하나의 간선을 제거하면 매칭 커버 성질을 잃는 최소 매칭 커버 그래프는 반드시 완전 매칭을 포함한다는 사실을 증명한다.

상세 분석

논문은 먼저 매칭 커버 그래프와 최소 매칭 커버 그래프의 정의를 명확히 한다. 매칭 커버 그래프 G는 모든 간선 e에 대해 e를 포함하는 최대 매칭이 존재함을 의미하고, 최소 매칭 커버 그래프는 추가적인 조건으로 G−e가 매칭 커버가 아니도록 모든 간선 e에 대해 요구한다. 이러한 정의를 바탕으로 저자는 두 가지 핵심 명제를 제시한다. 첫 번째는 G가 연결 그래프이며 완전 매칭을 갖지 않을 경우, 임의의 간선 e=(u,v)에 대해 u 또는 v 중 하나를 놓치는 최대 매칭이 존재한다는 것(정리 1). 이는 A(F)와 B(F)라는 정점 집합을 도입하고, 최소 거리 함수 μ_e(F)를 정의해 모순을 통해 증명한다. 두 번째 명제는 서로 다른 두 간선 e, e′가 동일한 최대 매칭 집합 M(e)=M(e′)을 가질 수 없다는 것(정리 2)이다. 이를 위해 e를 포함하고 e′를 제외하는 매칭을 구성함으로써 집합의 차이를 보인다. 위 두 정리를 활용해, 최소 매칭 커버 그래프가 완전 매칭을 갖지 않을 경우 발생하는 모순을 도출한다. 구체적으로, 임의의 간선을 시작점으로 하여 M(e)⊇M(e′) 관계를 따라 무한히 진행하면 결국 동일한 간선이 두 번 등장하면서 M(e_i)=M(e_j)인 상황이 발생한다. 이는 앞서 증명한 정리와 충돌하므로, 가정이 잘못됐음이 증명되고, 따라서 최소 매칭 커버 그래프는 반드시 완전 매칭을 포함한다는 결론에 도달한다. 이 과정에서 핵심 아이디어는 매칭 집합 사이의 포함 관계를 이용해 순환을 만들고, 그 순환이 불가능함을 보이는 것이며, 이는 매칭 이론에서 널리 사용되는 “교환” 기법과 유사하다. 또한, 논문은 기존 문헌에서 제시된 코어(core) 개념과 1‑extendable 그래프 이론을 적절히 연결시켜, 최소 매칭 커버 그래프가 1‑extendable, 즉 연결된 매칭 커버 그래프이면서 완전 매칭을 포함한다는 사실을 재해석한다.