首页 星云 工具 资源 星选 资讯 热门工具
:

PDF转图片 完全免费 小红书视频下载 无水印 抖音视频下载 无水印 数字星空

P5665 [CSP-S2019] 划分

编程知识
2024年08月01日 21:04

思路:

首先求出 \(a\) 的前缀和数组 \(s\)

考虑动态规划,令 \(dp_{i,j}\) 表示以 \(i\) 结尾,末尾有 \(j\) 个为一组的最小答案,则状态转移方程为:

\[dp_{i,j} = \min [s_{i-j}-s_{i-j-k} \le s_i - s_{i-j}] dp_{i-j,k} + (s_i - s_{i-j})^2 \]

朴素直接转移是 \(O(N^3)\) 的,可以得到 36pts 的好成绩代码就懒的给了

考虑优化,对于求出最小的一个 \(k\),使得 \(s_{i-j}-s_{i-j-k} > s_i - s_{i-j}\),那么状态转移方程为:

\[dp_{i,j} = (s_i - s_{i-j})^2 + \min\limits_{l=1}^k dp_{i-j,l} \]

后面的一串可以提前前缀预处理好,现在的复杂度在求 \(k\) 上,注意到 \(s_{i,j} - s_{i-j-k}\) 是单调的,那么直接二分即可。

时间复杂度优化至 \(O(N^2 \log N)\)

$O(N^2 \log N)$ 代码
#include<bits/stdc++.h>
#define Add(x,y) (x+y>=mod)?(x+y-mod):(x+y)
#define lowbit(x) x&(-x)
#define pi pair<ll,ll>
#define pii pair<ll,pair<ll,ll>>
#define iip pair<pair<ll,ll>,ll>
#define ppii pair<pair<ll,ll>,pair<ll,ll>>
#define fi first
#define se second
#define full(l,r,x) for(auto it=l;it!=r;it++) (*it)=x
#define Full(a) memset(a,0,sizeof(a))
#define open(s1,s2) freopen(s1,"r",stdin),freopen(s2,"w",stdout);
using namespace std;
typedef double db;
typedef unsigned long long ull;
typedef long long ll;
bool Begin;
const ll N=5050,INF=4e18;
inline ll read(){
    ll x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9'){
        if(c=='-')
          f=-1;
        c=getchar();
    }
    while(c>='0'&&c<='9'){
        x=(x<<1)+(x<<3)+(c^48);
        c=getchar();
    }
    return x*f;
}
inline void write(ll x){
	if(x<0){
		putchar('-');
		x=-x;
	}
	if(x>9)
	  write(x/10);
	putchar(x%10+'0');
}
bool op;
ll n,l,r,h,t,ans=INF;
ll s[N],dp[N][N],f[N][N];
ll get(ll l,ll r){
	if(l>r)
	  return 0;
	if(!l)
	  return s[r];
	return s[r]-s[l-1];
}
bool End;
int main(){
	n=read(),op=read();
	for(int i=1;i<=n;i++)
	  s[i]=s[i-1]+read();
	dp[1][0]=f[1][0]=INF;
	dp[1][1]=f[1][1]=s[1]*s[1];
	for(int i=2;i<=n;i++){
		f[i][0]=dp[i][0]=INF;
		for(int j=1;j<=i;j++){
			l=1,r=i-j,t=0,h=get(i-j+1,i);
			if(s[i-j]<=h)
			  t=i-j+1;
			else{
				while(l<=r){
					ll mid=(l+r)>>1;
					if(get(i-j-mid+1,i-j)>h){
						t=mid;
						r=mid-1;
					}
					else
					  l=mid+1;
				}
			}
			dp[i][j]=f[i-j][t-1]+h*h;
			f[i][j]=min(f[i][j-1],dp[i][j]);
		}
	}
	for(int i=1;i<=n;i++)
	  ans=min(ans,dp[n][i]);
	write(ans);
	cerr<<'\n'<<abs(&Begin-&End)/1048576<<"MB";
	return 0;
}

之后我们可以发现,若 \(j\) 的单增的,则 \(i-j-k+1\) 是单降的,那么我们直接对 \(k\) 进行走指针即可,时间复杂度优化至 \(O(N^2)\),可以拿到 64pts 的好成绩。

