二进制分组的上界为k个点中的编号最大值（本蒟蒻太菜了，debug了半天这个）