케이 이 그래프의 새로운 매칭 특성 기반 완전 특성화

본 논문은 그래프 이론에서 중요한 개념인 케인‑에게르바리(König‑Egerváry, 이하 K‑E) 그래프를 새로운 관점에서 특성화한다. 서론에서는 기본 정의와 기존 연구들을 정리한다. 그래프 G=(V,E)의 독립 수 α(G)와 매칭 수 μ(G)를 정의하고, ⌊|V|/2⌋+1 ≤ α(G)+μ(G) ≤ |V|라는 기본 부등식을 제시한다. α(G)+μ(G)=|V|인 경우를 K‑E 그래프라 부르며, 이는 König과 Egerváry의 고전적인 정리에서 비롯된 개념이다. 기존 연구들(예: Theorem 1.1, Proposition 1.2, Theorem 1.3)은 K‑E 그래프가 최대 매칭과 코어(core) 사이에 특정 매칭 관계를 갖고, 꽃(flower)이나 포지(posy)와 같은 금지 구조가 없을 때 K‑E임을 보였다. 논문의 핵심은 Section 2에 제시된 Theorem 2.1이다. 이 정리는 세 가지 명제가 서로 동등함을 증명한다. (i) G가 K‑E 그래프, (ii) 모든 최대 매칭 M이 어떤 최대 독립 집합 S∈Ω(G)에 대해 M⊆(S, V−S) 를 만족, (iii) 모든 최대 매칭이 모든 최대 독립 집합 S에 대해 동일하게 포함된다. 증명은 다음과 같이 전개된다. (i)⇒(iii)에서는 Proposition 1.2를 이용해 G를 S∗H 형태로 분해하고, M이 (S, V−S) 밖에 있으면 H 내부에 매칭이 존재해 μ(G) < |V−S|가 되므로 모순을 만든다. 따라서 M은 반드시 (S, V−S) 안에 포함된다. (iii)⇒(ii)는 명백히 성립한다. (ii)⇒(i)에서는 반대 가정을 두고, M이 (S, V−S) 안에 있을 때 |S|≥μ(G)임을 이용해 α(G)≥μ(G)임을 도출한다. 이후, 매칭 M에 포함된 정점들을 A와 B로 구분하고, V−S에서 매칭에 포함되지 않은 정점 x를 선택한다. x와 B 사이에 존재하는 교환 경로들을 이용해 집합 Sₓ와 M(Sₓ)를 정의하고, S₁={x}∪Sₓ∪(S−M(Sₓ))가 독립 집합임을 보인다. 이때 |S₁|=|S|+1>α(G)라는 모순이 발생하므로 (ii)⇒(i)가 성립한다. 이 과정에서 경로 교환, 매칭 교체, 꽃과 포지 구조의 부재 등을 정교하게 활용한다. Theorem 2.1을 바탕으로 Proposition 2.2를 증명한다. (i)에서는 K‑E 그래프의 모든 노출된 정점이 코어에 속함을 보인다. 이는 Theorem 2.1에 의해 모든 최대 매칭이 (S, V−S) 안에 포함되고, 매칭의 크기가 |V−S|와 같으므로 노출된 정점이 V−S에 존재할 수 없기 때문이다. (ii)에서는 모든 간선의 적어도 하나의 끝점이 μ‑비판적임을 보인다. 만약 uv∈E이고 v가 μ‑비판적이 아니라면, G−v에서 매칭 수가 변하지 않으므로 α(G−v)=α(G)가 되며, 이는 α(G)+μ(G)=|V|와 모순된다. 따라서 v는 코어에 속하고, u은 N(core) 안에 있어 μ‑비판적이다. Proposition 2.5는 정점 v를 삭제했을 때도 그래프가 K‑E 성질을 유지한다면, v가 코어에 속함과 동시에 v를 포화하지 않는 최대 매칭이 존재함을 동치로 제시한다. 증명은 α(G−v)=α(G)−1와 μ(G−v)=μ(G) 사이의 관계를 이용한다. 만약 v가 코어에 있지 않으면, N(core)와의 매칭 구조 때문에 모든 최대 매칭이 v를 포화하게 되므로 가정에 모순된다. Corollary 2.7은 위 결과를 이분 그래프에 특화한다. 이분 그래프에서는 코어 정점이 정확히 매칭에 의해 포화되지 않는 정점과 일치한다는 사실을 확인한다. 이는 이분 그래프의 특수한 구조(모든 매칭이 이분 집합 사이에 존재)와 결합해 직관적인 해석을 제공한다. 마지막으로 논문은 이러한 특성들을 통해 K‑E 그래프의 구조적 이해를 심화하고, 기존의 금지 구조 기반 특성화와는 다른 “모든 최대 매칭이 동일한 이분 분할에 포함된다”는 관점을 제공한다. 또한, 정점 삭제와 코어·노출 정점 관계를 통해 K‑E 그래프 인식 및 최대 독립 집합 찾기 알고리즘에 대한 새로운 접근법을 제시한다. 결론에서는 고유한 최대 독립 집합을 갖는 K‑E 그래프에 대한 추가 연구 가능성을 언급한다.