코니히에게르바리 그래프의 제곱 안정성 연구

초록

본 논문은 그래프 G에 대해 안정수 α(G)와 최대 매칭 크기 μ(G)의 합이 정점 수와 일치하는 코니히‑에게르바리 그래프 중, 제곱 그래프 G²에서도 안정수가 변하지 않는, 즉 α(G)=α(G²)인 ‘제곱‑안정’ 그래프를 연구한다. 주요 결과는 코니히‑에게르바리 그래프가 제곱‑안정하려면 모든 완전 매칭이 펜던트(잎) 간선으로 이루어져야 함을 보이며, 이를 통해 잘‑덮힌 트리는 정확히 제곱‑안정 트리와 동치임을 도출한다.

상세 분석

논문은 먼저 그래프 이론의 기본 개념을 정리한다. 안정수 α(G)는 최대 독립집합의 크기이며, μ(G)는 최대 매칭의 크기이다. 코니히‑에게르바리 그래프는 α(G)+μ(G)=|V(G)|를 만족하는 그래프로, 이 식은 이분 그래프에서 항상 성립하지만 일반 그래프에서도 특수한 구조를 가질 때 성립한다. 제곱 그래프 G²는 원래 그래프 G에서 거리 ≤2인 정점들을 모두 인접하게 만든 그래프이며, α(G²)≤α(G)라는 일반적인 부등식이 존재한다. ‘제곱‑안정’ 그래프는 α(G)=α(G²)인 경우로, 이는 독립집합이 거리 2 이하의 연결에 의해 제한되지 않음을 의미한다.

핵심 정리는 “코니히‑에게르바리 그래프 G가 제곱‑안정하려면, G는 모든 매칭이 펜던트(잎) 정점과 연결된 간선만으로 이루어진 완전 매칭을 가져야 한다”는 것이다. 증명은 다음과 같이 전개된다. 먼저 α(G)=α(G²)라면, G의 최대 독립집합 S는 G²에서도 독립이므로 S의 모든 두 정점 사이 거리가 최소 3이다. 이는 S가 G에서 서로 비인접일 뿐 아니라, 각 정점이 서로의 이웃까지도 겹치지 않음을 의미한다. 따라서 S의 보완 정점 집합 V\S는 각 정점이 정확히 하나의 S와 인접함을 강제한다. 이때 V\S는 S와 1‑대‑1 매칭 관계에 놓이며, 그 매칭은 반드시 펜던트 간선이어야 한다. 반대로, G가 펜던트 간선만으로 이루어진 완전 매칭을 갖는다면, 매칭에 포함되지 않은 정점들은 모두 잎 정점이며, 이들만을 모은 집합이 최대 독립집합이 된다. 또한 거리 2 이내에 새로운 독립 정점이 생기지 않으므로 α(G)=α(G²)가 성립한다.

이 정리를 토대로 저자는 트리 구조에 특별한 관심을 둔다. 트리는 사이클이 없으므로 모든 매칭을 펜던트 간선으로 구성할 수 있는 경우가 바로 ‘잘‑덮힌 트리’이다. 잘‑덮힌 트리는 모든 정점이 최대 독립집합에 포함되거나 그 이웃에 포함되는 성질을 가지며, 이는 곧 펜던트 간선으로 이루어진 완전 매칭과 동치가 된다. 따라서 논문은 “잘‑덮힌 트리 ⇔ 제곱‑안정 트리”라는 새로운 등가 관계를 제시한다.

또한 저자는 몇 가지 예시와 반례를 통해 조건의 필요충분성을 강조한다. 예를 들어, 별 그래프 K1,n은 펜던트 간선만으로 완전 매칭을 갖지만, n이 1인 경우(즉, K2)만이 코니히‑에게르바리이면서 제곱‑안정이다. 반면, 경로 P4는 코니히‑에게르바리이지만 펜던트 매칭이 없으므로 제곱‑안정이 아니다. 이러한 사례 분석은 제시된 정리의 경계선을 명확히 보여준다.

마지막으로 논문은 향후 연구 방향으로, 일반 그래프에서 펜던트 매칭 외에 다른 구조적 특성이 제곱‑안정성을 보장할 수 있는지, 그리고 코니히‑에게르바리 그래프의 다른 파생 클래스(예: 비이분 그래프)에서의 적용 가능성을 제시한다.