그래프와 라인그래프의 지역 최대 안정집합 이중성

** 본 논문은 그래프 이론에서 매칭과 안정집합 사이의 깊은 관계를 탐구한다. 먼저, König‑Egerváry 그래프를 정의하고, α(G)+μ(G)=|V(G)|라는 등식이 성립하는 그래프들의 주요 성질을 정리한다. 여기서 α(G)는 최대 안정집합의 크기, μ(G)는 최대 매칭의 크기이다. 다음으로, 지역 최대 안정집합 S∈Ψ(G)의 개념을 소개한다. S는 자신의 폐쇄 이웃 N