算法 - 二分搜索法 / 二分法（704）

原理：

利用数组的有序性，每次取查找范围的中间点，缩窄一半的查找空间。比较中间值和目标值的大小，直到找到目标值或者查找区间为空时返回。

力扣（LeetCode）官网 - 全球极客挚爱的技术成长平台

题目：

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

示例 1:

输入: nums = [-1,0,3,5,9,12], target = 9     
输出: 4       
解释: 9 出现在 nums 中并且下标为 4

提示：

你可以假设 nums 中的所有元素是不重复的。
n 将在 [1, 10000]之间。
nums 的每个元素都将在 [-9999, 9999]之间

思路：

二分法的前提条件：数组为有序数组，且 数组中无重复元素；

因为一旦有重复元素，使用二分查找法返回的元素下标可能不是唯一的；

注意：区间的定义问题

区间的定义就是不变量。要在二分查找的过程中，保持不变量，就是在 while 寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。

写二分法，区间的定义一般为两种，左闭右闭即 [left, right]，或者左闭右开即 [left, right)。

方法一：左闭右闭 [left, right]

      /*** @param {number[]} nums* @param {number} target* @return {number}*/var search = function (nums, target) {// right是数组最后一个数的下标，num[right]在查找范围内，是左闭右闭区间let mid = 0,left = 0,right = nums.length - 1;// 当left=right时，由于nums[right]在查找范围内，所以要包括此情况while (left <= right) {mid = Math.floor((left + right) / 2);let middleVal = nums[mid];// 如果中间数大于目标值，要把中间数排除查找范围，所以右边界更新为mid-1；// 如果右边界更新为mid，那中间数还在下次查找范围内if (middleVal < target) {left = mid + 1;} else if (middleVal > target) {right = mid - 1;} else {return mid;}}return -1;};

方法二：左闭右开 [left, right)

      /*** @param {number[]} nums* @param {number} target* @return {number}*/console.log(new Date().getTime());var search = function (nums, target) {let mid = 0,left = 0,right = nums.length;while (left < right) {mid = Math.floor((left + right) / 2);let middleVal = nums[mid];if (middleVal < target) {left = mid + 1;} else if (middleVal > target) {right = mid;} else {return mid;}}return -1;};