二分的一些记录

举个例子,对于最大值最小的问题,二分求这个最小的最大值 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 kt 成立的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 kt 时,就相当于当前的 m i d mid mid 处于区间 [ j − 1 , n ] [j-1, n] [j1,n], 也包含了最终结果 a n s ans ans

那么就有个很显然的问题:当mid恰好为ans的时候,若 k ≤ t k\leq t kt ,那么右边界 r 将到达 a n s ans ans 的左侧

此时会发生什么?我们可以看到此while循环只有一个出口: l > r l>r l>r, 那么此时只要能跳出循环,就能输出正确答案 a n s ans ans,否则不可能输出正确答案 a n s ans ans

那么什么情况下, 本循环后能跳出呢?这里注意两点:

  1. r = = l r == l r==l, 则下一步跳出
  2. 如果此后得到的mid再也无法符合题意,则ans的值将不变,随着 l 和 r 的紧缩,最终将到达1的情况,并跳出循环

不得不说,这个ans的设置相当巧妙,我tm以前怎么没发现这种写法

当然,这里是一定能找到结果的二分,还有的二分是可能查不到结果的,等下再写。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值