在二分查找算法中，其前提是数组必须满足什么条件？

二分查找算法要求数组是有序的，通常是升序排列。只有升序或降序排列才能保证每次查找都能缩小范围。