균형 분해 번호와 고도 연결성의 새로운 관계

초록

본 논문은 그래프의 균형 분해 번호가 3 이하가 되기 위한 필요충분조건을 간결히 증명한다. 구체적으로, 그래프 G의 균형 분해 번호가 3 이하인 경우와 G가 ⌊|V(G)|/2⌋-연결 그래프인 경우가 동치임을 보이며, 기존 10페이지에 달하던 증명을 매칭 이론을 이용한 짧은 논증으로 대체한다.

상세 분석

논문은 먼저 ‘균형 색칠(balanced coloring)’이라는 개념을 정의한다. 이는 정점 집합 V(G)를 세 개의 서로소 부분집합 P₁, P₂, X 로 분할하되 |P₁|=|P₂|인 경우를 말한다. 이어서 ‘균형 분해(balanced decomposition)’는 주어진 균형 색칠에 대해 V(G)를 연결된 부분그래프들의 정점 집합 V₁,…,Vᵣ 로 나누되 각 Vᵢ 안에서 P₁과 P₂가 동일한 개수만 포함하도록 하는 분할이다. 균형 분해 번호는 모든 가능한 균형 색칠에 대해, 각 Vᵢ의 크기가 s 이하가 되도록 하는 최소 s 로 정의된다.

핵심 정리는 “G의 균형 분해 번호 ≤3 ⇔ G가 ⌊|V(G)|/2⌋-연결”이라는 명제이다. 기존 증명은 복잡한 구조적 분석과 여러 보조 정리를 동원해 10페이지 분량이었지만, 저자는 이를 매칭 이론으로 단순화한다. 구체적으로, 임의의 균형 색칠에 대해 두 부분집합 P₁, P₂ 사이에 완전 이분 그래프 K_{|P₁|,|P₂|} 를 생각하고, 이 그래프에 대한 최대 매칭을 구한다. 매칭의 크기가 |P₁|=|P₂|이면 바로 균형 분해가 존재한다. 매칭이 부족한 경우, 그래프 G의 고도 연결성(⌊|V|/2⌋-연결) 가 보장하는 ‘오일러 경로’ 혹은 ‘오일러 서킷’ 형태의 보조 경로를 이용해 매칭을 확장한다. 결국 매칭을 적절히 보강하면 각 매칭 엣지가 포함된 정점 집합을 크기 ≤3인 연결 부분그래프로 묶을 수 있다. 여기서 3이라는 상수는 매칭 엣지 하나가 두 정점을 차지하고, 필요시 X에 속한 정점 하나를 추가해 균형을 맞추는 과정에서 나타난다.

반대 방향 증명은 보다 직관적이다. 만약 G가 ⌊|V|/2⌋-연결이 아니면, 최소 절단 집합 S의 크기가 ⌊|V|/2⌋-1 이하가 된다. 이때 S를 제거하면 두 컴포넌트 A, B 가 생기고, |A|≥|B|라 하자. A와 B 사이에 존재하는 정점들을 각각 P₁, P₂ 로 배정하고, 나머지 정점을 X 로 두면, 어떠한 균형 분해도 한 컴포넌트 안에 최소 4개의 정점을 포함해야 함을 보일 수 있다. 따라서 균형 분해 번호는 최소 4가 된다. 이는 ‘≤3’이라는 조건이 고도 연결성을 필요로 함을 역으로 증명한다.

이러한 매칭 기반 접근법은 기존 복잡한 구조적 논증을 대체하면서도, 그래프 이론의 기본 도구인 Hall’s 정리와 König’s 정리를 자연스럽게 활용한다는 점에서 학술적 가치를 가진다. 또한, 균형 분해 번호와 매칭 사이의 직접적인 연관성을 밝힘으로써, 향후 다른 그래프 파라미터(예: 색칠 수, 분할 수)와의 관계를 탐구하는 연구에 새로운 방향을 제시한다.