[论文解读] Diameters of Permutation Groups on Graphs and Linear Time Feasibility Test of Pebble Motion Problems

Jingjin Yu|arXiv (Cornell University)|May 23, 2012

Optimization and Search Problems参考文献 12被引用 3

一句话总结

本文提出了一种图上弹珠运动问题的新型公式化方法，允许在完全占据的环路上同步旋转弹珠，证明由此生成的置换群的直径为 O(n²)。本文提出了一种线性时间算法，用于判断任意两个配置之间是否可达，从而解决了该领域的一个开放性问题。

ABSTRACT

Let $G$ be an $n$-vertex connected, undirected, simple graph. The vertices of $G$ are populated with $n$ uniquely labeled pebbles, one on each vertex. Allowing pebbles on cycles of $G$ to rotate (synchronous rotations along multiple disjoint cycles are permitted), the resulting pebble permutations form a group $\G$ uniquely determined by $G$. Let the diameter of $\G$ (denoted $diam(\G)$) represent the length of the longest product of generators (cyclic pebble rotations) required to reach an element of $\G$, we show that $diam(\G) = O(n^2)$. Extending the formulation to allow $p \le n$ pebbles on an $n$-vertex graph, we obtain a variation of the (classic) pebble motion problem (first fully described in Kornhauser, Miller, and Spirakis, 1984) that also allows rotations of pebbles along a fully occupied cycle. For our formulation as well as the (classic) pebble motion problem, given any start and goal pebble configurations, we provide a linear time algorithm that decides whether the goal configuration is reachable from the start configuration. This gives a positive answer to an open problem raised by (Auletta et al., 1999)

研究动机与目标

• 通过允许在图中完全占据的环路上同步旋转弹珠，扩展经典的弹珠运动问题。
• 分析由 n 个顶点图上此类循环旋转生成的置换群的直径。
• 设计一种线性时间算法，用于判断在新规则下，从起始配置是否可达目标弹珠配置。
• 解决 Auletta 等人（1999 年）提出的关于在此扩展模型中线性时间可达性测试可行性的问题。

提出的方法

• 将图建模为具有 n 个顶点和 n 个唯一标记弹珠的连通无向简单图，每个顶点上有一个弹珠。
• 将群 G 定义为通过图中不相交环路上的同步旋转所生成的所有置换的集合。
• 通过环分解的组合论证分析群结构，证明其直径为 O(n²)。
• 将模型扩展至允许在 n 个顶点图上存在 p ≤ n 个弹珠，同时保持沿完全占据环路旋转弹珠的能力。
• 设计一种基于图遍历和环分解的可达性算法，其时间复杂度相对于顶点数为线性。
• 通过利用群论性质以及图和弹珠配置的结构不变量，证明该算法的正确性和最优性。

实验结果

研究问题

• RQ1 在连通图上通过弹珠旋转生成的置换群 G 中，生成任意置换最多需要多少次循环旋转操作？
• RQ2 在允许环路旋转的扩展模型下，能否在线性时间内判断目标弹珠配置是否可达起始配置？
• RQ3 在完全占据的环路上引入同步旋转如何影响置换群的结构和直径？
• RQ4 是否存在多项式时间（特别是线性时间）算法来解决此广义弹珠运动模型中的可行性问题？
• RQ5 与经典弹珠运动问题相比，该扩展模型是否保持了高效可达性计算所需的结构特性？

主要发现

• 在 n 个顶点图上，通过弹珠循环旋转生成的置换群 G 的直径被限制在 O(n²)。
• 存在一种线性时间算法，用于判断在扩展的弹珠运动模型中，目标配置是否可达起始配置。
• 该算法高效处理了经典弹珠运动问题及其包含环路旋转的扩展版本，同时保持线性时间复杂度。
• 该解决方案解决了 Auletta 等人（1999 年）提出的关于在此背景下线性时间可达性测试可行性的开放性问题。
• 由同步环路旋转诱导的群结构足够受控，从而能够高效计算可达性并确定群直径的上界。