前言

线段树+网络最大流的建模题。

博客园食用更佳

题目大意

最初时有 \(n\) 个 \(1\) 。给定 \(op\) 、 \(l\) ,其中, \(l\) 为操作次数上限。你有四个操作:

  1. 若 \(op=1\) ,则接下来两个整数 \(a,b\) ,表示可以将 \(a\) 变为 \(b\) 。
  2. 若 \(op=2\) ,则接下来三个整数 \(a_1,a_2,b_1\) ,表示可以将范围在 \(a_1\) 到 \(a_2\) 的任意的数变为 \(b_1\) 。
  3. 若 \(op=3\) ,则接下来三个整数 \(a_1,b_1,b_2\) ,表示可以将 \(a_1\) 变为范围在 \(b_1\) 到 \(b_2\) 的任意的数。
  4. 若 \(op=4\) ,则接下来四个整数 \(a_1,a_2,b_1,b_2\) ,表示可以将范围在 \(a_1\) 到 \(a_2\) 的任意的数变为范围在 \(b_1\) 到 \(b_2\) 的任意的数。

问最后能有多少个数字变为 \(k\) ,其中 \(1<=a,b,a1,b1,a2,b2<=k\) 。

思路

首先用暴力建图跑网络流。如果看出使用网络流,则建图就变得非常简单了。

把所有单个数字的查询都看为一个区间,那么四个操作都将是区间的连边。

使用一个类似于中转站的两个节点记为 \(tmp1\) 和 \(tmp2\) ,将 \(a\) 区间的所有值连向 \(tmp1\) ,将 \(tmp2\) 连向 \(b\) 区间的所有值,容量为无穷大。则 \(tmp1\) 到 \(tmp2\) 连一条容量为 \(l\) 的边用来限制操作次数。

跑最大流即可得出答案。暴力建图伪代码:

int tot = k;
int opt, l;
for(int i = 1; i <= m; i++) {
scanf("%d %d", &opt, &l);
if(opt == 1) {
int a, b;
scanf("%d %d", &a, &b);
Addedge(a, b, l);
}
else if(opt == 2) {
int a1, a2, b1;
scanf("%d %d %d", &a1, &a2, &b1);
int tmp1 = ++tot;
int tmp2 = ++tot;
for(int i = a1; i <= a2; i++)
Addedge(i, tmp1, INF);
Addedge(tmp2, b1, INF);
Addedge(tmp1, tmp2, l);
}
else if(opt == 3) {
int a1, b1, b2;
scanf("%d %d %d", &a1, &b1, &b2);
int tmp1 = ++tot;
int tmp2 = ++tot;
Addedge(a1, tmp1, INF);
for(int i = b1; i <= b2; i++)
Addedge(tmp2, i, INF);
Addedge(tmp1, tmp2, l);
}
else {
int a1, a2, b1, b2;
scanf("%d %d %d %d", &a1, &a2, &b1, &b2);
int tmp1 = ++tot;
int tmp2 = ++tot;
for(int i = a1; i <= a2; i++)
Addedge(i, tmp1, INF);
for(int i = b1; i <= b2; i++)
Addedge(tmp2, i, INF);
Addedge(tmp1, tmp2, l);
}
}
t = tot + 1;
Addedge(s, 1, n);
Addedge(k, t, INF);

显然,一次操作会产生最多 \(2k+2\) 条边,在观察这个数据范围,过不了。亲测 50 Pts。可能是常数太大。。。

由于是区间操作,可以想到使用数据结构来优化建图。

使用线段树,建立两颗线段树,如下图。

\(s\) 连向第一棵线段树的 \([1,1]\) 区间的点,容量为 \(n\) ,第二棵线段树的 \([k,k]\) 区间的点连向 \(t\) ,容量为极大值,和暴力差不多。

可以把第二棵树理解为是操作树,是用来进行操作的。第一棵树的儿子连向自己的父亲,方便选定被操作前的范围。第二棵的父亲连向自己的儿子,方便选定操作后的范围。以上边的容量均为极大值。

最后第二棵树的节点连向第一棵树的对应点,方便操作后被再次操作。

最后跑一边最大流 Dinic ,在随机图上 Dinic 普遍优于其他 \(O(nmlog(m))\) 的算法。

Code

