짝 1 부분 색칠에서 최대 매칭을 포함하는 트리의 특수 구조

초록

모든 잎 사이 거리가 짝수인 트리에서는, 0‑1 부분 색칠이 적절히 정의될 때 0‑색으로 표시된 간선 집합이 최대 매칭과 동일한 크기를 가짐을 증명한다.

상세 분석

본 논문은 “부분 0‑1 색칠”이라는 새로운 그래프 색칠 개념을 도입한다. 그래프 G의 간선 부분집합 X에 대해 함수 f:X→{0,1}을 정의하고, f⁰와 f¹을 각각 색 0, 색 1을 받은 간선 집합이라 하면, f가 **적절(proper)**하다는 것은 f⁰와 f¹이 모두 매칭, 즉 서로 인접한 두 간선을 포함하지 않는다는 뜻이다. 이러한 색칠 중 f⁰∪f¹의 크기가 최대인 것을 **최대 적절 부분 0‑1 색칠(MPP)**이라 하고, 그때 |f⁰|을 Ψ(G), |f¹|을 Δ(G)라 정의한다. 일반적으로 Ψ(G)≤ν(G) (ν(G)는 G의 최대 매칭 크기)임은 자명하지만, 언제 등호가 성립하는지는 미지의 문제이다.

논문은 “모든 잎(끝점) 사이 거리가 짝수인 트리”라는 제한된 클래스에 대해 Ψ(G)=ν(G)임을 보인다. 핵심 아이디어는 트리의 말단 구조를 이용해 MPP 색칠을 재귀적으로 구성하는 것이다. Lemma 1은 차수가 1인 정점 u와 그 인접 정점 w가 존재하면, 어떤 MPP 색칠에서도 (u,w)를 색 0에 포함시킬 수 있음을 보인다. 이는 색 1에 속한 간선을 교환하거나, 교대 경로를 이용해 색을 뒤바꾸는 전형적인 매칭 교환 기법과 동일하다. Lemma 2는 두 개의 말단 정점 u, v가 같은 정점 w에 붙어 있는 경우, (u,w)와 (v,w)를 각각 색 0, 색 1에 배정하면서 Ψ와 Δ가 각각 1씩 증가한다는 관계식 Ψ(G)=1+Ψ(G{u,v,w}) 등을 도출한다.

이후 Corollary은 길이 4인 경로 형태의 부분 그래프 U={u₀,…,u₄}가 존재할 때, Ψ(G)=Ψ(G\U)+4, Ψ(G)≥2+Ψ(G\U)라는 부등식을 얻는다. 이러한 관계식은 귀납 단계에서 트리를 작은 조각으로 분해하고, 각 조각에 대해 이미 증명된 등식 Ψ=ν를 적용할 수 있게 해준다.

주된 정리의 증명은 |E(G)|에 대한 귀납법으로 전개된다. 기본 단계는 |E|≤6인 트리에서 직접 확인한다. 귀납 가정 하에 |E|=t≥7인 트리를 고려하고, 트리 구조에 따라 6가지 경우를 구분한다. 각 경우는 특정 형태의 부분 집합 U(길이 2~10의 경로 혹은 복합적인 가지 구조)를 찾아내어, G’ = G\U 혹은 G{특정 간선} 로 만든 잔여 트리에서 귀납 가정에 의해 Ψ(G’)=ν(G’)임을 이용한다. Lemma 1·2와 Corollary을 적절히 적용해 색 0에 포함시킬 간선을 선택하고, 남은 부분에 대해 MPP 색칠을 확장함으로써 최종적으로 Ψ(G)≥ν(G)임을 보인다. 이미 Ψ(G)≤ν(G)라는 일반적 부등식이 존재하므로, 등호가 성립한다.

핵심 통찰은 “짝수 거리 조건”이 트리의 말단 구조를 충분히 규칙적으로 만든다는 점이다. 이 조건 덕분에 말단 정점들을 짝지어 교환 경로를 구성할 수 있고, 결국 0‑색 간선 집합을 최대 매칭으로 만들 수 있다. 또한, 증명 과정에서 사용된 교대 경로와 색 교환 기법은 기존 매칭 이론의 기본 도구와 일맥상통하지만, 0‑1 색칠이라는 새로운 관점에서 재해석되었다는 점이 독창적이다.

결과적으로, 논문은 특정 트리 클래스에 대해 “최대 적절 부분 0‑1 색칠의 0‑색 집합이 반드시 최대 매칭을 이룬다”는 강력한 구조적 특성을 밝혀냈으며, 이는 매칭 이론과 그래프 색칠 이론 사이의 교차점을 탐구하는 새로운 연구 방향을 제시한다.