众所周知,不用 FFT 和 NTT 的多项式乘法最优复杂度是 O(n2O(logn))O(n2^{O(\sqrt{\log n})})O(n2O(logn)) 的。
那么关于这个 O(⋅)O(\cdot)O(⋅) 有如下问题: