二分查找法

题目描述：
给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。

示例:
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4

二分查找（折半查找）：仅仅适用于有序的顺序表

在所查找的区间范围内，以处于区间中间位置记录的关键字和给定值比较，若相等，则查找成功，若不相等，则缩小范围在新的区间继续折半查找。新的区间是通过判断字和给定值的大小，若关键字比给定值大，则新的区间为小于中间位置的区间；否则为大于中间位置的区间。直至新的区间中间位置的记录的关键字等于给定值或者查找区间的大小小于零时（找不成功为止）

low>high：查找失败

！！！顺序表拥有的随机访问特性，链表没有。

按照升序排列所写。

#include<iostream>
using namespace std;
int Binary_Search(SSTable L,ElemType key){
	int low=0,high=L.TableLen-1,mid;
	while(low<=high){
		mid=(low+high)/2;
		if(L.elem[mid]==key)
			return mid;
		else if(L.elem[mid]>key)
			high=mid-1;
		else
			low=mid+1;
	}
	return -1;
}

class Solution {
    public int search(int[] nums, int target) {
        // 当 target 小于nums[0] nums[nums.length - 1]时代表数组没有需要查找的值返回-1，避免多次循环
        if(target<nums[0]||target>nums[nums.length-1]){
            return -1;
        }
        int left = 0, right = nums.length-1;
        while(left <= right){
            int middle = (right - left)/2 + left;
            if(nums[middle] == target)
                return middle;
            else if(nums[middle]>target)
                right = middle-1;
            else if(nums[middle]<target)
                left = middle+1;
        }
        return -1;
    }
}

 

查找效率分析：

ASL成功？ASL查找失败？

折半查找判定树的构造：

如果当前low和high之间有奇数个元素，则mid分割后，左右两部分元素个数相等。

mid=[low+high]/2

如果当前low和high之间有偶数个元素，则mid分割后，左半部分比右半部分少一个元素。【向下取整】

折半查找的判定树中，若mid=[(low+high)/2]，则对于任何一个结点，必有：

右子树结点数-左结点数=0/1

 练习：若mid=[(low+high)/2],画出含一个元素，2个元素，3个元素.......16个元素的查找表对应的折半查找判定树，注：暂不考虑失败结点（Key:右子树结点数-左子树结点数=0或1）

折半查找的判定树一定是平衡二叉树

 平衡二叉树（Balanced Binary Tree）又被称为AVL树（有别于AVL算法），且具有以下性质：它是一 棵空树或它的左右两个子树的高度差的绝对值不超过1，并且左右两个子树都是一棵平衡二叉树。这个方案很好的解决了二叉查找树退化成链表的问题，把插入，查找，删除的时间复杂度最好情况和最坏情况都维持在O(logN)。

折半查找的判定树中，只有最下面一层是不满的，因此，元素个数为n时树高h=[log2(n+1)],（注：该树高不包含失败结点）与完全二叉树树高计算方法一致。

查找成功的ASL<=h,查找失败的ASL<=h.

折半查找的时间复杂度=O（log2n)

判定树的关键字：左<中<右，满足二叉排序树的定义 失败结点：n+1个（等于成功结点的空链域数量）

???折半查找的速度一定比顺序查找更快？×

如果mid=[(low+high)/2)]向上取整，如果当前low和high之间有偶数个元素，则mid分隔后，左半部分比右半部分多一个元素。

折半查找的判定树中，若mid=[low+high)/2],则对于任何一个结点，必有：左子树结点数-右子树结点数=0/1.