思路
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
设这段序列为 l~r
<1>查找蓝色性质的分界点
首先设mid=(l+r)>>1;然后判断mid是否属于蓝色性质 if(check(mid));
如果属于 则说明mid在蓝色性质里,
即分界点在 [ l , mid ] 里,更新区间可取mid,r=mid
如果不属于 则说明mid不在蓝色性质里,
即分界点在 [ mid+1 , r ]里,更新区间不可取mid, l=mid+1
<2>查找红色性质的分界点(重点)
首先设mid=(l+r+1)>>1;然后判断mid是否属于红色性质 if(check(mid));
如果属于 则说明mid在红色性质里,
即分界点在 [ mid , r ] 里,更新区间可取mid,l=mid
如果不属于 则说明mid不在红色性质里,
即分界点在 [ l , mid-1 ]里,更新区间不可取mid, r=mid-1
注:为何是 l+r+1>>1? 假设一种情况,l 与 r 相差一位 即 l = r -1时
由于向下取整的原因,mid = ( l+r+1 )>>1=l
例:设 l = 2 , r = 3;mid=(2+3)>>1=ceil(2.5)=2
即 在 check 为 true 的情况下 l=mid 这一更新变成了 l=mid=l
未更新成功,死循环了!
二分模板
bool check(int x) {/* ... */} // 检查x是否满足某种性质
// 区间[l, r]被划分成[l, mid]和[mid + 1, r]时使用:
int bsearch_1(int l, int r)
{
while (l < r)
{
int mid = l + r >> 1;
if (check(mid)) r = mid; // check()判断mid是否满足性质
else l = mid + 1;
}
return l;
}
// 区间[l, r]被划分成[l, mid - 1]和[mid, r]时使用:
int bsearch_2(int l, int r)
{
while (l < r)
{
int mid = l + r + 1 >> 1;
if (check(mid)) l = mid;
else r = mid - 1;
}
return l;
}
3.模板题
![](https://i-blog.csdnimg.cn/blog_migrate/50ab3f417754970cf844b076eb8bb13f.png)
#include<bits/stdc++.h>
using namespace std;
const int N=1e5+10;
int arr[N];
int main()
{
int n,q;
scanf("%d%d",&n,&q);
for(int i=0;i<n;i++) scanf("%d",&arr[i]);
while(q--)
{
int x;
cin>>x;
int l=0,r=n-1;
while(l<r)
{
int mid=(l+r)>>1;
if(arr[mid]>=x) r=mid;
else l=mid+1;
}
if(arr[l]!=x) cout<<"-1 -1"<<endl;
else
{
cout<<l<<" ";
l=0;r=n-1;
while(l<r)
{
int mid=(l+r+1)>>1;
if(arr[mid]<=x) l=mid;
else r=mid-1;
}
cout<<l<<endl;
}
}
return 0;
}