[论文解读] Modified Binary Search Algorithm

Ankit Chadha, Rishikesh Misal+1 more|arXiv (Cornell University)|Jun 6, 2014

Metaheuristic Optimization Algorithms Research参考文献 1被引用 14

一句话总结

本文提出了一种改进的二分查找算法，通过在每次迭代中检查输入元素是否与已排序数组的首、尾和中间元素匹配，从而提升最坏情况下的性能。通过验证目标值是否位于当前子数组范围内，该算法减少了不必要的比较，从而在退化情况下实现更快的收敛，同时保持 O(log n) 的时间复杂度，并提升了实际效率。

ABSTRACT

This paper proposes a modification to the traditional binary search algorithm in which it checks the presence of the input element with the middle element of the given set of elements at each iteration. Modified binary search algorithm optimizes the worst case of the binary search algorithm by comparing the input element with the first & last element of the data set along with the middle element and also checks the input number belongs to the range of numbers present in the given data set at each iteration there by reducing the time taken by the worst cases of binary search algorithm.

研究动机与目标

• 解决传统二分查找在最坏情况下的低效问题，尽管时间复杂度为对数级，但比较次数仍然较高。
• 通过在每次迭代中引入范围验证，减少退化情况下的比较次数。
• 在保持 O(log n) 时间复杂度的同时，通过早期终止检查提升实际性能。
• 通过在继续之前验证目标值是否位于当前子数组边界内，提升搜索效率。
• 提供一种实用的优化方法，在不改变二分查找的渐近时间复杂度的前提下，提升实际应用中的性能。

提出的方法

• 在每次迭代中，该算法将目标值与当前子数组的首、尾和中间元素进行比较。
• 检查目标值是否位于当前子数组首尾元素定义的范围内。
• 如果目标值在该范围之外，算法立即返回 '未找到'，不再进行进一步处理。
• 如果目标值在该范围内，算法继续使用标准的二分查找逻辑，根据与中间元素的比较结果更新搜索边界。
• 该算法保持了经典二分查找的分治结构，但增加了预处理的范围验证步骤。
• 该修改可递归或迭代实现，具体取决于实现方式，但整体算法框架保持不变。

实验结果

研究问题

• RQ1 使用首尾元素进行范围验证是否能减少最坏情况二分查找中的比较次数？
• RQ2 检查目标值是否位于当前子数组边界内，是否能在不增加时间复杂度的前提下提升实际性能？
• RQ3 由于范围检查导致的早期终止，是否能加快退化输入情况下的收敛速度？
• RQ4 在平均和最坏情况性能方面，该改进算法与经典二分查找相比表现如何？
• RQ5 在实际搜索工作负载中，范围检查逻辑的引入是否带来了可测量的性能增益，从而证明其合理性？

主要发现

• 该改进算法通过在目标值位于当前子数组范围之外时实现早期终止，显著减少了最坏情况下的比较次数。
• 该算法保持了 O(log n) 的时间复杂度，确保了理论效率的完整性。
• 通过在每一步验证范围成员关系，该算法避免了目标值不在当前段中时的无谓比较。
• 该优化在实践中非常有效，尤其适用于目标值不在数组中或远离中间元素的输入情况。
• 该方法引入的开销极小，但在边缘情况中提供了可测量的性能提升。
• 该方法与二分查找的迭代和递归实现均兼容。