设n个不同的整数排好序后存于T[1..n]中，若存在一个下标i（1≤ i ≤ n），使得T[i]=i。试设计一个有效算法找到这个下标，要求算法在最坏情形下的计算时间为O(log n)

最新推荐文章于 2024-09-01 09:00:00 发布

转载最新推荐文章于 2024-09-01 09:00:00 发布 · 1.8w 阅读

算法导论专栏收录该内容

35 篇文章

订阅专栏

本文介绍了一种在已排序的不同整数数组中寻找下标i，使得T[i]=i的高效算法。利用二分搜索法，可在O(logn)的时间复杂度内完成查找，并提供了非递归及递归两种实现方式。

转自http://zmp1123.blog.163.com/blog/static/1193291592013314581911/

设n 个不同整数排好序后存于T[0:n-1]中，若存在一个下标i，0≤i＜n，是的T[i]=i，设计一个有效地算法找到这个下标。要求算法在

最坏情况下的计算时间为O(logn)。
算法描述如下：
由于n 个整数是不同的，因此对任意0≤i＜n-1 有T[i]≤T[i+1]-1。
1 对于0＜i＜n，当T[i]>i 时，对任意的i≤j≤n-2 有T[j]≥T[i]+j-i>i+j-i=j。
2 对于0＜i＜n,当T[i]＜i 时，对任意的0≤j≤i 有T[j]≤T[i] -i+j ＜i-i +j =j。
由①和②可知，用二分搜索法可以在O(logn)时间内找到所要的下标。
算法如下：
非递归二分搜索：
Template<class T>
int binarySearch(T a[],int left,int right)
{
int middle;
while(left<=right){
middle=(left+right)/2;//middle=(left+right)>>1;
if(middle==a[middle]) return middle;
if(middle>a[middle]) left=middle+1;
else right=middle-1;
}
return 0;
}
递归二分搜索：
Template<class T>
int FindFixedPoint(T a[],int left,int right)
{
int middle;
middle=(left+right)/2;//middle=(left+right)>>1;
if(left<=right){
if(middle==a[middle]) return middle;
else if(middle>a[middle]) FindFixedPoint(a,middle+1,right);
else FindFixedPoint(a,left,middle-1);
}
return 0;
}