二分查找的前提条件是