个人认为直接考虑一个 dp 就可以证明正确性，复杂度为 $O(t\sqrt n)$ by mango2011 @ 2024-05-16 08:17:30
膜拜俩巨佬 by Special_Tony @ 2024-05-17 20:28:31