斐波那契查找
斐波那契查找就是在二分查找的基础上根据斐波那契数列进行分割的。在斐波那契数列找一个等于略大于查找表中元素个数的数F[n],将原查找表扩展为长度为Fn,完成后进行斐波那契分割,即F[n]个元素分割为前半部分F[n-1]个元素,后半部分F[n-2]个元素,找出要查找的元素在那一部分并递归,直到找到。
定义
斐波那契查找也是有序查找的一种,它是利用黄金分割原理来实现的。该查找方法的精髓在于采用最接近查找长度的斐波那契数值来确定拆分点。
斐波那契数列
既然叫斐波那契查找,首先得弄明白什么是斐波那契数列。相信大家对这个著名的数列也并不陌生,无论是C语言的循环、递归,还是高数的数列,斐波那契数列都是一个重要的存在。而此处主要是用到了它的一条性质:前一个数除以相邻的后一个数,比值无限接近黄金分割。
斐波那契数列指的是这样一个数列 1,1,2,3,5,8,13, 21,34,55, 89,144,233……这个数列从第3项开始,每一项都等于前两项之和。如果我们用数学函数来定义是:
当数列趋向于无穷大时,前一项与后一项的比值越来越逼近黄金分割0.618(或者说后一项与前一项的比值小数部分越来越逼近0.618)。
1÷1=1,1÷2=0.5,2÷3=0.666…,3÷5=0.6,5÷8=0.625…,55÷89=0.617977…,144÷233=0.618025…,越到后面,这些比值越接近黄金比。
斐波那契查找原理
斐波那契查找是一种在有序表中高效查找指定元素的算法,比折半查找要复杂一些,主要复杂在要多做不少准备工作。下面看它的工作流程:
- 计算并保存一个斐波那契序列的数组,方便以后取值。数组名记为F,例如F[1]=1,F[2]=1,F[3]=2,F[4]=3,F[5]=5,F[6]=8,F[7]=13,F[8]=21
- 把有序数组的长度扩充到A.length=F[k]-1,k是满足条件的最小值,比如数组长度为13,那么就把它长度扩充到F[8]-1=20,所有在末尾添加的扩充元素都是原数组最后一个元素的复制品。
- 找到mid元素,不断进行二分比较,直到找到目标元素为止,这一步的做法与折半查找一模一样,仅仅是计算mid的公式从(low+high)/2改为low+(F[k-1]-1)。
举个例子来讲,现有长度为9的数组,要对它进行拆分,对应的斐波那契数列(长度先随便取,只要最大数大于9即可){1,1,2,3,5,8,13,21,34},不难发现,大于9且最接近9的斐波那契数值是f[6]=13,为了满足所谓的黄金分割,所以它的第一个拆分点应该就是f[6]的前一个值f[5]=8,即待查找数组array的第8个数,对应到下标就是array[7],依次类推。
推演到一般情况,假设有待查找数组array[n]和斐波那契数组F[k],并且n满足n>=F[k]-1&&n<F[k+1]-1,则它的第一个拆分点middle=F[k]-1。
这里得注意,如果n刚好等于F[k]-1,待查找数组刚好拆成F[k-1]和F[k-2]两部分,那万事大吉你好我好;然而大多数情况并不能尽人意,n会小于F[k]-1,这时候可以拆成完整F[k-1]和残疾的F[k-2]两部分,那怎么办呢?
聪明的前辈们早已想好了解决办法,对了,就是补齐,用最大的数来填充F[k-2]的残缺部分,如果查找的位置落到补齐的部分,那就可以确定要找的那个数就是最后一个最大的了。
代码实现
1 | public class FbonacciSearch { |
总结
斐波那契查找算法的核心在于:
- 当 key=a[mid]时,查找就成功;
- 当 key<a[mid)时,新范围是第 Iow 个到第 mid-l 个,此时范围个数为 F[k-1]-1 个;
- 当 key>a[mid]时,新范围是第 m+l 个到第 high 个,此时范围个数为 F[k-2] -1 个。
也就是说,如果要查找的记录在右侧,则左侧的数据都不用再判断了,不断反复进行下去,对处于当中的大部分数据,其工作效率要高一些。所以尽管斐波那契查找的时间复杂也为0(logn), 但就平均性能来说,斐波那契查找要优于折半查找。可惜如果是最坏情况,比如这里 key=l , 那么始终都处于左侧长半区在查找,则查找效率要低于折半查找。