二分——数列分段 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$。

思路分析

这道题是典型的分段问题，又因为如果暴力分，会超时。又因为此时题目问最大值最小，所以我们用二分是个不错的思路，当我们给定要分的区间数，如果满足，我们就缩小范围，细节：我们得用前缀和（$O(1)$）维护，然后看看我们自己给定的区间段数值是否满足题意

代码

#include<iostream>

using namespace std;

typedef long long LL;

const int N = 1e6+10;

LL w[N];
LL s[N];
LL n,m;

bool check(LL x){
    LL cnt=0,now=0;
    for(int i=2;i<=n;i++){
        if(s[i]-s[now]>x){
            cnt++;
            now=i-1;
        }
    }
    if(cnt>=m)return false;
    return true;
}

int main(){
    cin>>n>>m;
    LL l=0;
    for(int i=1;i<=n;i++){
        cin>>w[i];
        s[i]=s[i-1]+w[i];
        l=max(l,(LL)w[i]);
    }
    //注意左边界
    l--;
    LL r=s[n]-1;
    while(l+1!=r){
        LL mid=(l+r)>>1;
        if(check(mid))r=mid;
        else l=mid;
    }
    cout<<r;
    
    return 0;
}