折半查找的前提