二分查找算法的基本思想包括什么