备战蓝桥杯--二分答案+检验

本专题主要围绕用二分的方法把求解类问题转化为验证类问题。

下面看题：

把x对应是否可行看成01函数，显然其单调，我们要求的就是最后一个1对应的x,于是只要对x进行二分再验证即可，下面是AC代码：

这里也许有人会有疑惑，就是这样求出来的答案实际存在吗？

换句话说，就是这样求出来的答案一定可以取到吗？答案是肯定的，我们用反证法来说明：

如果这个整数值a不可取到，即在judge函数中无法取等，因此，a+1必然也符合要求，矛盾！