二分，最小化最大值(分块）