基础算法_整数二分

概览

二分算法属于分治算法。
若寻找右边部分的分界点，即右分界点。对于序列 1 2 3 3 3 4 5 6 将其分为两个部分，序列将分为 1 2 与 3 3 3 4 5 6 两部分，两边序列的根本区别为是否 < 3 或者是是否 >= 3。右边界点为将序列分为两部分的右边序列的分界点，即右边序列最左边的3。

int l = 0, r = n - 1;			//左右中值初始化
while (l < r) {					//循环退出判断条件，易得 l <= r 恒成立，当 l = r 时退出循环 
	int mid = l + r >> 1;		//求中值，向下取整
	if (check(q[mid])) r = mid; 
	else    l = mid + 1;
}

其中 l 是指左，r 是指右，mid 是指中值。此时check函数需设为 q[mid] < 3 或者 q[mid] >= 3，q为待分序列。

int l = 0, r = n - 1;
while (l < r) {
	int mid = l + r >> 1;
	if (a[mid] >= x) r = mid; 
	else    l = mid + 1;
}

同理，若寻找左边部分的分界点，即 1 2 与 3 3 3 4 5 6 两部分序列中左边序列的分界点，只需要将mid的更新方式换为l + r + 1 << 1 即可。

int l = 0, r = n - 1;
while (l < r) {
	int mid = l + r + 1 >> 1;
	if (a[mid] >= x) r = mid - 1; 
	else    l = mid;
}

由于l + r + 1 << 1是向上取整，即 (l + r + 1) > l 恒成立，故 l 与 r 更新方式也发生了变化。
对于为什么仅仅改变mid的更新方式就可以得到不同的最终结果，我认为是 r =mid 和 l = mid + 1 决定了是 l 趋向于 r，于是收敛到右节点；而 l = mid 和 r = mid - 1 决定了是 r 趋向于 l，最终收敛到左节点。

模板

传入参数为

/**
*@para t 二分查找的数组 x二分查找的值
*@return l x值的下标或者<=x值中最大的值的下标
**/
template<Typename T>
int find(const vector<T> &t, const int x)const{
    int i = 0, j = t.size() - 1;
    while(i < j){
    //3. 根据更新条件为l = mid，为了避免00划分，mid取l + r + 1 >> 1
        int mid = i + j + 1 >> 1;
        //1. 根据x >= q[mid]了解到 x在q[mid]的右边，所以左边的值可以舍去 
        //2. 根据q[mid] <= x 得到划分区间为<=x和>x
        if(q[mid] <= x) l = mid;
        else r = mid - 1;
    }
    //若数组中不存在x，则返回的值由if语句中的判断条件为准，
    //若判断条件为<=x，则返回值l也在<=x的区间内，即使查找的x不存在也会返回一个<=x的的值
    return l;
    
}