二分查找是减而治之的典型。
将一个规模较大的问题，划分为规模较小的两个问题来解决。
第一次方法：将问题平分，遇到比中点小或比中点大继续递归，遇到等于中点直接返回。因为两个分支的比较次数不同，这种等分其实是不平衡的。
第二种方法：将问题按照斐波那契数进行分割，使需要比较次数少的分支子问题的规模比比较次数多的大。这样实质上对二分查找进行了平衡。
第三种方法：将问题严格平分，将中点划入一个分支中。这样使两个分支的比较次数相同，实现平衡。这种方法的缺点是遇到中点需要继续比较划分下去，直到最后。并且这种方法需要在规模非常庞大的时候才能看出效果。