二分与离散化

由于JSCPC被坑，于是特地写一篇专题。

整数集合上的二分

答案在 [l,r] 区间内。
注意要求mid用的是右移运算符，/2会造成负数域内的误差

在单调增序列中查找$\ge x$的最小值

bool check(int x) {
    if(a[x]>=k) return 1;
    return 0;
}

int l=0, r = n-1;
while(l<r) {
    int mid = (l+r) >> 1;
    if(check(mid)) r = mid;
    else l = mid+1;
}
cout << l ;

在单调增序列中查找$\le x$的最大值

bool check(int x) {
    if(a[x]<=k) return 1;
    return 0;
}

int l=0, r = n-1;
while(l<r) {
    int mid = (l+r+1) >> 1;
    if(check(mid)) l = mid;
    else r = mid-1;
}
cout << l ;

实数域二分

实数域常见二分

while(l+eps<r) {
	double mid = (l+r) / 2;
	if(check(mid)) l = mid;
	else r = mid;
}

指定次数二分

for(int i=0;i<100;i++) {
	double mid = (l+r) / 2;
	if(check(mid)) l = mid;
	else r = mid;

离散化

普通版本

void discrete() {
    int cnt1=0;
    sort(b+1,b+n+1);
    tmp[cnt1++] = b[1];
    for(int i=2;i<=n;i++) {
        if(b[i]!=b[i-1]) tmp[cnt1++]=b[i];
    }
    for(int i=1;i<=n;i++) 
        a[i] = lower_bound(tmp,tmp+cnt1,a[i]) - tmp + 1;
}

利用STL

void discrete() {
    vector<int> b;
    for(int i=1;i<=n;i++) b.push_back(a[i]);
    sort(b.begin(),b.end());
    b.erase(unique(b.begin(),b.end()),b.end());
    for(int i=1;i<=n;i++) a[i]=lower_bound(b.begin(),b.end(),a[i])-b.begin()+1;
}