[论文解读] An efficient algorithm for the diameter of Cayley graphs generated by transposition trees

Ashwin Ganesan|arXiv (Cornell University)|Feb 27, 2012

Interconnection Networks and Systems被引用 9

一句话总结

本文提出算法A，一种O(n²)算法，用于估计由对换树生成的Cayley图的直径，显著优于先前的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.

研究动机与目标

• 解决现有方法在估计由对换树生成的Cayley图直径时计算效率低下的问题。
• 设计一种多项式时间算法，提供至少与先前已知上界一样好的直径估计。
• 分析先前上界与真实直径之间的性能差距，特别是在最坏情况下的表现。
• 研究算法输出在不同树结构下的唯一性与有效性。
• 探索影响直径估计过程的对换树的结构特性。

提出的方法

• 该算法直接在对换树结构上运行，避免枚举对称群中的所有排列。
• 通过基于子树分解的递归过程计算一组β值，其中最大β值（β_max）作为直径估计。
• 该方法利用Cayley图直径受树中距离之和限制的事实，并通过子树分析进行调整。
• 算法针对树中每对顶点评估候选β值，选取所有此类对中的最大值。
• 它利用树的连通性及对换的性质，在无需显式遍历排列的情况下推导出边界。
• 时间复杂度为O(n²)，得益于对树中O(n)个顶点和O(n)条边的高效遍历与聚合。

实验结果

研究问题

• RQ1 对于对换树，先前已知的直径上界f(T)与真实直径之间的最坏情况差异是多少？
• RQ2 能否设计一种多项式时间算法，用于估计由对换树生成的Cayley图的直径，而无需枚举所有排列？
• RQ3 所提出的算法计算出的值是否始终是真实直径的上界，即使存在多个可能的值？
• RQ4 对于哪些对换树家族，算法的输出是唯一的？其结构特性如何决定这一点？
• RQ5 算法的输出是否可表征为等同于已知上界f(T)？在何种条件下其值严格更小？

主要发现

• 对于每个n > 4，均存在一个对换树，使得先前上界f(T)与真实直径之间的差异至少为n−4。
• 所提出的算法A在O(n²)时间内计算直径估计，相比先前方法所需的Ω(n!)时间有显著提升。
• 算法A计算出的值始终≤先前已知的上界f(T)，且在某些情况下严格更小。
• 该算法在至少一棵树上产生非唯一输出，这种罕见现象凸显了估计过程中结构的复杂性。
• 在所有测试的树家族中，算法返回的最大值β_max与已知上界f(T)一致，表明其在一般情况下可能是一个有效的上界。
• 该算法的高效性与准确性源于对树结构的直接操作，避免了显式检查排列的需要。