Poj   AcWing

Description

给定一个长度为N的序列 A,要求把该序列分成若干段,在满足“每段中所有数的和”不超过M的前提下,让“每段中所有数的最大值”之和最小.

N<=105,M<=1011,0<Ai<=106

Sol

一篇比较清楚的题解 $OvO$

$F[i]$表示把前$i$个数分成若干段,满足每段中所有数之和不超过$M$的前提下,各段的最大值之和的最小值

不难推出转移方程:

但是直接枚举$j$的做法是$O(N^{2})$的,显然过不去,还要优化.

DP转移优化的指导思想是及时排除不可能的决策,保持候选集合的高度有效性和秩序性.

本着这个思想我们来思考怎样的j可能成为最优解.

$j$要满足一下两个条件之一才有可能成为最优解:

1.$A[j+1]=max\ Ak$

2.$\sum_{k=j}^{i}Ak>M$ 即: j是满足区间和小于等于$M$的最小下标

证明,反证法:

假设以上条件都不成立

由以上条件可知$[j,i]$和$[j-1,i]$的区间都是满足题意(区间和$<=M$)且区间最大值相等

又因为显然有$F[j-1]$≤$F[j]$

所以$F[j-1]+max{Ak}<F[j]+max{Ak}$

$j-1$比$j$更优,$j$不可能是最优的

第$1$个条件显然可以维护一个$j$递增,$Aj$递减的单调队列

第$2$个条件的$j$也显然是递增的,所以就维护一个$nw$表示对于当前i满足该条件的$j$,$i+1$时,检查$nw$是否还满足区间和$>M$,满足就$nw++$.至于$max\ Ak$,当然可以用$ST$表预处理出来,但是其实不用辣么麻烦,因为对于每一个$i$,我们都会算出满足条件$1$ 的 $j$,然后它就是最大值丫,就可以直接更新答案了.

Code

#include<iostream>
#include<cstdio>
#define il inline
#define Rg register
#define go(i,a,b) for(Rg int i=a;i<=b;i++)
#define yes(i,a,b) for(Rg int i=a;i>=b;i++)
#define ll long long
using namespace std;
il int read()
{
int x=,y=;char c=getchar();
while(c<''||c>''){if(c=='-')y=-;c=getchar();}
while(c>=''&&c<=''){x=(x<<)+(x<<)+c-'';c=getchar();}
return x*y;
}
int n,a[],q[],f[];
ll m,s[];
int main()
{
n=read(),scanf("%lld",&m);
go(i,,n){a[i]=read();s[i]=s[i-]+a[i];if(a[i]>m){printf("-1");return ;}}
int nw=,h=,t=;
go(i,,n)
{
while(s[i]-s[nw-]>m)nw++;
while(h<=t && q[h]<nw)h++;
while(h<=t && a[q[t]]<=a[i])t--;
q[++t]=i;
f[i]=f[nw-]+a[q[h]];
go(j,h,t-)f[i]=min(f[i],f[q[j]]+a[q[j+]]);
}
printf("%d\n",f[n]);
return ;
}

随机推荐

  1. Vue电商后台管理系统项目第2天-首页添加表格动态渲染数据&分页

    0x01.使用Github学习的姿势 基于昨天的内容,今天的内容需要添加几个单文件组件,路由文件也需要做相应的增加,今天重点记录使用Element-UI中的表格组件实现数据动态渲染的实现流程和分页功能 ...

  2. oracle中的闪回

    项目中运用: 首先说明:闪回方法有一个前提,就是需要尽早的发现问题,果断的采取行动.若误操作的记录已经在UNDO表空间中被清除,则此方法就不可行了,需要另寻他法. 例如: SELECT * FROM ...

  3. vue init定制团队模板使用方法

    每次做项目都要自己搭建项目目录,或者换了公司就的重新搭建项目目录,是不是很麻烦呢?有没有想过一次性把项目目录搭建好,以后直接用呢?你首先想到的可能是复制自己原来的项目,然后删除.修改等等.然而有个更方 ...

  4. Rikka with Mista 线段树求交点个数

    由于上下线段是不可能有交点的 可以先看左右线段树,按照y递增的顺序,对点进行排序. 升序构造,那么对于从某一点往下的射线,对于L,R进行区间覆盖,线段交点个数就是单点的被覆盖的次数. 降序构造,那么对 ...

  5. 2018-8-10-C#-代码占用的空间

    title author date CreateTime categories C# 代码占用的空间 lindexi 2018-08-10 19:16:52 +0800 2018-2-13 17:23 ...

  6. H5 新增表单属性和事件

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...

  7. Acegi框架介绍

    开发四年只会写业务代码,分布式高并发都不会还做程序员?->>>        概述     对于任何一个完整的应用系 统,完善的认证和授权机制是必不可少的.Acegi Securit ...

  8. Vue.js 学习笔记 第7章 组件详解

    本篇目录: 7.1 组件与复用 7.2 使用props传递数据 7.3 组件通讯 7.4 使用slot分发内容 7.5 组件高级用法 7.6 其他 7.7 实战:两个常用组件的开发 组件(Compon ...

  9. linux 禁止单个中断

    有时(但是很少!)一个驱动需要禁止一个特定中断线的中断递交. 内核提供了 3 个函数为 此目的, 所有都声明在 <asm/irq.h>. 这些函数是内核 API 的一部分, 因此我们描述它 ...

  10. linux一个例子驱动

    我们介绍的驱动称为 short (Simple Hardware Operations and Raw Tests). 所有它做 的是读和写几个 8-位 端口, 从你在加载时选择的开始. 缺省地, 它 ...