[loj6518]序列
参考ExtremeSpanningTrees,考虑优化整体二分时求$g_{i}\in \{w_{mid},w_{mid+1}\}$的最优解
首先题目有一个条件似乎没有写出来,是保证$l\le k\le r$的(但并不是特别重要,可能更方便)
可以发现只关心于$k$属于当前考虑的点集中的询问即可,因此每一次层的限制数为$o(m)$(可以通过上面的条件,将区间求并后优化为$o(n)$个)
考虑用线段树来优化建图,具体来说,分为以下几步:
1.将点以及区间离散到点个数长度的区间,来保证复杂度;
2.建两颗线段树,左边的线段树从儿子到父亲,右边的线段树从父亲到儿子(流量inf)
3.每一个点连向左边对应的叶子,右边的叶子连向对应的点,根据权值划分到$S$和$T$
4.对于初始$k$到$[l,r]$的边,对应为$k$在左边的叶子连向右边$[l,r]$对应的log个区间,反之类似
理论时间复杂度为$o(n^{3}\log^{2}n)$,可以通过

1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 5005
4 #define ll long long
5 #define oo 0x3f3f3f3f
6 #define vi vector<int>
7 #define L (k<<1)
8 #define R (L+1)
9 struct ji{
10 int nex,to,len;
11 }edge[N<<5];
12 queue<int>q;
13 int n,m,p,l,r,k,lx[N][2],rx[N][2],w[N],v[N],a[N],ans[N];
14 int V,E,leaf[N],head[N<<4],work[N<<4],d[N<<4],vis[N<<4],bl[N];
15 bool cmp(int x,int y){
16 return (bl[x]<bl[y])||(bl[x]==bl[y])&&(x<y);
17 }
18 void add(int x,int y,int z){
19 edge[E].nex=head[x];
20 edge[E].to=y;
21 edge[E].len=z;
22 head[x]=E++;
23 if (E&1)add(y,x,0);
24 }
25 bool bfs(){
26 memset(d,oo,sizeof(d));
27 d[0]=0;
28 q.push(0);
29 while (!q.empty()){
30 int k=q.front();
31 q.pop();
32 for(int i=head[k];i!=-1;i=edge[i].nex)
33 if ((edge[i].len)&&(d[edge[i].to]==oo)){
34 d[edge[i].to]=d[k]+1;
35 q.push(edge[i].to);
36 }
37 }
38 return d[(V<<1)+n+1]<oo;
39 }
40 int dfs(int k,int s){
41 if (k>(V<<1)+n)return s;
42 for(int &i=work[k];i!=-1;i=edge[i].nex)
43 if ((edge[i].len)&&(d[edge[i].to]==d[k]+1)){
44 int p=dfs(edge[i].to,min(s,edge[i].len));
45 if (p){
46 edge[i].len-=p;
47 edge[i^1].len+=p;
48 return p;
49 }
50 }
51 return 0;
52 }
53 void dinic(){
54 while (bfs()){
55 memcpy(work,head,sizeof(work));
56 while (dfs(0,oo));
57 }
58 }
59 void dfs(int k){
60 if (vis[k])return;
61 vis[k]=1;
62 for(int i=head[k];i!=-1;i=edge[i].nex)
63 if (edge[i].len)dfs(edge[i].to);
64 }
65 void build(int k,int l,int r){
66 if (l==r){
67 leaf[l]=k;
68 V=max(V,k);
69 return;
70 }
71 int mid=(l+r>>1);
72 build(L,l,mid);
73 build(R,mid+1,r);
74 }
75 void update(int k,int l,int r,int x,int y,int z,int p){
76 if ((l>y)||(x>r))return;
77 if ((x<=l)&&(r<=y)){
78 if (p)add(k,z+V,oo);
79 else add(z,k+V,oo);
80 return;
81 }
82 int mid=(l+r>>1);
83 update(L,l,mid,x,y,z,p);
84 update(R,mid+1,r,x,y,z,p);
85 }
86 void dfs(int l,int r,int x,int y){
87 if (x==y){
88 for(int i=l;i<=r;i++)ans[a[i]]=v[x];
89 return;
90 }
91 int mid=(x+y>>1);
92 V=E=0;
93 build(1,1,r-l+1);
94 for(int i=0;i<=(V<<1)+n+1;i++)head[i]=-1;
95 for(int i=2;i<=V;i++){
96 add(i,i/2,oo);
97 add(i/2+V,i+V,oo);
98 }
99 for(int i=l;i<=r;i++){//若i比j小则i向j连边,源点连大的,汇点连小的
100 add((V<<1)+i,leaf[i-l+1],oo);
101 add(leaf[i-l+1]+V,(V<<1)+i,oo);
102 if (w[a[i]]>=v[mid+1])add(0,(V<<1)+i,1);
103 else add((V<<1)+i,(V<<1)+n+1,1);
104 }
105 for(int i=l;i<=r;i++)
106 for(int j=0;j<2;j++){
107 int x=lx[a[i]][j],y=rx[a[i]][j];
108 int wx=lower_bound(a+l,a+r+1,x)-a-l+1,wy=upper_bound(a+l,a+r+1,y)-a-l;
109 if (wx<wy)update(1,1,r-l+1,wx,wy,leaf[i-l+1],j);
110 }
111 dinic();
112 for(int i=0;i<=(V<<1)+n+1;i++)vis[i]=0;
113 dfs(0);
114 for(int i=l;i<=r;i++){
115 if ((w[a[i]]>=v[mid+1])&&(vis[leaf[i-l+1]])||(w[a[i]]<v[mid+1])&&(vis[leaf[i-l+1]+V]))bl[a[i]]=1;
116 else bl[a[i]]=0;
117 }
118 sort(a+l,a+r+1,cmp);
119 for(int i=l;i<=r+1;i++){
120 if ((bl[a[i]])||(i>r)){
121 if (l<i)dfs(l,i-1,x,mid);
122 if (i<=r)dfs(i,r,mid+1,y);
123 return;
124 }
125 }
126 }
127 int main(){
128 scanf("%d%d",&n,&m);
129 for(int i=1;i<=n;i++)scanf("%d",&w[i]);
130 for(int i=1;i<=n;i++)
131 for(int j=0;j<2;j++)lx[i][j]=rx[i][j]=i;
132 for(int i=1;i<=m;i++){
133 scanf("%d%d%d%d",&p,&l,&r,&k);
134 lx[k][p]=min(lx[k][p],l);
135 rx[k][p]=max(rx[k][p],r);
136 }
137 memcpy(v,w,sizeof(v));
138 sort(v+1,v+n+1);
139 int nn=unique(v+1,v+n+1)-v-1;
140 for(int i=1;i<=n;i++)a[i]=i;
141 dfs(1,n,1,nn);
142 long long sum=0;
143 for(int i=1;i<=n;i++)sum+=abs(ans[i]-w[i]);
144 for(int i=1;i<=n;i++){
145 for(int j=lx[i][0];j<=rx[i][0];j++)assert(ans[j]>=ans[i]);
146 for(int j=lx[i][1];j<=rx[i][1];j++)assert(ans[j]<=ans[i]);
147 }
148 printf("%lld",sum);
149 }
[loj6518]序列的更多相关文章
- 【夯实PHP基础】UML序列图总结
原文地址 序列图主要用于展示对象之间交互的顺序. 序列图将交互关系表示为一个二维图.纵向是时间轴,时间沿竖线向下延伸.横向轴代表了在协作中各独立对象的类元角色.类元角色用生命线表示.当对象存在时,角色 ...
- Windows10-UWP中设备序列显示不同XAML的三种方式[3]
阅读目录: 概述 DeviceFamily-Type文件夹 DeviceFamily-Type扩展 InitializeComponent重载 结论 概述 Windows10-UWP(Universa ...
- 软件工程里的UML序列图的概念和总结
俗话说,自己写的代码,6个月后也是别人的代码……复习!复习!复习! 软件工程的一般开发过程:愿景分析.业务建模,需求分析,健壮性设计,关键设计,最终设计,实现…… 时序图也叫序列图(交互图),属于软件 ...
- python序列,字典备忘
初识python备忘: 序列:列表,字符串,元组len(d),d[id],del d[id],data in d函数:cmp(x,y),len(seq),list(seq)根据字符串创建列表,max( ...
- BZOJ 1251: 序列终结者 [splay]
1251: 序列终结者 Time Limit: 20 Sec Memory Limit: 162 MBSubmit: 3778 Solved: 1583[Submit][Status][Discu ...
- 最长不下降序列nlogn算法
显然n方算法在比赛中是没有什么用的(不会这么容易就过的),所以nlogn的算法尤为重要. 分析: 开2个数组,一个a记原数,f[k]表示长度为f的不下降子序列末尾元素的最小值,tot表示当前已知的最长 ...
- [LeetCode] Sequence Reconstruction 序列重建
Check whether the original sequence org can be uniquely reconstructed from the sequences in seqs. Th ...
- [LeetCode] Binary Tree Longest Consecutive Sequence 二叉树最长连续序列
Given a binary tree, find the length of the longest consecutive sequence path. The path refers to an ...
- [LeetCode] Repeated DNA Sequences 求重复的DNA序列
All DNA is composed of a series of nucleotides abbreviated as A, C, G, and T, for example: "ACG ...
随机推荐
- Data Management Tools(数据管理工具)《一》
数据管理工具 1.LAS数据集 # Process: LAS 数据集统计数据 arcpy.LasDatasetStatistics_management("", "SKI ...
- golang []byte和string的高性能转换
golang []byte和string的高性能转换 在fasthttp的最佳实践中有这么一句话: Avoid conversion between []byte and string, since ...
- OGG-如何只同步最近某个时间范围的数据
一.需求,某客户希望使用OGG只同步时间大于2021-02-01日期之后的数据变换 需求如标题所示,如何使用OGG进行配置? 客户环境需要同步的表有几百G,表数据太大了;如果同步所有数据,目标库空间存 ...
- Typora配置双击图片放大功能
在Typora中,默认没有点击图片放大功能,本文就教大家如何配置该功能. 我的环境版本 Typora版本:0.11.13 LightBox版本:2.11.3 下载LightBox 可以从Github下 ...
- Boost Started on Windows
Boost 官网指南 Boost C++ Libraries Boost Getting Started on Windows - 1.77.0 ① 下载 Boost.7z包 下载 .7z包 boos ...
- 10-1 Python 学习笔记
1. 项目 在文本编辑器中新建一个文件,写几句话来总结一下你至此学到的 Python 知识,其中每一行都以"In Python you can"打头. 将这个文件命名为learni ...
- [no_code][Beta]发布声明报告
$( "#cnblogs_post_body" ).catalog() 软件下载 一个全新的超简易的OCR表单识别工具 轻松拍照,实现手写表格识别 一键打开,支持多种应用打开你的表 ...
- [敏捷软工团队博客]Beta阶段测试报告
项目 内容 2020春季计算机学院软件工程(罗杰 任健) 博客园班级博客 作业要求 Beta阶段测试报告 我们在这个课程的目标是 在团队合作中锻炼自己 这个作业在哪个具体方面帮助我们实现目标 对Bet ...
- Scrum Meeting 0602
零.说明 日期:2021-6-2 任务:简要汇报两日内已完成任务,计划后两日完成任务 一.进度情况 组员 负责 两日内已完成的任务 后两日计划完成的任务 困难 qsy PM&前端 完成后端管理 ...
- 2020BUAA软工结伴项目作业
2020BUAA软工结伴项目作业 17373010 杜博玮 项目 内容 这个作业属于哪个课程 2020春季计算机学院软件工程(罗杰 任健) 这个作业的要求在哪里 结伴项目作业 我在这个课程的目标是 学 ...