山脉数组的峰顶索引

下面 9 步动画会按主解代码推进，而不是泛泛讲题型。

1. 读入山脉数组：山脉数组先升后降，要找峰顶下标。本例 [1,3,5,6,4,2,0]，峰是 6（下标 3）。

2. 初始化 l,r：二分边界 l=0、r=6。利用单调性：比较 arr[mid] 与 arr[mid+1] 判断在上坡还是下坡。

3. 第1轮 mid=3：mid = (0+6)//2 = 3。比较 arr[3]=6 与 arr[4]=4。

4. 下坡 → r=3：arr[3]=6 不小于 arr[4]=4，mid 处于峰顶或下坡，峰在 mid 或其左边，r = mid = 3。

5. 第2轮 mid=1：mid = (0+3)//2 = 1。比较 arr[1]=3 与 arr[2]=5。

6. 上坡 → l=2：arr[1]=3 小于 arr[2]=5，还在上坡，峰在右边，l = mid+1 = 2。

7. 第3轮 mid=2：mid = (2+3)//2 = 2。比较 arr[2]=5 与 arr[3]=6。

8. 上坡 → l=3：arr[2]=5 小于 arr[3]=6，仍在上坡，l = mid+1 = 3。

9. 收敛, 返回峰顶 3：l = r = 3，循环结束。峰顶下标是 3（值 6）。二分每轮砍半，O(log n)。

记住这题的代码骨架：题意约束先落到状态变量，再用循环或递归维护它。