理论基础 —— 查找 —— 二分查找

【概述】

二分查找又称折半查找，其要求线性表中的记录必须按关键码有序，且必须采用顺序存储。

其基本思想是：用给定值 k 先与中间结点的关键字比较，中间结点把线形表分成两个子表，若相等则查找成功；若不相等，再根据 k 与该中间结点关键字的比较结果确定下一步查找哪个子表，这样递归进行，直到查找到或查找结束发现表中没有这样的结点。

【实现】

1.查找元素

int binarySearch(int a[], int value, int n) {
    int left=0, right=n-1;
    int res = -1;

    while (left <= right) {
        int mid = (left + right) / 2; //设置中值
        if (a[mid] == value) { //查找到符合元素value
            res = mid;
            return res;
        } 
        else if (a[mid] < value)   //value在右边部分
            left = mid + 1;        //调整集合下界
        else                       //value在左边部分
            right = mid - 1;       //调整集合上界
    }
    return res; //若未找到value，则res= -1
}

图例

2.查找连续函数

bool cal(int x){
    ...
}
int BinarySearch(double low,double high){//low为区间下界，high为区间上界
    double left,right,mid;
    left=low;//设置当前查找区间上界的初值
    right=high;//设置当前查找区间下界的初值
    
	while(right-left>1.0e-6){
        mid=(right+left)/2;//设置中值
        if(cal(mid)<x)//函数结果小于带查找的值
            left=mid;//说明在右边部分，调整集合下界
        else
            right=mid;//说明在左边部分，调整集合上界
    }
    return mid;
}

【二分查找判定树】

对表中每个记录的查找过程，可用二叉树来描述，树中的每个结点对应有序表中的一个记录，结点的值为该记录在表中的位置，常将这个描述二分查找过程的二叉树称为二分查找判定树。

1.构造

当 n=0 时，折半查找判定树为空

当 n>0 时，折半查找判定树的根结点为 mid=(n+1)/2，根结点的左子树是与有序表 r[1] ~ r[mid-1] 相对应的折半查找判定树，根结点的右子树是与 r[mid+1] ~ r[n] 相对应的折半查找判定树。 

2.性质

• 任意两棵折半查找判定树，若它们的结点个数相同，则它们的结构完全相同
• 具有n个结点的折半查找树的高度为 
• 任意结点的左右子树中结点个数最多相差 1
• 任意结点的左右子树的高度最多相差 1
• 任意两个叶子所处的层次最多相差 1

【复杂度分析】

最坏情况下，关键码比较次数为 log2(n+1)，时间复杂度为 O(logn)

在表中查找任一记录的过程，即是折半查找判定树中从根结点到该记录结点的路径，和给定值的比较次数等于该记录结点在树中的层数。

具有 n 个结点的二分查找判定树的深度为 ，因此当查找成功时，所进行的关键码比较次数至多为 ，而查找不成功时，就是走了一条从根结点到外部结点的路径，和给定值进行的关键码的比较次数等于该路径上内部结点的个数，即失败情况下的平均查找长度等于树的高度。

以深度为 k 的满二叉树为例，其深度为：，树上的第 i 层有  个结点，假设表中的每条记录查找概率相等，即：

则有：

故平均时间复杂度为：O(logn)