；如果目标值小于中位元素，则搜索继续在前半部分的数组中进行。如果目标值大于中位元素，则搜索继续在数组上部分进行。由此，算法每次排除掉至少一半的待查数组。
步骤.给予一个包含formula_5个带值元素的阵列formula_6或是记录formula_7，使formula_8，以及目标值formula_9，还有下列用来搜寻formula_9在formula_6中位置的子程式。这个叠代步骤会持续透过两个变数追踪搜索的边界。有些实际应用会在演算法的最后放入相等比较，让比较回圈更快，但平