LeetCode 33 - 搜索旋转排序数组

题目描述
假设按照升序排序的数组在预先未知的某个点上进行了旋转。
( 例如，数组 [0,1,2,4,5,6,7] 可能变为 [4,5,6,7,0,1,2] )。
搜索一个给定的目标值，如果数组中存在这个目标值，则返回它的索引，否则返回 -1 。
你可以假设数组中不存在重复的元素。
你的算法时间复杂度必须是 O(log n) 级别。
示例 1:
输入: nums = [4,5,6,7,0,1,2], target = 0
输出: 4
示例 2:
输入: nums = [4,5,6,7,0,1,2], target = 3
输出: -1

解法：二分（C++）

题目要求时间的复杂度为 $\mathcal{O}(logn)$，显然需要以二分搜索为基本思路

注意到原数组为有限制的有序数组（除了在某个点会突然下降外均为升序数组）

• if nums[0] <= nums[i] 那么 nums[0] 到 nums[i] 为有序数组,那么当 nums[0] <= target <= nums[i] 时我们应该在 0-i 范围内查找 ；
  
• if nums[i] < nums[0] 那么在 0-i 区间的某个点处发生了下降（旋转），那么 i+1 到最后一个数字的区间为有序数组，并且所有的数字都是小于 nums[0] 且大于 nums[i]，当 target <= nums[i] < nums[0] or nums[i] < nums[0] <= target 时，我们也应该在 0-i 区间内查找
  
  
  上述三种情况可以总结如下：

nums[0] <= target <= nums[i]
　　　　　target <= nums[i] < nums[0]
　　　　　　　　　nums[i] < nums[0] <= target

所以我们进行三项判断：

(nums[0] <= target) 记为 $A$， nums[i] < nums[0])记为 $B$，(target <= nums[i])记为 $C$，(现在我们想知道这三项中有哪两项为真（显然不能三项都为真或都为假），所以我们只需要区别出这三项中有两项真还是一项真，使用异或操作可以轻松得到上述结果（两项为真时异或结果为０，一项为真时异或结果为真），之后我们通过二分不断缩小 target 可能位于的区间直到 low==high，此时如果 nums[low]==target 则找到了，如果不等则说明该数组里没有此项

为了编程方便，我们取 nums[0] > target （$\overline{A}$），nums[mid] < nums[0] （$B$)，target > nums[mid] ($\overline{C}$) 三项均为真或者只有一项为真时向后规约

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int low = 0, high = nums.size()-1;
        while(low<high)
        {
            int mid = (low+high)/2;
            if((nums[0]>target)^(nums[0]>nums[mid])^(target>nums[mid]))
                low = mid + 1;
            else high = mid;
        }
        return low==high && nums[low]==target?low:-1;
    }
};