#include <queue>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
#define INF 0x3f3f3f3f
const int MAXN = 1e6 + 5;
const int MAXM = 5e6 + 5;
struct Segment_Tree {
int Left_Section, Right_Section, Data;
#define LC(x) (x << 1)
#define RC(x) (x << 1 | 1)
#define L(x) tree[0][x].Left_Section
#define R(x) tree[0][x].Right_Section
#define D(x, y) tree[y][x].Data
};
Segment_Tree tree[2][MAXN];
struct Edge {
int Next, To, Cap;
};
Edge edge[MAXM << 1];
int head[MAXM << 1];
int edgetot = 1;
int tot;
int n, m, k, s, t;
queue<int> q;
int dep[MAXN], stt[MAXN];
int Begin, End;
void Addedge(int x, int y, int z) {
edge[++edgetot].Next = head[x], edge[edgetot].To = y, edge[edgetot].Cap = z, head[x] = edgetot;
edge[++edgetot].Next = head[y], edge[edgetot].To = x, edge[edgetot].Cap = 0, head[y] = edgetot;
}
void Build(int pos, int l, int r, int flag) {//初始化线段树的节点信息
D(pos, flag) = ++tot;//开辟新的节点
L(pos) = l;//初始化左区间
R(pos) = r;//初始化右区间
if(l == r) {
if(flag && l == 1)//记录左树的1节点
Begin = D(pos, flag);
if(!flag && l == k)//记录右树的k节点
End = D(pos, flag);
if(!flag)//右树连左树的对应节点
Addedge(D(pos, flag), D(pos, 1 - flag), INF);
return;
}
int mid = (l + r) >> 1;
Build(LC(pos), l, mid, flag);//初始化
Build(RC(pos), mid + 1, r, flag);//同上
if(flag) {//左树儿子连父亲
Addedge(D(LC(pos), flag), D(pos, flag), INF);
Addedge(D(RC(pos), flag), D(pos, flag), INF);
}
else {//右树父亲连儿子
Addedge(D(pos, flag), D(LC(pos), flag), INF);
Addedge(D(pos, flag), D(RC(pos), flag), INF);
}
}
void Query(int pos, int l, int r, int tmp, int flag) {//区间连边
if(l <= L(pos) && R(pos) <= r) {
if(flag)
Addedge(D(pos, flag), tmp, INF);//若是左树则连接中转站
else
Addedge(tmp, D(pos, flag), INF);//若是右树被中转站连接
return;
}
if(l <= R(LC(pos)))
Query(LC(pos), l, r, tmp, flag);//处理子树
if(r >= L(RC(pos)))
Query(RC(pos), l, r, tmp, flag);//同上
}
bool bfs() {//Dinic板子,不详写
for(int i = s; i <= t; i++)
dep[i] = 0;
stt[s] = head[s];
dep[s] = 1;
q.push(s);
while(!q.empty()) {
int u = q.front(); q.pop();
for(int i = head[u]; i; i = edge[i].Next) {
int v = edge[i].To;
if(!dep[v] && edge[i].Cap) {
dep[v] = dep[u] + 1;
stt[v] = head[v];
q.push(v);
}
}
}
return dep[t] != 0;
}
int dfs(int u, int flow) {//同上
if(u == t || !flow)
return flow;
int rest = flow;
for(int i = stt[u]; i && rest; i = edge[i].Next) {
stt[u] = i;
int v = edge[i].To;
if(dep[v] == dep[u] + 1 && edge[i].Cap) {
int nextflow = dfs(v, min(rest, edge[i].Cap));
if(!nextflow)
dep[v] = -1;
edge[i].Cap -= nextflow;
edge[i ^ 1].Cap += nextflow;
rest -= nextflow;
}
}
return flow - rest;
}
int Dinic() {//同上
int res = 0;
int flow;
while(bfs())
while(flow = dfs(s, INF))
res += flow;
return res;
}
int main() {
scanf("%d %d %d", &n, &m, &k);
Build(1, 1, k, 1);
Build(1, 1, k, 0);
int opt, l;
for(int i = 1; i <= m; i++) {
scanf("%d %d", &opt, &l);
int tmp1 = ++tot;
int tmp2 = ++tot;
if(opt == 1) {
int a, b;
scanf("%d %d", &a, &b);
Query(1, a, a, tmp1, 1);
Query(1, b, b, tmp2, 0);
}
else if(opt == 2) {
int a1, a2, b1;
scanf("%d %d %d", &a1, &a2, &b1);
Query(1, a1, a2, tmp1, 1);
Query(1, b1, b1, tmp2, 0);
}
else if(opt == 3) {
int a1, b1, b2;
scanf("%d %d %d", &a1, &b1, &b2);
Query(1, a1, a1, tmp1, 1);
Query(1, b1, b2, tmp2, 0);
}
else {
int a1, a2, b1, b2;
scanf("%d %d %d %d", &a1, &a2, &b1, &b2);
Query(1, a1, a2, tmp1, 1);
Query(1, b1, b2, tmp2, 0);
}
Addedge(tmp1, tmp2, l);
}
t = tot + 1;
Addedge(s, Begin, n);//连接源点到左树1的点
Addedge(End, t, INF);//连接右树k的点到汇点
printf("%d", Dinic());
return 0;
}

