二分查找、三分查找

二分查找

• 目标函数具有单调性（单调递增或者递减）
• 存在上下界（$bounded$）
• 能够通过索引访问（$indexaccessible$）

int left = 0, right = n - 1;
while (left <= right) {
	int mid = (left + right) / 2;
	if (array[mid] == target) {
		// find the target
		break or return mid;
	} 
	if (array[mid] < target) {
		left = mid + 1;
	} else {
		right = mid - 1;
	}
}

• $lowerbound$
  • 在单调递增数组里 [10, 14, 19, 25, 27, 31, 33, 35, 42, 44]，查找第一个 $\ge$ 31 的数（返回下标），不存在返回 $array.length$。
• $upperbound$
  • 在单调递增数组里 [10, 14, 19, 25, 27, 31, 33, 35, 42, 44]，查找第一个 $>$ 26 的数（返回下标），不存在返回 $array.length$。
• $lowerbound$ 和 $upperbound$ 存在的问题是：给定的 target不一定在数组中存在，array[mid] 即使不等于 target，也可能就是最后的答案，不能随便排除。
• 二分代码三步走:
  1. 写出二分的条件（一般是一个不等式）。
  2. 把条件放到 $if$ 里，并确定满足条件时要小的（$right=mid$）还是要大的（$left=mid$）。
  3. 另一半放到 $else$ 里，$left=mid+1$ 或 $right=mid-1$，如果是后者，求 $mid$ 时需要 +$1$。如果题目有无解的情况，上界加 $1$ 或者下界减 $1$，用于表示无解。

// 后继型: 查找第一个 >= target 的数, 不存在返回 n
// 改为 array[mid] > target 就是 upper bound
int left = 0, right = n;
while (left < right) {
	int mid = (left + right) >> 1;
	if (array[mid] >= target) { // 条件满足, 应该被包含
		right = mid;
	} else {
		left = mid + 1;
	}
}
return right;

// 前驱型: 查找第一个 <= target 的数, 不存在返回 -1
int left = -1, right = n - 1;
while (left < right) {
	int mid = (left + right + 1) / 2;
	if (array[mid] <= target) { // 条件满足, 应该被包含
		left = mid;
	} else {
		right = mid - 1;
	}
}
return right;

---

LeetCode 练习题

• 704. 二分查找
• 153. 寻找旋转排序数组中的最小值
• 154. 寻找旋转排序数组中的最小值 II
• 34. 在排序数组中查找元素的第一个和最后一个位置
• 69. x 的平方根
• 74. 搜索二维矩阵
• 240. 搜索二维矩阵 II
• 374. 猜数字大小

---

三分查找

• 二分法用于在单调函数上寻找特定值。
  

• 三分法用于在单峰函数上寻找极大值（或单谷函数上寻找极小值）。

  • 要求函数是分段严格单调递增$/$递减的（不能出现一段平的情况）。
    

• 以求单峰函数 $f$ 的极大值为例，可在定义域$[l,r]$ 上取任意两点 $lmid$，$rmid$

  • 若 $f(lmid)\le f(rmid)$，则函数必然在 $lmid$ 处单调递增，极值在 $[lmid,r]$ 上。
  • 若 $f(lmid)>f(rmid)$，则函数必然在 $lmid$ 处单调递减，极值在 $[l,rmid]$ 上。
  • 取 $lmid$ 为二等分点，$rmid$ 为 $lmid$ 稍加一点偏移量。
    

---

LeetCode 练习题

• 162. 寻找峰值

---