本题的前几个题解的复杂度是否为 $O(n^4 \log n)$？为何能通过此题？如果复杂度确为 $O(n^3 \log n)$，如何证明？