[题解] T'ill It's Over的更多相关文章

  1. UNR #1 题解

    A. 争夺圣杯 还是想说一下,这题是原题啊...想做的人可以戳codechef上的MTMXSUM(懒得贴链接了,套了个壳,不过正常人应该都能看得出来) 显然异或输出没什么奇怪的性质... 考虑一个元素 ...

  2. NOIP2011 题解

    铺地毯 题解:比大小 #include <cstdio> +; int n, x, y, a[MAXN], b[MAXN], g[MAXN], k[MAXN]; inline int So ...

  3. 2016多校第六场题解(hdu5793&hdu5794&hdu5795&hdu5800&hdu5802)

    这场就做出一道题,怎么会有窝这么辣鸡的人呢? 1001 A Boring Question(hdu 5793) 很复杂的公式,打表找的规律,最后是m^0+m^1+...+m^n,题解直接是(m^(n+ ...

  4. bzoj usaco 金组水题题解(2)

    续.....TAT这回不到50题编辑器就崩了.. 这里塞40道吧= = bzoj 1585: [Usaco2009 Mar]Earthquake Damage 2 地震伤害 比较经典的最小割?..然而 ...

  5. UOJ Round #1 题解

    题解: 质量不错的一套题目啊..(题解也很不错啊) t1: 首先暴力显然有20分,把ai相同的缩在一起就有40分了 然后会发现由于原来的式子有个%很不方便处理 so计数题嘛 考虑一下容斥 最终步数=初 ...

  6. 【四校联考】【比赛题解】FJ NOIP 四校联考 2017 Round 7

    此次比赛为厦门一中出题.都是聚劳,不敢恭维. 莫名爆了个0,究其原因,竟然是快读炸了……很狗,很难受. 话不多说,来看看题: [T1] 题意: 样例: PS:1<=h[i]<=100000 ...

  7. Luogu P1351 联合权值 题解

    这是一个不错的树形结构的题,由于本蒟蒻不会推什么神奇的公式其实是懒得推...,所以很愉快的发现其实只需要两个点之间的关系为祖父和儿子.或者是兄弟即可. 然后问题就变得很简单了,只需要做一个正常的DFS ...

  8. 洛谷10月月赛R2·浴谷八连测R3题解

    早上打一半就回家了... T1傻逼题不说了...而且我的写法比题解要傻逼很多T T T2可以发现,我们强制最大值所在的块是以左上为边界的倒三角,然后旋转4次就可以遍历所有的情况.所以二分极差,把最大值 ...

  9. 【Codeforces Round #404 (Div. 2)】题解

    A. Anton and Polyhedrons 直接统计+答案就可以了. #include<cstdio> #include<cstring> #include<alg ...

随机推荐

  1. ThoughtWorks Homework

    ThoughtWorks Homework Homework 考察知识点 项目搭建 技术选型 测试 编码风格 代码质量 设计模式 数据结构 算法 架构 开源协作 CI/CD DevOps Linux ...

  2. website captcha

    website captcha 验证码 hCaptcha hCaptcha通过询问对人类来说很容易且对机器来说很困难的简单问题,可以帮助您喜欢的Web服务阻止机器人,垃圾邮件和滥用行为. https: ...

  3. CSS transition & shorthand property order

    CSS transition & shorthand property order shorthand property https://developer.mozilla.org/en-US ...

  4. py python-pptx 创建ppt

    创建一个简单的PPTX文件 from pptx import Presentation class Main(): def __init__(self): prs = Presentation() t ...

  5. bowser checker & UA

    bowser checker & UA navigator.userAgent; https://developer.mozilla.org/en-US/docs/Web/HTTP/Brows ...

  6. go语言第一天(变量与基本类型)

    第一个go程序: //导入主函数的包package main//fmt format 包含格式化输入输出import "fmt"//注释 注释不参与程序编译 可以帮助可以程序//行 ...

  7. fail模块场景(ansible)

    更多见博客 : https://blog.csdn.net/qq_35887546/article/details/105242720 创建剧本 /home/alice/ansible/lvm.yml ...

  8. alpakka-kafka(2)-consumer

    alpakka-kafka-consumer的功能描述很简单:向kafka订阅某些topic然后把读到的消息传给akka-streams做业务处理.在kafka-consumer的实现细节上,为了达到 ...

  9. Linux-两种磁盘分区方式

    Linux文件设备 要理解Linux,首先要理解Linux文件结构 在Linux操作系统中,几乎所有的设备都位于/dev目录中 名称 作用 位置 SATA接口 电脑硬盘接口 /dev/sd[a-p] ...

  10. Tango with Django 1.9 中文——1.概述

    译者注:英文书地址https://leanpub.com/tangowithdjango19/,作者为Leif Azzopardi 和 David Maxwell.本文仅为尝试.学习和交流,著作权利归 ...