전이 트리로 생성된 Cayley 그래프 지름의 정확도와 효율적 추정 알고리즘

초록

본 논문은 전이 트리 T에 의해 생성된 Cayley 그래프 Γ의 지름에 대한 기존 상한식
(\max_{\pi\in S_n}{c(\pi)-n+\sum_{i=1}^{n}\operatorname{dist}_T(i,\pi(i))}) 의 정확도와 한계를 분석한다. 트리의 지름이 최대·최소인 경우 상한이 정확함을 보이고, 일반적인 경우에는 차이가 최소 (n-4)까지 발생할 수 있음을 증명한다. 또한 전이 트리만을 이용해 다항 시간 안에 계산 가능한 새로운 추정값 (\beta) 를 제시하고, 실험적으로 (\beta) 가 기존 상한보다 작으며 실제 지름의 상한이 되는 경우가 많음을 확인한다.

상세 분석

논문은 먼저 Akers‑Krishnamurthy(1989)에서 제시된 거리 상한
(f_T(\pi)=c(\pi)-n+\sum_{i=1}^{n}\operatorname{dist}_T(i,\pi(i))) 가 모든 전이 트리 T와 모든 순열 (\pi) 에 대해 성립함을 재검토한다. 저자는 이 부등식이 전이 트리가 별(star)인 경우에만 등호가 성립한다는 정리를 증명한다. 별 트리에서는 각 정점이 중심 정점 1과 직접 연결되므로, 마커를 원위치로 이동시키는 과정이 정확히 (f_T(\pi)) 번의 전이로 이루어짐을 보인다.

다음으로 지름 상한
(\operatorname{diam}(\Gamma)\le \max_{\pi} f_T(\pi)) 의 sharpness 를 조사한다. 경로 트리(path)와 별 트리에서는 이 상한이 실제 지름과 일치함을 확인한다. 특히 경로 트리의 경우, 모든 순열에 대해 개별 거리 부등식은 엄격하지만 전체 최댓값을 취하면 정확한 지름을 얻는다.

그 후, 상한과 실제 지름 사이의 gap 을 정량화한다. 저자는 모든 (n\ge5) 에 대해, 차이가 최소 (n-4)까지 커질 수 있는 전이 트리의 구성을 제시한다. 이 트리는 중심이 아닌 정점들이 길게 늘어선 형태와 몇 개의 가지가 결합된 구조로, 순열을 정렬하는 데 필요한 전이 수가 상한식보다 크게 증가한다. 현재 알려진 상한과 실제 지름 사이의 차이에 대한 하한을 제공함으로써, 기존 상한이 최악의 경우에도 선형 정도의 오차를 가질 수 있음을 보여준다.

마지막으로, 전이 트리 자체만을 이용해 다항 시간에 계산 가능한 새로운 추정값 (\beta) 를 정의한다. 알고리즘은 트리의 직경, 각 정점의 깊이, 그리고 특정 정점 집합의 커버링 정보를 활용해 (\beta) 를 구한다. 저자는 (\beta\le \max_{\pi} f_T(\pi)) 를 증명하고, 실험적으로 여러 트리 계열(별, 경로, 균형 이진 트리, 그리고 임의의 스패닝 트리)에서 (\beta) 가 실제 지름의 상한이 되는 경우가 대부분임을 보고한다. 이 알고리즘은 순열 전체를 탐색해야 하는 (O(n!)) 복잡도를 피하고, 오직 (O(n^2)) 혹은 그 이하의 연산으로 결과를 얻을 수 있다.

이러한 결과들은 전이 트리 기반 Cayley 그래프의 지름을 정확히 예측하기는 어려우나, 실용적인 네트워크 설계와 라우팅 알고리즘에서 충분히 좋은 상한을 빠르게 얻을 수 있음을 시사한다.