13.3.2 二分法迭代算法