数列分段 Section II

数列分段 Section II

题目描述

对于给定的一个长度为N的正整数数列 $A_{1\sim N}$，现要将其分成 $M$（$M\le N$）段，并要求每段连续，且每段和的最大值最小。

关于最大值最小：

例如一数列 $42451$ 要分成 $3$ 段。

将其如下分段：

$$[42][45][1]$$

第一段和为 $6$，第 $2$ 段和为 $9$，第 $3$ 段和为 $1$，和最大值为 $9$。

将其如下分段：

$$[4][24][51]$$

第一段和为 $4$，第 $2$ 段和为 $6$，第 $3$ 段和为 $6$，和最大值为 $6$。

并且无论如何分段，最大值不会小于 $6$。

所以可以得到要将数列 $42451$ 要分成 $3$ 段，每段和的最大值最小为 $6$。

输入格式

第 $1$ 行包含两个正整数 $N,M$。

第 $2$ 行包含 $N$ 个空格隔开的非负整数 $A_i$，含义如题目所述。

输出格式

一个正整数，即每段和最大值最小为多少。

样例 #1

样例输入 #1

5 3
4 2 4 5 1

样例输出 #1

6

提示

对于 $20\%$ 的数据，$N\le 10$。

对于 $40\%$ 的数据，$N\le 1000$。

对于 $100\%$ 的数据，$1\le N\le 10^5$，$M\le N$，$A_i<10^8$， 答案不超过 $10^9$。

代码

#include <iostream>
using namespace std;

const int N = 100010;

int n, m;
int a[N];

bool check(int mid) {
    int cnt = 1; // 组数最少为 1
    int sum = 0;
    for (int i = 0; i < n; ++i) {
        if (a[i] > mid) return false; // 如果有一个数超过 mid，就不符合条件
        if (sum + a[i] <= mid) { // 如果继续加入 a[i]，仍不超过 mid，则把 a[i] 加入当前组
            sum += a[i];
        } else { // 否则需要将上一个组结束，并重新准备一个新组
            cnt++;
            sum = a[i];
        }
    }
    return cnt <= m; // 数组能被分成不超过 m 组，说明此时 mid 是可行的最大解
}

int main() {
    cin >> n >> m;
    int l = 1, r = 0;
    for (int i = 0; i < n; ++i) {
        cin >> a[i];
        r += a[i]; // 最大值即为所有元素之和
    }
    while (l < r) {
        int mid = (l + r) >> 1;
        if (check(mid)) r = mid;   // 如果 mid 可行，尝试更小的值
        else l = mid + 1;   // 否则尝试更大的值
    }
    cout << r << endl;
    return 0;
}

check:如果最终成功将整个数组分为不超过 m 组，则认为此时 mid 可行，返回 true。注意，如果在遍历过程中出现了一个元素 a[i] 大于 mid，则数组无法被分解成不超过 m 组，直接返回 false。
if (a[i] > mid) return false;如果没有此行，l的值应为l = max(l,a[i]);