제곱 그래프 G²가 König‑Egerváry 그래프가 되기 위한 정확한 조건

초록

본 논문은 그래프 G의 제곱 그래프 G²가 König‑Egerváry 그래프가 되려면, 원 그래프 G가 ‘제곱‑안정’하면서 동시에 König‑Egerváry 성질을 가져야 함을 증명한다. 특히, G가 완전 매칭을 포함하는 pendant edge들로 이루어진 경우와, G가 매우 well‑covered(정확히 α(G)개의 잎을 갖는)인 경우에 해당한다는 등 여러 동등조건을 제시한다.

상세 분석

논문은 먼저 기본 용어를 정리한다. 그래프 G의 제곱 G²는 거리 ≤2인 정점쌍을 모두 연결한 그래프이며, α(G)는 최대 안정집합(독립집합)의 크기, μ(G)는 최대 매칭의 크기이다. König‑Egerváry 그래프는 α(G)+μ(G)=|V(G)|를 만족하는 그래프로 정의된다. ‘제곱‑안정’ 그래프는 α(G)=α(G²)인 경우이며, 이는 최대 독립집합의 모든 두 정점 사이 거리가 최소 3임을 의미한다(정리 1.2).

Lemma 2.1에서는 제곱‑안정 그래프 G에 대해 α(G)≤μ(G)임을 보인다. 이는 최대 독립집합 S의 각 정점을 서로 다른 중간 정점 w_i와 연결함으로써 매칭 M을 구성하고, M이 μ(G)보다 작지 않음을 이용한다. 이때 w_i가 서로 다르다는 점이 핵심이다.

Proposition 2.3은 G²가 König‑Egerváry 그래프일 때 세 가지 조건(α(G)=α(G²), μ(G)=μ(G²), G가 완전 매칭을 갖는 König‑Egerváry 그래프)이 서로 동등함을 증명한다. 여기서는 μ(G)≤μ(G²)≤α(G²)≤α(G)라는 기본 부등식을 활용하고, Lemma 2.1을 통해 역방향을 끌어낸다.

Theorem 2.6은 G²가 König‑Egerváry 그래프이면 G가 제곱‑안정이며 동시에 König‑Egerváry 그래프이고 완전 매칭을 가진다는 강력한 결론을 도출한다. 증명은 G²의 König‑Egerváry 구조를 S∗H 형태로 표현하고, H의 각 정점이 S와 정확히 하나의 인접을 갖는다는 두 개의 ‘Claim’를 통해 G와 G² 사이의 매칭 크기가 동일함을 보인다.

Theorem 2.7은 네 가지 명제를 동등하게 만든다: (i) G²가 König‑Egerváry, (ii) G가 제곱‑안정 König‑Egerváry, (iii) G가 pendant edge들만으로 이루어진 완전 매칭을 가짐, (iv) G가 매우 well‑covered이며 정확히 α(G)개의 잎을 가짐. 특히 (iii)↔(iv)는 기존 연구