최대 매칭으로 나눌 수 있는 그래프의 구조적 특징

초록

본 논문은 단순 그래프의 모든 간선을 최대 매칭들의 집합으로 정확히 분할할 수 있는 경우를 Vizing의 엣지 색채 분류와 연계하여 완전히 규명한다. 주요 결과는 이러한 분할이 가능하려면 그래프가 클래스 I 혹은 클래스 II에 속하면서 특정 정규성 및 팩터‑크리티컬 성질을 만족해야 함을 보인다.

상세 분석

논문은 먼저 그래프 G의 최대 매칭 크기 ν(G)와 간선 수 |E(G)| 사이의 기본 관계 |E(G)| = k·ν(G) (k는 분할된 매칭의 개수)를 도입한다. 이때 각 매칭이 최대임을 보장하려면 모든 색깔 클래스가 ν(G)개의 간선을 포함해야 하므로, k는 최소한 엣지 색채 지수 χ′(G)의 값과 일치한다. Vizing의 정리에 따라 단순 그래프는 χ′(G)=Δ(G)인 클래스 I와 χ′(G)=Δ(G)+1인 클래스 II로 구분된다. 저자는 k = |E|/ν(G) 가 χ′(G)와 정확히 일치하는 경우를 조사한다.

클래스 I에 대해, χ′(G)=Δ(G)=k가 되려면 Δ(G)=|E|/ν(G)이어야 한다. 이는 G가 Δ-정규이며 ν(G)=|V|/2, 즉 완전한 완전 매칭(완전 매칭) 존재를 의미한다. 따라서 모든 컴포넌트가 정규 이분 그래프이거나, 더 일반적으로는 Δ-정규이면서 완전 매칭을 갖는 그래프가 해당한다.

클래스 II의 경우 χ′(G)=Δ(G)+1=k가 되려면 Δ(G)+1=|E|/ν(G)이어야 한다. 이를 정리하면 G는 (Δ+1)-정규에 가깝지만, 정확히는 Δ-정규이면서 차수가 홀수인 정점이 존재하고, 그래프가 팩터‑크리티컬(factor‑critical)임을 알 수 있다. 팩터‑크리티컬 그래프는 임의의 정점을 제거하면 완전 매칭이 존재하는 특성을 갖는다. 따라서 클래스 II 그래프는 차수가 Δ인 정점과 차수가 Δ+1인 정점이 적절히 섞여 있으며, 전체 그래프가 팩터‑크리티컬 구조를 이루는 경우에만 간선을 최대 매칭들의 집합으로 정확히 분할할 수 있다.

주요 정리는 다음과 같다.

1. 그래프 G가 간선을 최대 매칭들의 분할로 표현 가능 ⇔ |E|/ν(G)=χ′(G).
2. 위 조건이 클래스 I에 해당하면 G는 Δ-정규 이분 그래프이며, 각 컴포넌트는 완전 매칭을 갖는다.
3. 위 조건이 클래스 II에 해당하면 G는 팩터‑크리티컬이며, 차수가 Δ인 정점과 Δ+1인 정점이 교대로 나타나는 구조를 가진다.

증명은 먼저 매칭의 크기와 색채 클래스의 수 사이의 산술적 관계를 이용해 필요조건을 도출하고, 이후 Vizing의 정리를 적용해 충분조건을 구성한다. 클래스 I에 대해서는 정규 이분 그래프의 Hall 정리를 활용해 모든 색깔이 최대 매칭이 되도록 색칠할 수 있음을 보이며, 클래스 II에 대해서는 팩터‑크리티컬 그래프의 구조적 특성을 이용해 Δ+1개의 색깔이 각각 ν(G)개의 간선을 포함하도록 구성한다.

이러한 결과는 기존 연구에서 다루어졌던 “완전 매칭 분할” 문제를 일반화한 것으로, 특히 그래프 색채 이론과 매칭 이론 사이의 깊은 연관성을 새롭게 조명한다. 또한, 알고리즘적 관점에서 간선 집합을 최대 매칭들로 분할하는 절차가 다항 시간 내에 구현 가능함을 시사한다.