bzoj 4295 [PA2015]Hazard 单调队列

本文介绍了一种解决特定环形路径问题的算法实现方案。该算法通过构建前缀和、使用单调队列来求解环中每个节点经历的最小值,并通过逆向扫描维护每个值的位置来计算后续步骤数。适用于求解人员在特定环形路径上的移动策略问题。

对于每个人,他选的点为:x%m , (x+n)%m , (x+2n)%m …. (x+kn)%m会形成一个环。所有环的和为m。可能有一些人在一个环里

对于一个人,如果求出这个人在走的过程中经历的最小值和走一个循环值的变化,就可以求出这个人走了多少个循环和走这些环后的剩余值。如果求出这个人之后到达每一个值需要的最小步数就可以求出在走完环之后又走了多少步。

走一个循环值的变化可以直接求。
维护一个前缀和。
把环倍长,可以用单调队列求这个环上每一个人在走的过程中经历的最小值。
从后往前扫一遍维护后面每一个值的位置就可以求环上每一个人之后到达每一个值需要的步数。

#include <bits/stdc++.h>
using namespace std;
#define N 4100000
#define A 2000000
#define ll long long
int n,m,top,h,r;
char s[N];
int a[N],b[N],vis[N],st[N],q[N],mn[N],last[N],sum[N];
ll ans,lop[N],step[N];
int main()
{
    //freopen("tt.in","r",stdin);
    scanf("%d",&n);
    for(int i=0;i<n;i++)scanf("%d",&a[i]);
    scanf("%d%s",&m,s);
    for(int i=0;i<m;i++)b[i]=s[i]=='W' ? 1:-1;
    for(int now=0;now<m;now++)
        if(!vis[now])
        {
            top=0;
            for(int i=now;!vis[i];i=(i+n)%m)
                st[++top]=i,vis[i]=1;
            h=1;r=0;
            for(int i=1;i<=top;i++)
            {
                sum[i]=sum[i-1]+b[st[i]];
                while(h<=r&&sum[q[r]]>=sum[i])r--;
                q[++r]=i;               
            }
            for(int i=1;i<=top;i++) 
                sum[top+i]=sum[top+i-1]+b[st[i]];
            for(int i=1;i<=top;i++)
            {
                if(q[h]<i)h++;
                mn[i]=-(sum[q[h]]-sum[i-1]);
                while(h<=r&&sum[q[r]]>sum[i+top])r--;
                q[++r]=i+top;
            }
            for(int i=top;i>=1;i--)last[sum[top+i]+A]=top+i;
            for(int i=top;i>=1;i--)
            {
                last[sum[i]+A]=i;
                for(int j=st[i];j<n;j+=m)
                {
                    if(sum[top]>=0&&a[j]>mn[i])
                        {step[j]=-1;continue;}
                    if(a[j]<=mn[i])step[j]=last[sum[i-1]-a[j]+A]-i+1;
                    else
                    {
                        lop[j]=(a[j]-mn[i]-1)/(-sum[top])+1;
                        int t=a[j]+lop[j]*sum[top];
                        step[j]=lop[j]*top+last[sum[i-1]-t+A]-i+1;
                    }
                }
            }
        }
    ans=1ll<<60;
    for(int i=0;i<n;i++)
        if(step[i]!=-1)
            ans=min(ans,i+1+n*(step[i]-1));
    if(ans==1ll<<60)puts("-1");
    else printf("%lld\n",ans);
    return 0;
}
### NOIP2015 运输计划 BZOJ4326 题解分析 #### 问题背景 该问题是经典的图论优化问题之一,主要考察树结构上的路径操作以及高效的数据处理能力。题目要求在一个由 $n$ 个节点组成的无向连通树中找到最优的一条边将其改造为虫洞(通过此边不需要耗费时间),从而使得给定的 $m$ 条运输路径中的最长耗时最小化。 --- #### 解决方案概述 解决这一问题的核心在于利用 **二分答案** 和 **树上差分技术** 的组合来实现高效的计算过程。以下是具体的技术细节: 1. **二分答案**: 设当前目标是最小化的最大路径长度为 $T_{\text{max}}$。我们可以通过二分的方式逐步逼近最终的结果。每次尝试验证是否存在一种方式将某条边改为虫洞后使所有路径的最大值不超过当前设定的目标值 $mid$[^1]。 2. **路径标记与统计**: 使用树上差分的思想对每一条路径进行标记并快速统计受影响的情况。假设两点之间的最近公共祖先 (Lowest Common Ancestor, LCA) 是 $r = \text{lca}(u_i, v_i)$,则可以在三个位置分别施加影响:增加 $(u_i + 1), (v_i + 1)$ 同时减少 $(r - 2)$。这种操作能够有效覆盖整条路径的影响范围,并便于后续统一查询和判断[^1]。 3. **数据结构支持**: 结合线段树或者 BIT (Binary Indexed Tree),可以进一步加速区间修改和单点查询的操作效率。这些工具帮助我们在复杂度范围内完成大量路径的同时更新和检索需求[^2]。 4. **实际编码技巧**: 实现过程中需要注意一些边界条件和技术要点: - 正确维护 DFS 序列以便映射原树节点到连续编号序列; - 准备好辅助函数用于快速定位 LCA 节点及其对应关系; - 编码阶段应特别留意变量初始化顺序及循环终止逻辑以防潜在错误发生。 下面给出一段基于上述原理的具体 Python 实现代码作为参考: ```python from collections import defaultdict, deque class Solution: def __init__(self, n, edges): self.n = n self.graph = defaultdict(list) for u, v, w in edges: self.graph[u].append((v, w)) self.graph[v].append((u, w)) def preprocess(self): """Preprocess the tree to get dfs order and lca.""" pass def binary_search_answer(self, paths): low, high = 0, int(1e9) best_possible_time = high while low <= high: mid = (low + high) // 2 if self.check(mid, paths): # Check feasibility with current 'mid' best_possible_time = min(best_possible_time, mid) high = mid - 1 else: low = mid + 1 return best_possible_time def check(self, limit, paths): diff_array = [0]*(self.n+1) for path_start, path_end in paths: r = self.lca(path_start, path_end) # Apply difference on nodes based on their relationship. diff_array[path_start] += 1 diff_array[path_end] += 1 diff_array[r] -= 2 suffix_sum = [sum(diff_array[:i]) for i in range(len(diff_array)+1)] # Verify whether any edge can be modified within given constraints. possible_to_reduce_max = False for node in range(1, self.n+1): parent_node = self.parent[node] if suffix_sum[node]-suffix_sum[parent_node]>limit: continue elif not possible_to_reduce_max: possible_to_reduce_max=True return possible_to_reduce_max # Example usage of class methods would follow here... ``` --- #### 总结说明 综上所述,本题的关键突破点在于如何巧妙运用二分策略缩小搜索空间,再辅以恰当的树形结构遍历技术和差分手段提升整体性能表现。这种方法不仅适用于此类特定场景下的最优化求解任务,在更广泛的动态规划领域也有着广泛的应用前景[^3]。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值