최대 독립집합 컬렉션의 매칭과 집합 부등식에 관한 새로운 정리

초록

본 논문은 그래프 G의 최대 독립집합들의 컬렉션 Λ에 대해, 임의의 독립집합 S에 대해 “S − ∩Λ”를 “∪Λ − S”로 매칭시킬 수 있음을 보이고, 이를 통해 |S|+α(G) ≤ |∩Λ∩S|+|∪Λ∪S| 라는 핵심 부등식을 도출한다. 이 정리는 베르제의 최대 안정집합 보조정리와 하얄의 클리크 컬렉션 정리를 각각 새로운 증명으로 재현하며, König‑Egerváry 그래프에서 2·α(G)=|core(G)|+|corona(G)| 가 성립함을 보여준다.

상세 분석

논문은 먼저 기본 용어를 정리하고, Ω(G) 를 G의 모든 최대 독립집합들의 집합, core(G)=∩Ω(G), corona(G)=∪Ω(G) 로 정의한다. 핵심 결과인 Matching Lemma는 Hall의 정리를 이용해 “S − ∩Λ”와 “∪Λ − S” 사이에 완전 매칭이 존재함을 증명한다. 여기서 Λ는 Ω(G)의 비공집합 부분집합이다. 증명 과정에서 최소 반증 집합 ˜A 를 선택하고, ˜A와 어떤 최대 독립집합 W∈Λ 사이의 교집합·차집합 관계를 정밀히 분석한다. 이때 |˜A|>|N(˜A)∩B₂| 가 모순을 일으키는 이유는 ˜A∪W−N(˜A)가 W보다 큰 독립집합을 만든다는 점이다.

이 매칭 존재는 즉시 두 가지 부수적 결과를 낳는다. (i) S와 X∈Λ 사이에 매칭이 존재함을 보이며, (ii) S∩X와 Λ 전체 사이에도 매칭이 존재함을 보인다. 이를 이용해 Set and Collection Lemma를 도출한다. 이 정리는 |S|+α(G) ≤ |∩Λ∩S|+|∪Λ∪S| 라는 부등식을 제공한다. 특수화하면 Λ=Ω(G) 일 때 2·α(G) ≤ |core(G)|+|corona(G)| 가 나오며, König‑Egerváry 그래프에서는 등호가 성립한다(Prop. 2.7).

다음으로 논문은 여러 유명 정리들을 이 프레임워크 안에서 재증명한다. Hajnal의 Clique Collection Lemma는 core와 corona를 최대 클리크의 독립집합으로 바꾸어 바로 얻어지며, Berge의 Maximum Stable Set Lemma는 Matching Lemma (ii)의 “if” 방향과 매칭 존재 가정의 “only‑if” 방향을 결합해 증명된다. 또한, vertex cover 수 τ(G) 와 core, corona 사이의 관계를 이용해 α(G)−|core(G)| ≤ τ(G)−|∩{V−S}| 라는 부등식을 얻는다.

논문은 또한 몇 가지 한계 사례를 제시한다. Λ가 Ω(G)에 포함되지 않을 경우 매칭이 깨지는 예시와, 2·α(G)=|core|+|corona| 가 성립하지 않는 비‑König‑Egerváry 그래프들을 제시한다. 마지막으로, “어떤 그래프가 2·α(G)=|core|+|corona| 를 만족하는가?” 라는 개방 문제와, 주어진 그래프에서 최대한 많은 최대 독립집합을 모아 위 부등식의 등호를 만족시키는 컬렉션의 크기를 구하는 문제를 제시한다.

전반적으로 이 논문은 매칭 이론과 독립집합 구조 사이의 깊은 연관성을 새로운 관점으로 조명하고, 기존의 여러 그래프 이론 결과들을 통합·강화하는 강력한 도구를 제공한다.