LeetCode 热题 HOT 100 第17天：“搜索旋转排序数组”

继续刷LeetCode 热题 HOT 100 的题目，并且在博客更新我的solutions。在csdn博客中我会尽量用文字解释清楚，相关Java代码大家可以前往我的个人博客jinhuaiyu.com中查看。
题目：搜索旋转排序数组
整数数组 nums 按升序排列，数组中的值 互不相同 。
在传递给函数之前，nums 在预先未知的某个下标 k（0 <= k < nums.length）上进行了 旋转，使数组变为 [nums[k], nums[k+1], …, nums[n-1], nums[0], nums[1], …, nums[k-1]]（下标 从 0 开始 计数）。例如， [0,1,2,4,5,6,7] 在下标 3 处经旋转后可能变为 [4,5,6,7,0,1,2] 。
给你 旋转后 的数组 nums 和一个整数 target ，如果 nums 中存在这个目标值 target ，则返回它的下标，否则返回 -1 。
示例 1：
输入：nums = [4,5,6,7,0,1,2], target = 0
输出：4
示例 2：
输入：nums = [4,5,6,7,0,1,2], target = 3
输出：-1
示例 3：
输入：nums = [1], target = 0
输出：-1
提示：
1 <= nums.length <= 5000
-10^4 <= nums[i] <= 10^4
nums 中的每个值都 独一无二
题目数据保证 nums 在预先未知的某个下标上进行了旋转
-10^4 <= target <= 10^4
进阶：你可以设计一个时间复杂度为 O(log n) 的解决方案吗？

solution：变形的二分查找
对于查找时看到时间复杂度为 O(log n)，首先就会想到二分查找，本体是对升序不重复数组做了一步旋转的处理，我们在二分查找判断下一步在哪侧找时也要做相应的处理。
开始之前，我们要明白什么是旋转，如果中间的数比右端的大，则旋转部分肯定在右端；如果中间的数比右端的小，旋转部分肯定在左端（另外一侧肯定是升序）。此外，我们根据题目可以发现，k=0时是特殊情况，即一个升序数组可以看作在k=0处进行了旋转，这样的话我们就可以把数组左右两侧都看作是被旋转了（其中一边是以k=0进行旋转），两种情况统一。
当nums[mid] == target时，结果就是mid；

当nums[mid] < target时，可分成三种情况：
1、target <= nums[end] && nums[mid] <= nums[end]，前者成立后者必然成立。此时右半侧是升序，如果target存在，一定在右半侧；
2、target > nums[end] && nums[mid] <= nums[end]，此时右半侧还是升序，如果target存在，比右半侧都大，一定在左半侧；
3、target > nums[end] && nums[mid] > nums[end]，右半侧存在旋转，如果target存在，一定右半侧；
由于nums[mid] <= target，所以其他情况不存在，上面1、3情况可以合并为继续在右侧搜索。

当target < nums[mid]时，也可分三种情况：
1、target < nums[mid] <= nums[end]，此时右半侧是升序，如果target存在，一定在左半侧；
2、nums[mid] > nums[end] && target > nums[end]，右半侧存在旋转，如果target存在，一定左半侧；
3、nums[mid] > nums[end] && target <= nums[end]，右半侧还是存在旋转，如果target存在，一定右半侧才满足。
情况1、2可以合并，在左侧继续搜索，除此之外只可能发生情况3。

当然，二分查找也可以用递归做，即每次二分把问题变成子问题（升序列表也可以看成被旋转了的）。

Finally，带有详细注释的代码放在我的个人博客http://jinhuaiyu.com/leetcode-search-in-rotated-sorted-array/