秩 3 群的二闭包在多项式时间内可计算

设 $G$ 是 $\Omega$ 上的有限置换群，若其在 $\Omega \times \Omega$ 的诱导作用上恰有三个轨道，则称 $G$ 为秩 3 群。在 $\Omega$ 上与 $G$ 于 $\Omega \times \Omega$ 上拥有相同轨道的最大置换群称为 $G$ 的 2-闭包。我们构造了一个多项式时间算法，该算法在给定秩 3 群的生成元时，可计算其 2-闭包的生成元。