차수 제한 그래프의 스패닝 트리 하한 연구

초록

본 논문은 차수가 d 이하인 연결 그래프가 사이클 수 μ=m−n+1에 대해 최소 β_d^μ개의 스패닝 트리를 갖는다는 하한을 탐구한다. 저자는 β_d의 최적값이 완전 그래프 K_{d+1}에서 달성된다고 추측하지만, d>3에 대해서는 증명되지 않았다. 대신 d≤11에 대해 구체적인 하한값을 제시한다.

상세 분석

논문은 먼저 사이클 수 μ=m−n+1을 그래프의 ‘초과 차수’ 혹은 ‘사이클 차수’라고 정의하고, 스패닝 트리의 개수를 μ에 대한 지수 형태 β_d^μ로 표현한다는 아이디어를 도입한다. 이는 기존의 스패닝 트리 개수에 관한 Kirchhoff’s Matrix‑Tree Theorem을 직접 활용하기보다는, 그래프의 구조적 제한(정점 차수 상한 d)과 사이클 수 사이의 관계를 통해 지수적 하한을 얻고자 하는 접근이다.

저자는 먼저 d=2,3에 대해 정확한 β_d 값을 구한다. d=2인 경우 그래프는 단순히 경로 혹은 사이클이므로 스패닝 트리 개수는 1이며, β_2=1이 된다. d=3에서는 모든 3‑regular 연결 그래프가 최소 2^μ개의 스패닝 트리를 가진다는 것을 보이며, 여기서 β_3=2가 최적임을 확인한다. 이때 사용된 핵심 도구는 그래프를 차수 3 이하인 블록(2‑연결 성분)으로 분해하고, 각 블록에 대해 스패닝 트리 개수의 하한을 귀류법으로 증명하는 방법이다.

d>3에 대해서는 일반적인 증명이 어려워, 저자는 완전 그래프 K_{d+1}이 β_d를 달성한다는 직관적 추측을 제시한다. K_{d+1}는 모든 정점의 차수가 정확히 d이며, 사이클 수는 μ= C(d+1,2)−(d+1)+1 = d(d−1)/2 이다. Matrix‑Tree Theorem에 의해 K_{d+1}의 스패닝 트리 개수는 (d+1)^{d−1}이며, 이를 μ에 대한 지수 형태로 변환하면 β_d = (d+1)^{(d−1)/