二分答案

当答案有单调性（某个值可行则更大或更小也可行）时，可以直接对答案二分：先猜一个答案，用一个判定函数检查是否可行，再据此缩小范围。这把“求最优”变成了“反复判断可行”。