剑指Offer学习总结-旋转数组的最小数字

剑指Offer学习总结-旋转数组的最小数字

本系列为剑指Offer学习总结，主要是代码案例的分析和实现：
书籍链接：http://product.dangdang.com/24242724.html
原作者博客：http://zhedahht.blog.163.com/blog/static/254111742011101624433132/
原作者博客链接有完整的项目代码下载。

---

旋转数组的最小数字

题目

题目：把一个数组最开始的若干个元素搬到数组的末尾， 我们称之为数组的旋转。
输入一个递增排序的数组的一个旋转， 输出旋转数组的最小元素。
例如数组{3,4,5,1,2}为{1,2,3,4,5}的一个旋转， 该数组的最小值为1。

最直观的解法：

从头到尾遍历数组一次， 我们就能找出最小的元素。 这种思路的时间复杂度显然是 0(n)
但是这个思路没有利用输入的旋转数组有序的特性。
我们来想办法利用一下数组有序的特点。

思路的改进分析：

旋转之后的数组实际上可以划分为两个排序的子数组，
而且前面的子数组的元素都大于或者等于后面了数组的元素。
我们还注意到最小的元素刚好是这两个子数组的分界线。
在排序的数组中我们可以用二分查找法实现 O(logn)的査找。

和二分査找法一样， 我们用两个指针分别指向数组的第一个元素和最后一个元素。
按照题目旋转的规则，第一个元素应该是大于或者等于最后一个元素的
（ 这其实不完全对， 还有特例初始状态， 后面再加以讨论 )

接着我们可以找到数组中间的元素。 根据中间元素的大小来进行下一步范围的缩减。
这部分的分析可以利用折线图来帮助理解。注意判断过程中隐形条件是第一个元素大于等于最后一个元素的。
比较中间元素和数组第一个指针元素的大小，(或者与第二个指针元素进行比较)
如果大于，说明数组最小元素应该在中间元素的后边
如果等于，说明数组最小元素位于中间元素的左边或者是中间数值。
如果小于，说明数组最小元素应该在中间元素的左边或者中间数值。

比较中间元素和数组第二个指针元素的大小
如果大于，说明数组最小元素应该在中间元素的后边
如果等于，说明数组最小元素位于中间元素的左边或者是中间数值。
如果小于，说明数组最小元素应该在中间元素的左边或者中间数值。

此时我们可以缩小下一步操作的范围，然后重复上边的操作。

特例初始递增不变的情况下，不能用上边的规律，所以我们单独考虑。
还有第一个指针和第二个指针以及中间数值都相等的时候，我们单独考虑。

以前面的数组{3,4,5, 1,2}为例， 我们先把第一个指针指向第 0 个元素 ,把第二个指针指向第 4 个元素
如图 (a) 所示, 位于两个指针中间（在数组中的下标是 2）的数字是 5,
它大于第一个指针指向的数字3, 因此中间间数字 5 —定位于第一个递增数组中， 并且最小的数字一定位于它的后面。
因此我们可以移动第一个指针让它指向数组的中间 (图 (b) 所示)。
此时位于这两个指针中间 （在数组中的下标是 3) 的数字是 1，它小于第二个指针指向的数字。
因此这个中间数字 1， 一定位于第二个递增数组中， 并且最小的数字一定位于它的前而或者它自己就是最小的数字。
因此，我们可以移动第二个指针指向两个指针中间的元素即下标为 3 的元素（ 如图 (c) 所示）

完整的代码

int Min(int* numbers, int length)
{
    if(numbers == NULL || length <= 0)
        throw new std::exception("Invalid parameters");

    int index1 = 0;
    int index2 = length - 1;
    int indexMid = index1;//如果是初始化没有旋转的情况 直接返回第一个
    while(numbers[index1] >= numbers[index2])
    {
        // 如果index1和index2指向相邻的两个数，
        // 则index1指向第一个递增子数组的最后一个数字，
        // index2指向第二个子数组的第一个数字，也就是数组中的最小数字
        if(index2 - index1 == 1)
        {
            indexMid = index2;
            break;
        }

        // 如果下标为index1、index2和indexMid指向的三个数字相等，
        // 则只能顺序查找
        indexMid = (index1 + index2) / 2;
        if(numbers[index1] == numbers[index2] && numbers[indexMid] == numbers[index1])
            return MinInOrder(numbers, index1, index2);

        // 缩小查找范围
        if(numbers[indexMid] >= numbers[index1])
            index1 = indexMid;
        else if(numbers[indexMid] <= numbers[index2])
            index2 = indexMid;
    }

    return numbers[indexMid];
}

int MinInOrder(int* numbers, int index1, int index2)
{
    int result = numbers[index1];
    for(int i = index1 + 1; i <= index2; ++i)
    {
        if(result > numbers[i])
            result = numbers[i];
    }

    return result;
}