매우 잘 덮인 그래프와 국소 최대 안정집합 그리도이드의 새로운 관계

초록

본 논문은 girth(최소 사이클 길이) 가 4 이상인 매우 잘-덮인 그래프 G에 대해, 국소 최대 안정집합들의 모임 Ψ(G) 가 그리도이드가 되기 위한 필요충분조건을 제시한다. 그 조건은 바로 G 가 유일한 완전 매칭을 갖는 경우와 동치임을 증명한다. 또한 girth ≥5 인 경우의 구조적 특성을 이용해 인식 알고리즘의 복잡도까지 논의한다.

상세 분석

논문은 먼저 그래프 이론의 기본 개념을 정리하고, 안정집합, 매칭, König‑Egerváry 그래프, 그리고 매우 잘‑덮인 그래프의 정의를 재확인한다. 매우 잘‑덮인 그래프는 |V|=2α(G)이며, 고립 정점이 없고, 모든 최대 매칭이 Property P 를 만족한다는 F. Fávan의 정리를 인용한다. 여기서 Property P 는 매칭의 각 간선 xy에 대해 N(x)∩N(y)=∅이며, x의 이웃 중 y를 제외한 모든 정점이 y의 이웃 전체와 연결된다는 조건이다.

다음으로 국소 최대 안정집합 Ψ(G)의 정의와 Nemhauser‑Trotter 정리를 이용한 기본 성질을 소개한다. 특히, Ψ(G)의 원소는 항상 전체 그래프의 어떤 최대 안정집합에 포함된다는 점을 강조한다.

핵심 결과는 Lemma 2.1과 Theorem 2.2, 2.3 에서 전개된다. Lemma 2.1은 매우 잘‑덮인 그래프에서 C₃ 혹은 C_q (q≥5) 와 같은 사이클의 간선이 완전 매칭에 포함될 수 없음을 보인다. 이는 Property P 로부터 직접 도출되는 중요한 제약이다. 이를 바탕으로 Theorem 2.2는 Ψ(G)의 각 원소 S에 대해 서브그래프 G