케룽 에게르바리 그래프와 핵심 독립집합의 새로운 관계

초록

본 논문은 케룽‑에게르바리 그래프에서 핵심(core) 집합과 그 이웃집합의 크기 차이가 그래프의 임계 차이 d(G)와 동일함을 보이며, 이는 α(G)−μ(G)와 결핍(def)과도 일치함을 증명한다. 또한 이러한 성질이 성립할 때와 오직 그 경우에만 모든 최대 독립집합이 임계 집합이 되는 새로운 동치조건을 제시한다.

상세 분석

논문은 먼저 그래프 이론의 기본 개념을 정리한다. α(G)는 최대 독립집합의 크기, μ(G)는 최대 매칭의 크기이며, 케룽‑에게르바리(König‑Egervary) 그래프는 |V(G)|=α(G)+μ(G) 를 만족하는 그래프이다. 핵심 집합 core(G)은 모든 최대 독립집합의 교집합으로 정의되고, 결핍 def(G)=|V(G)|−2μ(G) 로 표현된다. 임계 차이 d(G)=max_{S∈Ind(G)}(|S|−|N(S)|)는 독립집합 S와 그 이웃 N(S) 사이의 차이를 최대로 하는 값이다. 기존 연구(Larson 2009)는 케룽‑에게르바리 그래프가 되려면 최소 하나의 최대 독립집합이 임계 집합이어야 함을 보였지만, 모든 최대 독립집합이 임계 집합이어야 하는지는 알려지지 않았다.

본 논문은 두 가지 주요 정리를 증명한다. 첫 번째 정리에서는 케룽‑에게르바리 그래프 G에 대해
d(G)=|core(G)|−|N(core(G))|=α(G)−μ(G)=def(G)
임을 보인다. 증명은 임의의 독립집합 S에 대해 |S|−|N(S)|≤α(G)−μ(G) 를 먼저 보이고, core(G)와 그 이웃집합이 최대 매칭에 의해 정확히 μ(G)개의 정점을 매칭함을 이용해 등호가 성립함을 확인한다. 특히 core(G)가 독립집합임을 이용해 α(G)−μ(G)≥|core(G)|−|N(core(G))| 를 얻고, 반대로 케룽‑에게르바리 성질 |V|=α+μ 를 활용해 역방향 부등식을 유도한다.

두 번째 정리는 케룽‑에게르바리 그래프와 최대 독립집합의 임계성 사이의 동치성을 제시한다. 즉, G가 케룽‑에게르바리 그래프이면 모든 최대 독립집합 S가 |S|−|N(S)|=d(G) 를 만족해 임계 집합이 된다. 반대로 모든 최대 독립집합이 임계이면, 특히 하나의 최대 독립집합 S에 대해 |S|+|N(S)|=|V| 가 되므로 |V|=α+μ 가 성립하고 G는 케룽‑에게르바리 그래프가 된다. 이 결과는 기존의 “하나만 존재하면 충분”이라는 조건을 “모두가 만족해야 함”이라는 강한 형태로 확장한다.

논문은 또한 몇 가지 반례와 예시를 들어, 비케룽‑에게르바리 그래프에서도 d(G)=|core|−|N(core)|=α−μ 가 성립할 수 있음을 보여준다. 그러나 이러한 경우에는 결핍(def)과 일치하지 않으며, 핵심 집합과 매칭 구조가 복잡해진다. 마지막으로, 핵심 집합이 비어 있지 않은 경우 G−N