思路(二分查找)
这类属于是本身有序的一个数组,经过旋转操作之后,进行查找的问题。
这道题中,数组本身已经是一个无序的状态,进行了旋转之后只是保证了数组的局部有序,此时我们也可以使用二分查找。
经过观察之后可以发现,经过旋转的数组如果从中间将其分为左右两个数组的时候,一定有一部分的数组是有序的。如题目中的示例,从6这个位置分开之后数组变成了[4,5,6]和[7,0,1,2]两个部分,此时的左半部分数组是有序的,其余数组同理。
我们可以发现,在我们进行二分查找的过程中,可以查看当前mid位置分割出来的两个部分[left,mid]和[mid+1,right]哪个部分是有序的,并根据有序的那个部分确定我们是否应该改变此时二分查找的上下界。 这是因为我们可以根据有序部分判断target在不在其中:
- 如果[left,mid]部分是有序的,并且target大小满足在 [nums[left],nums[mid]) 的话,我们就应该将二分查找的范围缩小至 [left,mid-1] ,否则在 [mid+1,right] 中寻找。
- 如果[mid+1,right]部分是有序的,并且target大小满足在 [nums[mid+1],nums[right]) 的话,我们就应该将二分查找的范围缩小至 [mid+1,right] ,否则在 [left,mid-1] 中寻找。
这里解释一下为什么缩小的范围中没有mid:因为mid会在最开始时被判断是否等于target,如果可以执行到下面这些代码之时,说明nums[mid]一定不是答案,所以当我们使用mid判断完有序区间之后就可以将mid移去了
需要注意的是,二分的写法有很多种,所以在判断 target 大小与有序部分的关系的时候可能会出现细节上的差别。
代码实现(java)
class Solution {
public int search(int[] nums, int target) {
int left = 0;
int right = nums.length - 1;
int mid;
while (left <= right) {
mid = left + (right - left) / 2;
if (nums[mid] == target) return mid;
// 前半部分有序,不要少了=的判断
if (nums[left] <= nums[mid]) {
// 如果target在left到mid的有序范围内,则缩小二分查找范围
if (target >= nums[left] && target < nums[mid]) right = mid - 1;
else left = mid + 1;
} else { // 后半部分有序
if (target > nums[mid] && target <= nums[right]) left = mid + 1;
else right = mid - 1;
}
}
return -1;
}
}