二分答案转换为判定的题型

二分答案转换为判定问题：

这个方法是怎么想到的呢？我做的题不多，试着依照现有的做题量，来总结了下这些题目的思考过程。（实时更新）

AcWing 102. 最佳牛围栏

最优解问题。

题目描述：给定正整数序列A，每个长度大于等于L的字段都有一个平均值，求最大平均值。

如果暴力枚举的化，就是枚举每个方案。每个方案都有一个对应的平均值。现在方案作为定义域，将平均值作为值域。

以“每个符合要求的字段”作为定义域，“字段对应的平均数”作为值域，按值域从小到大排序，可以画出一个图。题目要求的最大平均值就是值域最大值S。

那么对于大于S的值x0，一定与之对应的方案。而对于小于S的值x0，一定存在某个方案大于x0。

把所有可能的平均值从小到大排序。假设答案为S，小于S的点x0，会拥有“存在方案大于x0”的性质1，大于等于S的点x0，会存在“不存在方案大于x0”的性质2，即：

因此可以变成 二分答案转换为判定 的问题。解答方法

https://blog.csdn.net/qq_52993545/article/details/112794851

AcWing 120. 防线

该题目不是最优解问题。

假设题目的答案是S。对于每个可能的解x0，如果x0 < S，具有前缀和为偶数的性质1；如果x0 >= S，具有前缀和为奇数的性质2。即满足：

只要能画出这个图，那么往往就可以思考 二分答案转换为判定 的方法。当然，判定是难点，判定的时间复杂度必须尽可能的低，不然二分法就没有意义了。