그래프에 숲을 삽입하기

초록

본 논문은 정점 수가 (\sum_{i=1}^{p}(a_i+1)) 이상이고 최소 차수가 (\sum_{i=1}^{p}a_i) 이상인 임의의 그래프에, 크기가 (a_1,\dots ,a_p)인 (p)개의 트리로 이루어진 숲을 항상 삽입할 수 있음을 증명한다.

상세 분석

이 연구는 그래프 이론에서 “트리 삽입 문제”의 일반화된 형태를 다룬다. 기존에 잘 알려진 결과로는 최소 차수가 (\Delta)인 그래프에 (\Delta) 이하의 차수를 갖는 트리를 삽입할 수 있다는 명제와, Erdős–Sós 추측(정점 수 (n)인 그래프가 최소 차수 (\frac{n}{2}) 이상이면 모든 트리를 포함한다) 등이 있다. 본 논문은 이러한 개별 트리 삽입 결과를 여러 트리, 즉 숲으로 확장한다는 점에서 새롭다.

핵심 정리는 다음과 같다.

• 입력: 정점 수 (|V(G)|\ge \sum_{i=1}^{p}(a_i+1))이고 최소 차수 (\delta(G)\ge \sum_{i=1}^{p}a_i)인 그래프 (G).
• 대상: 크기 (a_i)인 트리 (T_i) ((i=1,\dots ,p)) 로 구성된 숲 (\mathcal{F}=\bigcup_{i=1}^{p}T_i).
• 결론: (\mathcal{F})를 (G)에 동형사상으로 삽입할 수 있다.

증명은 귀납적 구조와 매칭 이론을 결합한다. 먼저, 최소 차수 조건이 충분히 크므로 임의의 정점 (v)를 선택해 그 주변의 (\sum a_i)개의 이웃을 확보한다. 그런 다음, 각 트리 (T_i)를 차례로 뿌리(root) 정점을 (v) 혹은 그 이웃에 매핑하면서, 이미 매핑된 정점과의 충돌을 방지하기 위해 Hall’s marriage theorem을 적용한다. 핵심은 “잔여 그래프”의 최소 차수가 삽입 과정 중에도 유지된다는 점을 보이는 것이다. 이를 위해 각 단계에서 사용된 정점 집합의 크기와 남은 차수를 정밀히 추적한다.

또한, 논문은 이 정리가 최적임을 보이기 위해 반례를 제시한다. 예를 들어, 최소 차수가 (\sum a_i-1)인 경우에는 특정 구성의 숲을 삽입할 수 없음을 보여, 제시된 차수 한계가 정확히 필요함을 증명한다.

이 결과는 기존의 “Tree Packing” 문제와도 연관된다. 특히, 같은 그래프에 서로 다른 트리를 겹치지 않게 배치하는 문제는 NP‑hard로 알려져 있으나, 여기서는 차수와 정점 수에 대한 충분조건을 제공함으로써 다항시간 알고리즘이 존재함을 암시한다.

마지막으로, 저자는 이 정리를 그래프의 구조적 특성(예: 클리크 수, 색칠수)과 연결시켜, 보다 일반적인 “숲‑포장” 이론의 토대를 마련한다는 점을 강조한다.