举个例子,对于最大值最小的问题,二分求这个最小的最大值 a n s ans ans
这是一个题解的二分写法,我发现好像大家都是这么写二分的 P3853 绝_尘的题解
while(l<=r) {
int mid=(l+r)>>1, k=0;
/*sentence code*/
if(k>t){
l=mid+1;
}
else{
r=mid-1;
ans=mid;
}
}
printf("%d",ans);
return 0;
本问题的二分的过程大约可以这么形象的描述,对于递增数列:
{ \{ { a 1 a_{1} a1, a 2 a_{2} a2, a 3 a_{3} a3 …, a i a_{i} ai, a n s ans ans, a j a_{j} aj, … a n a_{n} an } \} }
a
n
s
ans
ans 及其以后的数值全部都符合题意,但是要求其中最小的值,也就是
a
n
s
ans
ans
对于此题,mid越大,k越小。使得
k
≤
t
k\leq t
k≤t 成立的mid是符合题意的。
而且要注意:即使
k
=
=
t
k==t
k==t, 此时的mid也不一定就是ans
在这个代码当中
- 当 k > t k>t k>t 时,就相当于当前的 m i d mid mid 处于区间 [ 1 , i ] [1, i] [1,i]
- 当 k ≤ t k\leq t k≤t 时,就相当于当前的 m i d mid mid 处于区间 [ j − 1 , n ] [j-1, n] [j−1,n], 也包含了最终结果 a n s ans ans
那么就有个很显然的问题:当mid恰好为ans的时候,若 k ≤ t k\leq t k≤t ,那么右边界 r 将到达 a n s ans ans 的左侧
此时会发生什么?我们可以看到此while循环只有一个出口: l > r l>r l>r, 那么此时只要能跳出循环,就能输出正确答案 a n s ans ans,否则不可能输出正确答案 a n s ans ans
那么什么情况下, 本循环后能跳出呢?这里注意两点:
- r = = l r == l r==l, 则下一步跳出
- 如果此后得到的mid再也无法符合题意,则ans的值将不变,随着 l 和 r 的紧缩,最终将到达1的情况,并跳出循环
不得不说,这个ans的设置相当巧妙,我tm以前怎么没发现这种写法
完
当然,这里是一定能找到结果的二分,还有的二分是可能查不到结果的,等下再写。