$O(N^2)$ 代码
#include<bits/stdc++.h>
#define Add(x,y) (x+y>=mod)?(x+y-mod):(x+y)
#define lowbit(x) x&(-x)
#define pi pair<ll,ll>
#define pii pair<ll,pair<ll,ll>>
#define iip pair<pair<ll,ll>,ll>
#define ppii pair<pair<ll,ll>,pair<ll,ll>>
#define fi first
#define se second
#define full(l,r,x) for(auto it=l;it!=r;it++) (*it)=x
#define Full(a) memset(a,0,sizeof(a))
#define open(s1,s2) freopen(s1,"r",stdin),freopen(s2,"w",stdout);
using namespace std;
typedef double db;
typedef unsigned long long ull;
typedef long long ll;
bool Begin;
const ll N=5050,INF=4e18;
inline ll read(){
    ll x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9'){
        if(c=='-')
          f=-1;
        c=getchar();
    }
    while(c>='0'&&c<='9'){
        x=(x<<1)+(x<<3)+(c^48);
        c=getchar();
    }
    return x*f;
}
inline void write(ll x){
	if(x<0){
		putchar('-');
		x=-x;
	}
	if(x>9)
	  write(x/10);
	putchar(x%10+'0');
}
bool op;
ll n,t,h,sum,ans=INF;
ll s[N],a[N],dp[N][N],f[N][N];
ll get(ll l,ll r){
	if(l>r)
	  return 0;
	if(!l)
	  return s[r];
	return s[r]-s[l-1];
}
bool End;
int main(){
	n=read(),op=read();
	for(int i=1;i<=n;i++){
		a[i]=read();
		s[i]=s[i-1]+a[i];
	}
	dp[1][0]=f[1][0]=INF;
	dp[1][1]=f[1][1]=s[1]*s[1];
	for(int i=2;i<=n;i++){
		f[i][0]=dp[i][0]=INF;
		t=i-1,sum=a[i-1];
		for(int j=1;j<=i;j++){
			ll h=get(i-j+1,i);
			while(sum<=h&&t){
				t--;
				sum+=a[t];
			}
			dp[i][j]=f[i-j][i-j-t]+h*h;
			f[i][j]=min(f[i][j-1],dp[i][j]);
			sum-=a[i-j];
		}
	}
	for(int i=1;i<=n;i++)
	  ans=min(ans,dp[n][i]);
	write(ans);
	cerr<<'\n'<<abs(&Begin-&End)/1048576<<"MB";
	return 0;
}

因为我们这种 dp 的状态数都已经达到了 \(N^2\),于是考虑找一些性质。

容易打表发现在合法情况下,满足 \(dp_{i,j} \le dp_{i,j+1}\)

那么我们可以找到每个位置 \(i\),记录一下 \(f_i\) 表示 \(\min dp_{i,j}\),且最后一段为 \([g_i,i]\),则状态转移方程为:

\[f_i = \min\limits_{j=0}^{i-1} [s_j-s_{g_j-1} \le s_i - s_j] f_j + (s_i - s_j)^2 \]

此时我们就将状态时将至 \(O(N)\) 级别,现在考虑来优化状态转移方程。

$O(N)$ 状态代码
#include<bits/stdc++.h>
#define Add(x,y) (x+y>=mod)?(x+y-mod):(x+y)
#define lowbit(x) x&(-x)
#define pi pair<ll,ll>
#define pii pair<ll,pair<ll,ll>>
#define iip pair<pair<ll,ll>,ll>
#define ppii pair<pair<ll,ll>,pair<ll,ll>>
#define fi first
#define se second
#define full(l,r,x) for(auto it=l;it!=r;it++) (*it)=x
#define Full(a) memset(a,0,sizeof(a))
#define open(s1,s2) freopen(s1,"r",stdin),freopen(s2,"w",stdout);
using namespace std;
typedef double db;
typedef unsigned long long ull;
typedef long long ll;
bool Begin;
const ll N=5e5+10,INF=4e18;
inline ll read(){
    ll x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9'){
        if(c=='-')
          f=-1;
        c=getchar();
    }
    while(c>='0'&&c<='9'){
        x=(x<<1)+(x<<3)+(c^48);
        c=getchar();
    }
    return x*f;
}
inline void write(ll x){
	if(x<0){
		putchar('-');
		x=-x;
	}
	if(x>9)
	  write(x/10);
	putchar(x%10+'0');
}
bool op;
ll n,t,h,ans=INF;
ll s[N],a[N],f[N],g[N];
ll get(ll l,ll r){
	if(l>r)
	  return 0;
	if(l<0)
	  return s[r];
	return s[r]-s[l-1];
}
bool End;
int main(){
	n=read(),op=read();
	for(int i=1;i<=n;i++){
		a[i]=read();
		s[i]=s[i-1]+a[i];
		f[i]=INF;
	}
	g[1]=1;
	f[0]=g[0]=0;
	f[1]=s[1]*s[1];
	for(int i=2;i<=n;i++){
		for(int j=0;j<i;j++){
			h=get(g[j],j),t=get(j+1,i);
			if(h>t)
			  continue;
			if(f[j]+t*t<f[i]){
				f[i]=f[j]+t*t;
				g[i]=j+1;
			}
		}
	}
	write(f[n]);
	cerr<<'\n'<<abs(&Begin-&End)/1048576<<"MB";
	return 0;
}

