被虐了。不过也是经常的事。
好了,开始讲。我们都知道二分可以求具有单调性的函数中的某个值。比如f(x)是具有单调性的,我们可以通过二分求f(x)==y的时候x的值是多少(已知y求x)。
但是为什么可以这么做呢?假设f(x)的单调性递增。
首先看二分的伪 代码:
bool binary_search(int l,int r,int y,int &ans)
{
while(l<=r){
int mid=(l+r)>>1;
if(f(x)-y>0)r=mid-1;
else if(f(x)-y<0)l=mid+1;
else {
ans=mid;
return true;
}
}
return false;
}
观察之后发现每次对于L和R的赋值操作都保证值在[L,R]这个区间内,这样就可以逼近要求的那个值。
好了,二分简单说到这。
现在提出一个问题。