We show that given generators for subgroups $G$ and $H$ of ${\mathrm{S}}_n$, if $G$ is primitive then generators for ${\mathrm{N}}_H(G)$ may be computed in quasipolynomial time, namely $2^{O({\log }^{3}n)}$. The previous best known bound was simply exponential.

中文翻译：

---

拟多项式时间内本原置换群的归一化

我们证明给定的子组生成器 $G$ 和 $H$ 的 ${\mathrm{小号}}_{ñ}$如果 $G$ 是原始的，然后是生成器 ${\mathrm{ñ}}_H（G）$ 可以用准多项式时间来计算，即 $2^{Ø（{\mathrm{日志}}^3ñ）}$。先前最广为人知的界限就是指数。