유사환 사이클 그래프의 핵심과 크리티컬 집합 관계

초록

본 논문은 유일한 사이클을 갖는 연결 그래프(유사환 그래프)에서 핵심(core)과 크리티컬 집합의 교집합인 ker가 동일함을 보이고, 비케니히-에게르바리(König‑Egerváry) 그래프인 경우와 그렇지 않은 경우에 따라 |corona|+|core|가 2α 혹은 2α+1이 되는 정확한 조건을 제시한다.

상세 분석

논문은 먼저 그래프 이론의 기본 개념을 정리하고, 특히 독립 집합, 매칭, 핵심(core), 코로나(corona), 그리고 크리티컬 차이 d_c(G)와 크리티컬 독립 집합을 정의한다. 기존 연구에서 ker(G)⊆core(G)이며, 이 포함은 이분 그래프에서 동등함을 보였던 점을 출발점으로 삼는다. 유사환 그래프는 사이클 C와 그에 붙은 트리들 T_x( x∈N₁(C) ) 로 분해될 수 있음을 이용해, 각 트리 T_x가 이분 그래프이므로 ker(T_x)=core(T_x)임을 적용한다. 핵심은 두 단계로 증명된다. 첫째, 비케니히-에게르바리 유사환 그래프에서는 사이클의 모든 변이 α‑크리티컬임을 보이며, 이로 인해 core(G)와 사이클 C 사이에 이웃 관계가 없음을 (Lemma 2.1(i)) 확보한다. 둘째, 각 트리 T_x에 대해 core(T_x)와 그 주변 정점 N(core(T_x)) 사이에 매칭이 존재함을 (Lemma 2.1(ii)) 이용해, 전체 그래프에서도 N(core(G))→core(G) 매칭을 구성한다. 이러한 매칭 구조는 |corona|+|core|의 상한과 하한을 결정하는 핵심 도구가 된다.

주요 정리는 다음과 같다.

1. 비케니히-에게르바리 유사환 그래프에서는 ker(G)=core(G)이며, 이는 각 트리에서의 동등성(ker(T_x)=core(T_x))과 사이클과의 독립성을 결합해 증명한다 (Theorem 2.5).
2. 모든 케니히-에게르바리 그래프에서 |corona|+|core|=2α가 성립한다는 기존 결과를 확장해, 비케니히-에게르바리 경우에는 정확히 2α+1이 된다는 것을 보인다 (Theorem 2.4). 이는 α+µ=n+1인 경우(즉, 사이클의 모든 변이 α‑크리티컬)와 매칭 크기의 차이가 1임을 이용한 정밀한 카운팅 논증으로 도출된다.

또한, 논문은 그래프의 구조적 특성을 활용해 core와 corona의 구성을 명시한다. 비케니히-에게르바리 유사환 그래프에서는 corona(G)=V(C)∪⋃_{x∈N₁(C)} corona(T_x)이며, 이는 사이클 정점이 모두 corona에 포함된다는 사실과 트리 부분에서의 기존 결과를 결합한 것이다. 마지막으로, 비이분 케니히-에게르바리 유사환 그래프에서 |core|와 |ker| 사이의 차이가 任意의 비음수 정수가 될 수 있음을 언급하며, 향후 연구 과제로 비이분 케니히-에게르바리 그래프에서 core=ker 조건을 만족하는 그래프의 특성을 제시한다 (Problem 3.1).

이러한 결과는 독립 집합과 매칭 사이의 상호작용을 보다 깊이 이해하게 하며, 특히 유사환 구조에서 핵심과 크리티컬 집합이 어떻게 일치하거나 차이를 보이는지를 명확히 규명한다.