cf 1304F2 (单调队列优化DP)

cf 1304F2 (单调队列优化DP)

题意:

给你 n n n天,每天有 m m m个拍照点,每次拍照是连续两天且拍照颜色不同,每次最多拍连续k段,连续两天就是2*k,每个拍照点有一个权值,求最大权值和

思路:

容易想到一个 d p dp dp d p [ i ] [ j ] dp[i][j] dp[i][j] i i i天拍完了,第 i i i天从 j j j这个地方开始拍,注意这个在转移前是一个相机的前一天,但是转移后得把一个相机的另一天计算进去。

d p [ i ] [ j ] = m a x ( d p [ i − 1 ] [ l ] + s u m [ m i n ( j + k − 1 , m ) ] − s u m [ j − 1 ] − 重 合 部 分 ) dp[i][j]=max(dp[i-1][l]+sum[min(j+k-1,m)]-sum[j-1]-重合部分) dp[i][j]=max(dp[i1][l]+sum[min(j+k1,m)]sum[j1])

这样的复杂度是 O ( n m 2 ) O(nm^2) O(nm2)的,显然不能通过

我们观察到把 d p dp dp的第一维去掉后是一个 1 D / 1 D 1D/1D 1D/1D的dp模型,考虑格子间的移动,很明显前面和后面上下格子不相交的话,可以通过维护前后缀 d p dp dp最大值来解决。如果相交的话,

d p [ i ] [ j ] = d p [ i − 1 ] [ l ] + s u m [ i ] [ m i n ( j + k − 1 , m ) ] − s u m [ i ] [ l − 1 ] dp[i][j]=dp[i-1][l]+sum[i][min(j+k-1,m)]-sum[i][l-1] dp[i][j]=dp[i1][l]+sum[i][min(j+k1,m)]sum[i][l1]

显然可以用拆成 l , j l,j l,j分开的形式,每个决策入队出队一次,就可以做到 O ( n m ) O(nm) O(nm)了,用单调队列优化即可,正反都做一遍,注意这里 j j j是可以取到的,所以有一个得丢进去再更新,这题就没了,注意这里 d p dp dp值更新前后都是只算每个相机的第一天,前后缀最大值才保留2天的

#include<bits/stdc++.h>
#define fi first 
#define se second
using namespace std;
typedef pair<int,int>P;
const int maxn=2e4+10;
int dp[53][maxn],mxp[53][maxn],mxs[53][maxn],n,m,a[53][maxn],k,sum[53][maxn],h1,h2,t1,t2;
P q1[maxn],q2[maxn];
int main(){
    scanf("%d%d%d",&n,&m,&k);
    for(int i=1;i<=n;++i)
        for(int j=1;j<=m;++j)scanf("%d",&a[i][j]),sum[i][j]=sum[i][j-1]+a[i][j];
    for(int i=1;i<=m;++i)dp[1][i]=sum[1][min(i+k-1,m)]-sum[1][i-1];
    for(int i=1;i<=m;++i)mxp[1][i]=max(mxp[1][i-1],dp[1][i]+sum[2][min(i+k-1,m)]-sum[2][i-1]);
    for(int i=m;i>=1;--i)mxs[1][i]=max(mxs[1][i+1],dp[1][i]+sum[2][min(i+k-1,m)]-sum[2][i-1]);
    for(int i=2;i<=n;++i){
        for(int j=1;j<=m;++j){
            if(j+k<=m)
                dp[i][j]=max(dp[i][j],mxs[i-1][j+k]+sum[i][min(j+k-1,m)]-sum[i][j-1]);
            if(j-k>=1)
                dp[i][j]=max(dp[i][j],mxp[i-1][j-k]+sum[i][min(j+k-1,m)]-sum[i][j-1]);
        }
        h1=h2=1;t1=t2=0;
        for(int j=1;j<=m;++j){
            while(h1<=t1&&q1[h1].fi<j-k+1)h1++;
            int num=dp[i-1][j]-sum[i][j-1];
            while(h1<=t1&&q1[t1].se<=num)t1--;
            q1[++t1]={j,num};
            if(h1<=t1)dp[i][j]=max(dp[i][j],q1[h1].se+sum[i][min(m,j+k-1)]);
        }
        for(int j=m;j>=1;--j){
            while(h2<=t2&&q2[h2].fi>j+k-1)h2++;
            if(h2<=t2)dp[i][j]=max(dp[i][j],q2[h2].se-sum[i][j-1]);
            int num=dp[i-1][j]+sum[i][min(j+k-1,m)];
            while(h2<=t2&&q2[t2].se<=num)t2--;
            q2[++t2]={j,num};
        }
        for(int j=1;j<=m;++j){
            mxp[i][j]=max(mxp[i][j-1],dp[i][j]+sum[i+1][min(m,j+k-1)]-sum[i+1][j-1]);
        }
        for(int j=m;j>=1;--j){
            mxs[i][j]=max(mxs[i][j+1],dp[i][j]+sum[i+1][min(m,j+k-1)]-sum[i+1][j-1]);
        }
    }
    int ans=0;
    for(int i=1;i<=m;++i){
        if(i+k-1>m)break;
        ans=max(ans,dp[n][i]);
    }
    cout<<ans<<"\n";
    return 0;
}

