二分查找算法思路、示例和实现