若能写出判定函数check(x)，表示“答案为x时是否可行”，即使check(x)不满足单调性，也一定可以使用二分答案求最优解。