一个宏观的最优化问题也可以抽象为函数，其“定义域”是该问题下的可行方案，对这些可行方案进行评估得到的数值构成函数的“值域”。假设评估得到的数值最高值是 s，对于大于 s 的都不合法，对于小于等于 s 的都是合法的，这样问题的值域就有一种特殊的单调性，在 s 的一侧合法，在 s 的另一侧不合法。借助二分，我们把求最优解的问题，转化为给定一个值 mid，判定是否存在一个可行方案评分达到 mid 的问题。

二分答案可以用来处理“最大的最小”或“最小的最大”问题。

常见问题：记录答案的二分写法，判断答案在哪边，check()函数经常写不准确的问题。

例题，网线主管

  1. //

例题，月度开销

  1. //