在一篇题解中看到“能得到一个 $O(n!\times \operatorname {poly(n)})$ 的解法”，这里的 $\operatorname {poly(n)}$ 是什么？