二分查找法的基本思想和前提是什么