rt，有没有大佬可以证明一下爆掉 long long 之前一定找到最优解的这个判断