容易发现,当 \(j\) 最大时,这个式子的值最小,所以我们需要求出一个最大的 \(j\) 满足 \(s_j-s_{g_j-1} \le s_i - s_j\),即:

\[2s_j - s_{g_j-1} \le s_i \]

注意到 \(s_i\) 单增,我们可以维护一个 \(2s_j - s_{g_j-1}\) 单增的单调队列,然后找到这个队列最后一个满足条件的 \(j\),那么 \(j\) 以前的数对答案无法造成贡献,将其弹出。

这样每个数至多被弹出一次,时间复杂度为 \(O(N)\)

完整代码:

#include<bits/stdc++.h>
#define Add(x,y) (x+y>=mod)?(x+y-mod):(x+y)
#define lowbit(x) x&(-x)
#define pi pair<ll,ll>
#define pii pair<ll,pair<ll,ll>>
#define iip pair<pair<ll,ll>,ll>
#define ppii pair<pair<ll,ll>,pair<ll,ll>>
#define fi first
#define se second
#define full(l,r,x) for(auto it=l;it!=r;it++) (*it)=x
#define Full(a) memset(a,0,sizeof(a))
#define open(s1,s2) freopen(s1,"r",stdin),freopen(s2,"w",stdout);
using namespace std;
typedef double db;
typedef unsigned long long ull;
typedef long long ll;
typedef __int128 __;
bool Begin;
const ll N=4e7+5,mod=1ll<<30;
inline ll read(){
    ll x=0,f=1;
    char c=getchar();
    while(c<'0'||c>'9'){
        if(c=='-')
          f=-1;
        c=getchar();
    }
    while(c>='0'&&c<='9'){
        x=(x<<1)+(x<<3)+(c^48);
        c=getchar();
    }
    return x*f;
}
inline void write(__ x){
	if(x<0){
		putchar('-');
		x=-x;
	}
	if(x>9)
	  write(x/10);
	putchar(x%10+'0');
}
__ t,ans;
bool op;
int n,head=1,tail=0;
ll s[N],g[N];
int Q[N];
inline void Read(){
	ll x,y,z,m,p,l,r,pre=0;
	x=read(),y=read(),z=read(),s[1]=read(),s[2]=read(),m=read();
	for(int i=3;i<=n;i++)
	  s[i]=(x*s[i-1]+y*s[i-2]+z)%mod;
	for(int i=1;i<=m;i++){
		p=read(),l=read(),r=read();
		for(int j=pre+1;j<=p;j++)
		  s[j]=(s[j]%(r-l+1))+l;
		pre=p;
	}
}
inline ll get(int l,int r){
	if(l>r)
	  return 0;
	if(l<1)
	  return s[r];
	return s[r]-s[l-1];
}
inline ll date(ll x){
	return 2ll*s[x]-s[g[x]-1];
}
bool End;
int main(){
	n=read(),op=read();
	if(op==1)
	  Read();
	else{
		for(int i=1;i<=n;i++)
		  s[i]=read();
	}
	for(int i=1;i<=n;i++)
	  s[i]+=s[i-1];
	g[1]=1,g[0]=0;
	Q[++tail]=0,Q[++tail]=1;
	for(int i=2;i<=n;i++){
		while(date(Q[head+1])<=s[i]&&head+1<=tail)
		  head++;
		g[i]=Q[head]+1;
		t=get(g[i],i);
		while(date(i)<=date(Q[tail])&&tail>=head)
		  tail--;
		Q[++tail]=i;
	}
	for(int i=n;i>=1;i=g[i]-1)
	  ans+=(__)(s[i]-s[g[i]-1])*(s[i]-s[g[i]-1]);
	write(ans);
	cerr<<'\n'<<abs(&Begin-&End)/1048576<<"MB";
	return 0;
}
From:https://www.cnblogs.com/rgw2010/p/18336475
本文地址: http://www.shuzixingkong.net/article/680
0评论
提交 加载更多评论
其他文章 架构演化学习思考(3)
架构演化学习思考(3) 接上一篇我们继续对命令模式进行学习。 在这节内容中,我们聊一下经典的命令模式,还记得上一篇文章开头我们实现的简单的命令模式吗?来看代码,非常简单易解。 public interface ICommand { void Execute(); } public class Pla
架构演化学习思考(3)
运行期加载时共享库路径搜索优先级实验
目录前言实验环境目录说明单独测试不配置路径默认路径ld.so.cacheRUNPATHLD_LIBRARY_PATHRPATH优先级测试附录库文件源码主程序源码makefile脚本run_nonerun_defaultrun_ld_so_cacherun_runpathrun_ld_library_
LangChain的LCEL和Runnable你搞懂了吗
LangChain的LCEL估计行业内的朋友都听过,但是LCEL里的RunnablePassthrough、RunnableParallel、RunnableBranch、RunnableLambda又是什么意思?什么场景下用?
LangChain的LCEL和Runnable你搞懂了吗 LangChain的LCEL和Runnable你搞懂了吗 LangChain的LCEL和Runnable你搞懂了吗
Jenkins 配置即代码(Configuration as Code)详解
1、概述 在《Centos7下安装配置最新版本Jenkins(2.452.3)》这篇博文中讲解了如何安装Jenkins,虽然在安装Jenkins时安装了一些必备的推荐插件,但在企业环境中使用Jenkins之前,我们仍需完成一系列手动配置工作,如配置 System Configuration、Secu
Jenkins 配置即代码(Configuration as Code)详解 Jenkins 配置即代码(Configuration as Code)详解 Jenkins 配置即代码(Configuration as Code)详解
如何通过PowerShell批量修改O365用户的office phone属性值
我的博客园:https://www.cnblogs.com/CQman/ 如何通过PowerShell批量修改O365用户的office phone属性值? 需求信息: 组织中的O365用户在创建时,已手动录入了办公电话(Office phone),现在需要在办公电话前面加上统一的数字,如“0571
如何通过PowerShell批量修改O365用户的office phone属性值 如何通过PowerShell批量修改O365用户的office phone属性值 如何通过PowerShell批量修改O365用户的office phone属性值
前端使用 Konva 实现可视化设计器(19)- 连接线 - 直线、折线
本章响应小伙伴的反馈,除了算法自动画连接线(仍需优化完善),实现了可以手动绘制直线、折线连接线功能。
前端使用 Konva 实现可视化设计器(19)- 连接线 - 直线、折线 前端使用 Konva 实现可视化设计器(19)- 连接线 - 直线、折线 前端使用 Konva 实现可视化设计器(19)- 连接线 - 直线、折线
SLF4J2.0.x与Logback1.3.x的绑定变动还是很大的,不要乱点鸳鸯谱
开心一刻 今天跟我姐聊天 我:我喜欢上了我们公司的一个女同事,她好漂亮,我心动了,怎么办 姐:喜欢一个女孩子不能只看她的外表 我:我知道,还要看她的内在嘛 姐:你想多了,还要看看自己的外表 背景介绍 在 SpringBoot2.7 霸王硬上弓 Logback1.3 → 不甜但解渴 原理分析那部分,我
SLF4J2.0.x与Logback1.3.x的绑定变动还是很大的,不要乱点鸳鸯谱 SLF4J2.0.x与Logback1.3.x的绑定变动还是很大的,不要乱点鸳鸯谱 SLF4J2.0.x与Logback1.3.x的绑定变动还是很大的,不要乱点鸳鸯谱
产品、开发、测试人手一份:升级上线检查清单大全
在软件开发过程中,尤其是在准备将新功能或修复后的版本上线之前,进行详尽的自测和上线前检查是至关重要的。以下是一个从多个维度综合考量的上线升级检查清单(Checklist),旨在帮助团队确保软件质量、稳定性和安全性: 1、代码质量与构建检查 代码审查已完成 所有代码变更已通过单元测试,特别是与升级相关