이분 그래프에서의 핵심 집합과 핵심 구조

초록

본 논문은 이분 그래프에서 핵심(ker)과 코어(core)의 동등성을 증명하고, 임계 차이(d_c)와 두 파티션의 최대 결핍(δ₀) 사이의 관계, 그리고 |ker|+|diadem|=2α라는 식을 제시한다. 이를 통해 이분 그래프의 최대 독립 집합 구조를 새로운 관점에서 이해한다.

상세 분석

논문은 먼저 그래프 G=(V,E)의 기본 개념을 정리한다. 독립 집합 S⊆V는 서로 인접하지 않는 정점들의 집합이며, α(G)는 최대 독립 집합의 크기, core(G)는 모든 최대 독립 집합의 교집합이다. 집합 X에 대해 d(X)=|X|−|N(X)|를 차이(difference)라 정의하고, d_c(G)=max_{X⊆V} d(X) 를 임계 차이(critical difference)라 한다. 특히 독립 집합에 한정한 최대값을 id_c(G)라 하고, 이때 d_c(G)=id_c(G)임을 정리 1.1(i)에서 언급한다.

이분 그래프 G=(A,B,E)에 대해 Ore가 도입한 δ(X)=d(X) (X⊆A 혹은 X⊆B)와 δ₀(A)=max_{X⊆A} δ(X), δ₀(B)=max_{Y⊆B} δ(Y) 를 사용한다. 논문의 핵심 정리는 다음과 같다.

1. d_c(G)=δ₀(A)+δ₀(B). 이는 König‑Egerváry 그래프 성질 α(G)+μ(G)=|V|와 결합해 α(G)=|A|+δ₀(B)=|B|+δ₀(A) 를 얻는다.
2. ker(G)=core(G). 즉, 모든 임계 독립 집합의 교집합은 모든 최대 독립 집합의 교집합과 동일하다. 이를 증명하기 위해 정리 3.1의 세 가지 동등 조건(ker의 최소성, 매칭 존재성, 각 정점 제거 후 매칭 가능성)을 활용한다.
3. |ker(G)|+|diadem(G)|=2α(G). 여기서 diadem(G)는 모든 임계 독립 집합의 합집합이다. 위의 동등성 및 α(G)와 μ(G)의 관계를 이용해 식을 도출한다.

정리 2.1은 위 결과들을 전제 조건 없이 이분 그래프에 일반화한다. 특히 (iii)와 (iv)는 임계 집합을 A‑critical, B‑critical 집합으로 분해하면 각각의 부분이 독립이며, 그 합이 전체 임계 집합이 됨을 보인다. 레마 2.3은 A‑critical 집합 X와 B‑critical 집합 Y 사이의 교차 구조를 분석해 |X∩N(Y)|=|N(X)∩Y|이며 완전 매칭이 존재함을 증명한다. 이는 코어와 ker 사이의 교차가 공집합임을 보이는 데 핵심적인 역할을 한다(Corollary 2.4).

핵심 정리 3.3의 증명은 코어가 비어 있지 않은 경우, 최대 매칭 M이 V−S를 S에 매칭한다는 König‑Egerváry 성질을 이용한다. 가정에 모순되는 Z⊆N(core) 를 가정하고, 최소성 조건을 만족하는 Z₀를 선택해 H=G