寻找峰值

思路一句话：比 mid 和 mid+1，上坡 l=mid+1，下坡 r=mid，每次砍一半，撞上即峰值。下面一步步演给你看。

先记住：数组左右两端之外都是负无穷。这保证从任何位置往「更高」的方向走，最终都能撞到一个峰，不会走出界。

高亮这段是一路上坡。上坡不可能无限升（右端是负无穷），途中必出现一个比右邻高的转折点，那就是峰值。二分正是利用这一点。

初始时左指针 l 指向下标 0，右指针 r 指向最右端下标 12。峰值一定在这段区间里，开始对半收窄。

本轮的搜索区间是高亮这段 [0, 12]。峰值只可能在这里面，区间外已经被前面的判断排除掉了。

取区间正中间 mid = (l + r) / 2 = 6。接下来要拿它和右邻居比，判断该往哪半边收。

把 mid 的值 13 和右邻居 nums[7] = 15 比一比，看 mid 是在上坡还是下坡。

nums[mid] 比右邻居小，是上坡，更高的峰在右侧。丢掉 mid 及左边（变灰那段），左指针跳到 l=7。

本轮的搜索区间是高亮这段 [7, 12]。峰值只可能在这里面，区间外已经被前面的判断排除掉了。

取区间正中间 mid = (l + r) / 2 = 9。接下来要拿它和右邻居比，判断该往哪半边收。

把 mid 的值 16 和右邻居 nums[10] = 14 比一比，看 mid 是在上坡还是下坡。

nums[mid] 比右邻居大，是下坡或就是峰顶，峰值在 mid 这一侧（含 mid 自己）。丢掉 mid 右边（变灰那段），右指针收到 r=9。

本轮的搜索区间是高亮这段 [7, 9]。峰值只可能在这里面，区间外已经被前面的判断排除掉了。

取区间正中间 mid = (l + r) / 2 = 8。接下来要拿它和右邻居比，判断该往哪半边收。

把 mid 的值 17 和右邻居 nums[9] = 16 比一比，看 mid 是在上坡还是下坡。

nums[mid] 比右邻居大，是下坡或就是峰顶，峰值在 mid 这一侧（含 mid 自己）。丢掉 mid 右边（变灰那段），右指针收到 r=8。

本轮的搜索区间是高亮这段 [7, 8]。峰值只可能在这里面，区间外已经被前面的判断排除掉了。

取区间正中间 mid = (l + r) / 2 = 7。接下来要拿它和右邻居比，判断该往哪半边收。

把 mid 的值 15 和右邻居 nums[8] = 17 比一比，看 mid 是在上坡还是下坡。

nums[mid] 比右邻居小，是上坡，更高的峰在右侧。丢掉 mid 及左边（变灰那段），左指针跳到 l=8。

左右指针相遇在下标 8，区间收成一个点。这里的 nums[8] = 17 比左右邻居都大，就是要找的峰值。

三个高频追问：无序也能二分的本质、多峰返回哪个、相邻不等条件的作用。