在计算机科学中，二分查找算法（），也称折半搜索算法（）、对数搜索算法（），是一种在有序数组中查找某一特定元素的搜索算法。搜索过程从数组的中间元素开始，如果中间元素正好是要查找的元素，则搜索过程结束；如果某一特定元素大于或者小于中间元素，则在数组大于或小于中间元素的那一半中查找，而且跟开始一样从中间元素开始比较。如果在某一步骤数组为空，则代表找不到。这种搜索算法每一次比较都使搜索范围缩小一半。二分查找算法在下是对数时间复杂度的，需要进行formula_1次比较操作（formula_2在此处是数组的元素数量