[논문 리뷰] An efficient algorithm for the diameter of Cayley graphs generated by transposition trees

Ashwin Ganesan|arXiv (Cornell University)|2012. 02. 27.

Interconnection Networks and Systems인용 수 9

한 줄 요약

이 논문은 전치수열 트리로 생성된 카일리 그래프의 지름을 추정하기 위한 O(n²) 알고리즘인 알고리즘 A를 제시한다. 이는 이전의 O(n!) 방법에 비해 크게 향상된 것으로, 모든 순열을 나열하지 않고도 트리 구조에 직접 작용하여, 이전의 상한값보다 항상 작거나 같고, 경우에 따라 엄밀히 더 나은 값을 도출한다. 최악의 경우 진짜 지름으로부터 최소 n−4의 격차를 보인다.

ABSTRACT

A problem of practical and theoretical interest is to determine or estimate the diameter of various families of Cayley networks. The previously known estimate for the diameter of Cayley graphs generated by transposition trees is an upper bound given in the oft-cited paper of Akers and Krishnamurthy (1989). In this work, we first assess the performance of their upper bound. We show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$. Evaluating their upper bound takes time $Ω(n!)$. In this paper, we provide an algorithm that obtains an estimate of the diameter, but which requires only time $O(n^2)$; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. Such an improvement to polynomial time, while still performing at least as well as the previous bound, is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations. We also provide a tree for which the value computed by our algorithm is not necessarily unique, which is an important result because such examples are quite rare. For all families of trees we have investigated so far, each of the possible values computed by our algorithm happens to also be an upper bound on the diameter.

연구 동기 및 목표

• 전치수열 트리로 생성된 카일리 그래프의 지름을 추정하는 데 있어 기존 방법의 계산 비효율성을 해결하기 위해.
• 기존에 알려진 상한값보다 최소한 동일하거나 더 나은 지름 추정값을 제공하는 다항시간 알고리즘을 개발하기 위해.
• 기존 상한값과 진짜 지름 사이의 성능 격차, 특히 최악의 상황에서의 격차를 분석하기 위해.
• 다양한 트리 구조에서 알고리즘의 출력이 고유하고 타당한지 조사하기 위해.
• 지름 추정 과정에 영향을 주는 전치수열 트리의 구조적 성질을 탐구하기 위해.

제안 방법

• 알고리즘은 대칭군 내의 모든 순열을 나열하지 않고도 전치수열 트리의 구조에 직접 작용한다.
• 하나의 트리에서의 하위트리 분해를 기반으로 하는 값 집합 β를 계산하기 위해 재귀적 절차를 사용하며, 최대 β 값(β_max)이 지름 추정값으로 사용된다.
• 카일리 그래프의 지름이 트리 내의 거리 합에 의해 상한이 주어지며, 하위트리 분석을 통해 조정된다는 사실을 활용한다.
• 트리 내의 모든 정점 쌍에 대해 후보 값 β를 평가하고, 이러한 모든 쌍에 대해 최대값을 선택한다.
• 트리의 연결성과 전치의 성질을 활용하여 명시적인 순열 순회 없이도 경계를 유도한다.
• 트리의 O(n)개 정점과 O(n)개 간선을 효율적으로 순회하고 집계함으로써 시간 복잡도가 O(n²)가 된다.

실험 결과

연구 질문

• RQ1 전치수열 트리에 대해 기존에 알려진 지름 상한값 f(T)와 진짜 지름 사이의 최악의 차이는 얼마인가?
• RQ2 모든 순열을 나열하지 않고도 전치수열 트리로 생성된 카일리 그래프의 지름을 추정할 수 있는 다항시간 알고리즘을 설계할 수 있는가?
• RQ3 여러 값이 가능한 경우에도 제안된 알고리즘이 계산한 값이 항상 진짜 지름의 상한값이 되는가?
• RQ4 어떤 전치수열 트리 가족에서는 알고리즘의 출력이 고유한가? 그리고 이러한 고유성을 결정짓는 구조적 성질은 무엇인가?
• RQ5 알고리즘의 출력이 기존의 상한값 f(T)와 동일한 것으로 간주될 수 있으며, 어떤 조건에서 이를 엄밀히 더 작게 만들 수 있는가?

주요 결과

• 모든 n > 4에 대해, 기존 상한값 f(T)와 진짜 지름 사이의 차이가 최소 n−4인 전치수열 트리가 존재한다.
• 제안된 알고리즘 A는 O(n²) 시간에 지름 추정값을 계산하며, 이는 이전 방법이 요구하는 Ω(n!) 시간에 비해 극적으로 향상된 것이다.
• 알고리즘 A가 계산한 값은 항상 이전에 알려진 상한값 f(T) 이하이며, 일부 경우에서는 이를 엄밀히 더 작게 한다.
• 최소한 하나의 트리에 대해 알고리즘이 비유일한 출력을 생성한다. 이는 추정 과정의 구조적 복잡성을 부각시키는 드문 현상이다.
• 시험한 모든 트리 가족에 대해 알고리즘이 반환한 최대 값 β_max는 기존 상한값 f(T)와 일치한다. 이는 일반적으로 유효한 상한값일 가능성이 있음을 시사한다.
• 알고리즘의 효율성과 정확성은 순열을 명시적으로 검토하지 않고도 트리 구조를 직접 다루는 데 기인한다.