二分查找算法的基本思想包括哪些