问题如下:
给定一个数组A,其中有一个位置被称为Magic Index,含义是:如果i是Magic Index,则A[i] = i。假设A中的元素递增有序、且不重复,请给出方法,找到这个Magic Index。更进一步,当A中允许有重复的元素,该怎么办呢?
看到这个问题,我第一反应遍历一遍不就可以解决了吗?算法复杂度O(n),但是一想,这么简单的题应该还有陷阱,我们发现题目中告诉我们有一个条件A中的元素递增有序,记得曾经有个面试老师告诉我,如果你发现题目中给你的数据是有序的,且有范围,第一反应应该是使用二分法求解,那么此题就可以用二分法解决,复杂度降为O(nlogn)。
下面我们考虑,如果元素不重复的情况,如何二分查找。元素不重复,如果有A[mid] == mid,那么直接返回,当A[mid]>mid时,我们只需要查找下标小于mid的元素是否有A[mid] == mid,因为元素递增有序且不重复,那么必有i>mid时,A[i]-i>=A[mid]-mid>0,同理对于A[mid]<mid的情况只需查找右半边元素。
那么,对于有重复元素的情况怎么办呢?当A[mid] == mid,那么直接返回;但是当A[mid]>mid时,我们不仅仅需要查找下标小于mid的元素是否有A[mid] == mid,还需要查找小标大于mid的元素是否存在,因为有可能存在这种情况A={-1,-1,0,4,4,4,4},这样的情况下我们就必须两遍同时查找,下面将代码附在后面。
#include<iostream>
using namespace std;
int magicIndex1(int A[],int low,int high){//无重复元素情况
int mid = low+(high-low)/2;
if(A[mid] == mid){
return mid;
}
else if(A[mid] > mid){//如果A[mid]>mid,则用所有所有mid的元素都不可能存在A[i]==i
//因为元素递增有序且无重复元素
return magicIndex1(A,low,mid-1);
}
else{
//原理同上
return magicIndex1(A,mid+1,high);
}
}
int magicIndex2(int A[],int low, int high){//有重复元素情况
if(high < low )
return -1;
int mid = low+(high-low)/2;
if(A[mid] == mid){
return mid;
}
else{
int left = magicIndex2(A,low,mid-1);
int right = magicIndex2(A,mid+1,high);
if(left != -1)
return left;
else
return right;
}
}
int main(){
int A[5]={-1,1,1,2,3};//{-1,0,1,2,4};
//cout<<magicIndex1(A,0,4)<<endl;
cout<<magicIndex2(A,0,4)<<endl;
return 0;
}