1064. 不动点 🔒
题目描述
给定已经按 升序 排列、由不同整数组成的数组 arr
,返回满足 arr[i] == i
的最小索引 i
。如果不存在这样的 i
,返回 -1
。
示例 1:
输入:arr = [-10,-5,0,3,7] 输出:3 解释:对于给定的数组,arr[0] = -10,arr[1] = -5,arr[2] = 0,arr[3] = 3,因此输出为 3 。
示例 2:
输入:arr = [0,2,5,8,17] 输出:0 解释:arr[0] = 0,因此输出为 0 。
示例 3:
输入:arr = [-10,-5,3,4,7,9] 输出:-1 解释:不存在这样的 i 满足 arr[i] = i,因此输出为 -1 。
提示:
1 <= arr.length < 104
-109 <= arr[i] <= 109
进阶:时间复杂度为 O(n)
的解决方案很直观也很简单。你可以设计更优的解决方案吗?
解法
方法一:二分查找
题目给定的数组是按升序排列的,因此我们可以使用二分查找的方法找出最小的满足 \(arr[i]\) 等于 \(i\) 的下标 \(i\)。
我们定义二分查找的左边界 \(left=0\),右边界 \(right=n-1\)。每一次,我们找到当前的中间位置 \(mid\),如果中间位置满足 \(arr[mid] \geq mid\),那么我们就确定了最小的不动点 🔒 的位置一定不会出现在下标大于 \(mid\) 的位置,因此我们令 \(right=mid\);如果中间位置满足 \(arr[mid] \lt mid\),那么最小的不动点 🔒 一定出现在下标大于 \(mid\) 的位置,因此我们令 \(left=mid+1\)。
最后,如果我们没有找到最小的不动点 🔒,那么我们返回 \(-1\)。
时间复杂度 \(O(\log n)\),其中 \(n\) 是数组的长度。空间复杂度 \(O(1)\)。
1 2 3 4 5 6 7 8 9 10 |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
|
1 2 3 4 5 6 7 8 9 10 11 12 13 |
|