启示:

1D/1D d p dp dp模型形如当前转移点是下面上方不相交的这种,取min/max的时候,常可以考虑维护前后缀最值

下方有相交的,若能拆开两个变量,则考虑单调队列优化在这里插入图片描述

<think>好的,我现在需要处理用户关于Codeforces题型总结和解题技巧的请求。首先,回顾之前的对话历史,用户之前询问了ACM学习路线,我给出了分阶段的学习计划和资源推荐。现在用户转向Codeforces的具体题型和解题技巧,这表明他们可能正在准备竞赛,需要更针对性的策略。 首先,我需要确定用户的需求。用户想要的是Codeforces平台上各类题型的分类总结以及对应的解题思路。他们可能希望了解常见的题型类别,每个类别的特点,以及解决这些题目的常用技巧和算法。此外,用户可能还希望得到一些具体的例题和代码示例,以便更好地理解和应用这些技巧。 接下来,我需要参考用户提供的引用内容。引用[1]中提到了算法基础,包括复杂度分析、递归、分治、贪心、排序、前缀和、差分、二分、三分、倍增等。这些内容在Codeforces题目中确实常见,因此需要将这些算法和技巧与具体的题型对应起来,进行分类归纳。 我需要确保回答结构清晰,分点列出各个题型类别,每个类别下包括题型特点、解题技巧、例题及解析。同时,按照用户之前的要求,使用中文回答,行内数学公式用$...$,独立公式用$$...$$,并正确使用LaTeX语法。此外,需要生成相关问题,并在适当的地方添加引用标识。 在整理题型时,要覆盖Codeforces常见的题目类型,如贪心、动态规划、图论、数论、数据结构、构造题、二分/三分、字符串处理、计算几何等。每个类别需要简要说明其特点,解题时的常用方法,并举出具体的题目例子,最好附上题目编号,方便用户查找练习。 同时,要注意结合用户之前的学习路线,推荐相关的资源,比如《算法竞赛入门经典》中的例题,或者在线平台如Codeforces本身的训练建议。此外,可能需要提到一些实战技巧,比如如何快速识别题型、如何优化代码等。 需要避免的是过于泛泛而谈,要尽量具体,给出实际可操作的技巧。例如,在贪心题中,可以提到邻项交换法或后悔法的具体应用;在动态规划中,强调状态设计和转移方程的优化方法。对于每个技巧,最好能对应一个例题,说明如何应用该技巧解决问题。 另外,考虑到用户可能需要代码示例,可以在适当的位置插入简短的代码片段,如动态规划或二分的典型实现,但需注意代码的准确性和简洁性,避免冗长。 最后,生成的相关问题需要围绕用户可能的后续疑问展开,比如如何提高刷题效率,特定题型的深入分析方法,或者推荐Codeforces上的训练计划等。这些问题应自然延伸当前主题,帮助用户进一步探索。 现在,需要检查是否覆盖了用户的所有需求,是否结构清晰,是否引用了之前的资源(如引用[^1]),并确保所有数学公式的正确格式。同时,确保回答真实可靠,基于常见的竞赛知识和经验,避免错误的信息。</think>### Codeforces题型总结与解题技巧分类指南 #### 一、高频核心题型分类 1. **贪心算法** - **题型特点**:决策序列中局部最优选择可推导全局最优解,常见于区间调度、资源分配问题 - **解题技巧**: - 邻项交换法(证明交换后更优):如$n$个数的最大拼接问题(CF 1385B) - 后悔法(优先队列维护候选集):CF 1526C(药水选择) ```cpp // 后悔法模板 priority_queue<int, vector<int>, greater<int>> pq; for(int x : arr){ sum += x; pq.push(x); while(sum < 0){ sum -= pq.top(); pq.pop(); } } ``` - 时间轴处理:CF 1481C(栅栏涂色时序处理)[^1] 2. **动态规划** - **状态设计模式**: - 线性DP:$dp[i]$表示前$i$个元素的最优解(CF 474D 花朵问题) - 状态压缩DP:用位运算表示集合状态(CF 580D 美食家问题) - 树形DP:结合DFS遍历处理子树关系(CF 1092F 树权值分配) - **优化技巧**: - 斜率优化:维护凸包降低时间复杂度至$O(n)$(CF 319C 木材切割) - 滚动数组:空间复杂度优化至$O(1)$(CF 1114D 颜色填充) 3. **图论算法** - **高频考点**: | 算法类型 | 应用场景 | 例题 | |----------------|-----------------------------------|----------------| | 拓扑排序 | 任务调度/依赖解析 | CF 1385E | | 强连通分量 | 缩点处理环结构 | CF 427C | | 网络流 | 二分图匹配/资源分配 | CF 1139E | | 最短路变形 | 分层图/边权特殊处理 | CF 1473E | 4. **数论问题** - **核心工具**: - 欧拉定理:处理模指数运算(CF 615D 质因子乘积) - 中国剩余定理:同余方程组求解(CF 687B) - 莫比乌斯反演:统计互质对数量(CF 547C) - **特殊技巧**: $$ \sum_{d|n}\mu(d) = \begin{cases} 1 & n=1 \\ 0 & n>1 \end{cases} $$ 用于快速计算GCD相关问题 #### 二、特征题型专项突破 1. **构造题(Constructive Algorithms)** - **识别特征**:输出满足特定条件的结构而非数值结果 - **经典解法**: - 奇偶性构造:CF 1421B(矩阵路径奇偶性) - 平衡分配法:CF 1343D(调整数组使对称元素相等) - 极端值构造:CF 1375E(通过逆序操作排序数组) 2. **交互题(Interactive Problems)** - **解题框架**: ```python low, high = 1, 1e18 while low <= high: mid = (low + high) // 2 print(f"? {mid}") response = input() if response == ">=": low = mid + 1 else: high = mid - 1 print(f"! {high}") ``` - **注意事项**: - 刷新输出缓冲区(C++用`cout << endl`) - 错误处理:CF 1520F2(二进制猜数容错机制) 3. **数据结构题** - **题型矩阵**: | 数据结构 | 适用场景 | 优化技巧 | |----------------|-------------------------------|---------------------------| | 线段树 | 区间查询/更新 | 延迟标记(lazy propagation)| | 并查集 | 连通性检测 | 路径压缩+按秩合并 | | 字典树 | 前缀匹配统计 | 二进制位处理 | | 单调队列 | 滑动窗口最值 | 淘汰非最优候选 | #### 三、实战技巧体系 1. **复杂度预判法**: - 输入规模$n$与可接受时间复杂度对应表: $$ \begin{array}{c|c} n \leq 10^6 & O(n) \\ n \leq 10^5 & O(n \log n) \\ n \leq 10^4 & O(n^2) \\ n \leq 20 & O(2^n) \\ \end{array} $$ 2. **Debug技巧**: - 边界测试:$n=0,1$等极端情况 - 对拍验证:生成随机数据与暴力程序对比 - 输出中间状态:使用`cerr`输出调试信息 3. **代码模板管理**: - 建议维护以下模板库: ```text /templates ├── graph │ ├── dijkstra.cpp │ └── tarjan_scc.cpp ├── math │ ├── matrix_fastpow.cpp │ └── fft_template.cpp └── ds ├── segment_tree.cpp └── union_find.cpp ``` #### 四、经典例题解析 1. **CF 1485D - Multiples and Power Differences** - **题型**:构造题+数论 - **关键思路**: 构造矩阵元素$a_{i,j} = 720720 + (i+j)\%2 \times (a_{i,j}^4)$ 保证相邻元素差为四次方数 2. **CF 1513C - Add One** - **解法**:动态规划预处理 定义$dp[d][m]$表示数字$d$经过$m$次操作的位数 状态转移: $$ dp[d][m] = \begin{cases} 1 & m=0 \\ dp[1][m-1] + dp[0][m-1] & d=9 \\ dp[d+1][m-1] & otherwise \end{cases} $$
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值