[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 ...
随机推荐
- NOI2018屠龙勇士(扩展CRT + splay(multiset))
QWQ 一到假期就颓废 哎 今年新鲜出炉的NOI题,QwQ同步赛的时候写的,后来交了一发洛谷,竟然过了 首先 根据题目,我们很容易得到,假设对应每一条龙的剑的攻击力是\(atk\)的话 \[a_i-x ...
- C#特性知识图谱-一、委托
一. 委托 1.1 委托定义 委托可以看成是一个方法的容器,将某一具体的方法装入后就可以把它当成方法一样调用.一个委托类型的变量可以引用任何一个满足其要求的方法.委托类似于C语言中的函数指针,但并不完 ...
- Apache Zookeeper Java客户端Curator使用及权限模式详解
这篇文章是让大家了解Zookeeper基于Java客户端Curator的基本操作,以及如何使用Zookeeper解决实际问题. Zookeeper基于Java访问 针对zookeeper,比较常用的J ...
- Shadertoy 教程 Part 1 - 介绍
Note: This series blog was translated from Nathan Vaughn's Shaders Language Tutorial and has been au ...
- Request failed with status code 500以及自引用循环Self referencing loop detected for property ‘xx‘ with type
错误Error: Request failed with status code 500 ,调试前端没问题,后端也没问题,还报错"连接超时" 在Network中找到错误Self r ...
- stm32f103中断学习总结
一.NVIC 介绍 NVIC 英文全称是 Nested Vectored Interrupt Controller,中文意思就是嵌套向量中断控制器,它属于 M3 内核的一个外设,控制着芯片的中断相关功 ...
- 数值的整数次方 牛客网 剑指Offer
数值的整数次方 牛客网 剑指Offer 题目描述 给定一个double类型的浮点数base和int类型的整数exponent.求base的exponent次方 class Solution: #run ...
- 2021CCPC河南省省赛
大一萌新,第一次打比赛,虽然是线下赛,但送气球的环节还是很赞的! 这里主要是补一下自己的弱项和考试时没有做出来的题目. 1002(链接之后再放,官方还没公开题目...) 先说一下第二题,这个题一看就是 ...
- oeasy教您玩转vim - 56 - # 字符可视化模式
可视化编辑 回忆上节课内容 我们学习了关于模式匹配中使用参数 单个参数 :%s/<h2>\(.*\)</h2>/ - \1/g 多个参数 :%s/<img src=\ ...
- Forest v1.5.12 发布,声明式 HTTP 框架,已超过 1.6k star
Forest介绍 Forest 是一个开源的 Java HTTP 客户端框架,它能够将 HTTP 的所有请求信息(包括 URL.Header 以及 Body 等信息)绑定到您自定义的 Interfac ...