P3588 【[POI2015]PUS】

终于有个能让我一遍过的题了,写篇题解纪念一下

给定长度为n的序列和其中部分已知的数,还有m个大小关系:区间\([l,r]\)中,有k个给定的数比剩下的\(r-l+1-k\)个数都大

求是否有解,有解给出任意一个合法方案

按大小关系,从大的数向小的数连边

直接建图肯定不行,考虑用线段树优化,如果你不会线段树优化建边,点这里

对于每个\([l,r]\)的区间,这k个给定的数会把区间分成\(k+1\)个小区间

新建一个虚拟节点,这k个数分别向虚拟节点连边,这个虚拟节点再通过线段树向\(k+1\)个小区间连边

 

有环会出现自己大于自己的情况,要先判掉

再拓扑排序,求一种序列

先把未给出的数赋值为1e9,然后对于每一条u->v的边,a[v]=min(a[v],a[u]-len[i])len[i]为边权

线段树中的边是虚构的只是为了让它联通起来,所以边权为0,实际的边边权为1,也就是a[v]至少比a[u]少1

如果出现a[v]为给定的数,且a[v]>a[u]-len[i],则找不出合法方案

如果出现了a[v]<0的情况,超出题目要求的值域,无解

剩下的在注释里

#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cmath>
#include<queue>
#include<iomanip>
#include<cstring>
#define R register
#define EN std::puts("")
#define LL long long
inline int read(){
int x=0,y=1;
char c=std::getchar();
while(c<'0'||c>'9'){if(c=='-') y=0;c=std::getchar();}
while(c>='0'&&c<='9'){x=x*10+(c^48);c=std::getchar();}
return y?x:-x;
}
int n,s,m,nn;
int a[2000006],should[2000006];//should[i]=1,说明i号数字为给定的数字
int in[2000006];
struct tr{
tr *ls,*rs;
int id;
}dizhi[2000006],*root=&dizhi[0];
int tot;
int fir[2000006],to[2000006],nex[2000006],len[2000006];
int etot;
int vis[2000006],instack[2000006];//vis标记是否被访问,instack标记是否在栈中
int huan;//记录是否有环
void dfs(int u){
vis[u]=instack[u]=1;
for(R int i=fir[u];i;i=nex[i]){
if(instack[to[i]]) huan=1;//遇到已经在栈中节点,说明有环
if(!vis[to[i]]) dfs(to[i]);
}
instack[u]=0;
}
inline void add(int u,int v,int x){
to[++etot]=v;len[etot]=x;
nex[etot]=fir[u];fir[u]=etot;
}
void build(tr *tree,int l,int r){
if(l==r){tree->id=l;return;}
int mid=(l+r)>>1;
tree->ls=&dizhi[++tot];tree->rs=&dizhi[++tot];
build(tree->ls,l,mid);build(tree->rs,mid+1,r);
tree->id=++nn;
// std::printf("block %d %d id:%d\n",l,r,tree->id);
add(tree->id,tree->ls->id,0);add(tree->id,tree->rs->id,0);
in[tree->ls->id]++;in[tree->rs->id]++;
}
void addtree(tr *tree,int l,int r,int ql,int qr,int u){
if(ql<=l&&r<=qr){add(u,tree->id,0);in[tree->id]++;return;}//在由k个点向虚拟节点连边时建的边边权为1,所以这里要建边权为0的边
int mid=(l+r)>>1;
if(ql<=mid) addtree(tree->ls,l,mid,ql,qr,u);
if(qr>mid) addtree(tree->rs,mid+1,r,ql,qr,u);
}
std::queue<int>q;
inline void topo(){
for(R int i=1;i<=nn;i++) if(!a[i])a[i]=1e9;//先把为给定的数设为最大
for(R int i=1;i<=nn;i++) if(!in[i])q.push(i);
while(!q.empty()){
R int u=q.front();q.pop();
for(R int i=fir[u];i;i=nex[i]){
int v=to[i];
if(should[v]){
if(a[v]>a[u]-len[i]){std::puts("NIE");std::exit(0);}
}
else a[v]=std::min(a[v],a[u]-len[i]);
if(a[v]<1){std::puts("NIE");std::exit(0);}//超出值域
if(!--in[v]) q.push(v);
}
}
}
int main(){
nn=n=read();s=read();m=read();
for(R int i=1;i<=s;i++){
int pos=read();
a[pos]=read();should[pos]=1;
}
build(root,1,n);
while(m--){
int l=read(),r=read(),k=read();nn++;
R int last=l,x;
for(R int j=1;j<=k;j++){
x=read();
add(x,nn,1);in[nn]++;
if(x>last) addtree(root,1,n,last,x-1,nn);
last=x+1;
}
if(last<=r) addtree(root,1,n,last,r,nn);
}
for(R int i=1;i<=n;i++)if(!vis[i]){
huan=0;dfs(i);
if(huan){std::puts("NIE");std::exit(0);}
}
topo();
std::puts("TAK");
for(R int i=1;i<=n;i++) std::printf("%d ",a[i]);
// EN;
// for(R int i=1;i<=nn;i++){
// std::printf("%d:",i);
// for(R int j=fir[i];j;j=nex[j]){
// std::printf("(%d %d) ",to[j],len[j]);
// }
// EN;
// }
return 0;
}

P3588 【[POI2015]PUS】(线段树优化建边)的更多相关文章

  1. [POI2015]PUS [线段树优化建图]

    problem 线段树优化建图,拓扑,没了. #include <bits/stdc++.h> #define ls(x) ch[x][0] #define rs(x) ch[x][1] ...

  2. BZOJ_4383_[POI2015]Pustynia_线段树优化建图+拓扑排序

    BZOJ_4383_[POI2015]Pustynia_线段树优化建图+拓扑排序 Description 给定一个长度为n的正整数序列a,每个数都在1到10^9范围内,告诉你其中s个数,并给出m条信息 ...

  3. 【bzoj4383】[POI2015]Pustynia 线段树优化建图+差分约束系统+拓扑排序

    题目描述 给定一个长度为n的正整数序列a,每个数都在1到10^9范围内,告诉你其中s个数,并给出m条信息,每条信息包含三个数l,r,k以及接下来k个正整数,表示a[l],a[l+1],...,a[r- ...

  4. BZOJ4383 [POI2015]Pustynia[线段树优化建边+拓扑排序+差分约束]

    收获挺大的一道题. 这里的限制大小可以做差分约束,从$y\to x$连$1$,表示$y\le x-1$即$y<x$,然后跑最长路求解. 但是,如果这样每次$k+1$个小区间每个点都向$k$个断点 ...

  5. 洛谷P3588 [POI2015]PUS(线段树优化建图)

    题面 传送门 题解 先考虑暴力怎么做,我们把所有\(r-l+1-k\)中的点向\(x\)连有向边,表示\(x\)必须比它们大,那么如果这张图有环显然就无解了,否则的话我们跑一个多源最短路,每个点的\( ...

  6. UOJ#77. A+B Problem [可持久化线段树优化建边 最小割]

    UOJ#77. A+B Problem 题意:自己看 接触过线段树优化建图后思路不难想,细节要处理好 乱建图无果后想到最小割 白色和黑色只能选一个,割掉一个就行了 之前选白色必须额外割掉一个p[i], ...

  7. Codeforces 1045. A. Last chance(网络流 + 线段树优化建边)

    题意 给你 \(n\) 个武器,\(m\) 个敌人,问你最多消灭多少个敌人,并输出方案. 总共有三种武器. SQL 火箭 - 能消灭给你集合中的一个敌人 \(\sum |S| \le 100000\) ...

  8. BZOJ5017 [SNOI2017]炸弹 - 线段树优化建图+Tarjan

    Solution 一个点向一个区间内的所有点连边, 可以用线段树优化建图来优化 : 前置技能传送门 然后就得到一个有向图, 一个联通块内的炸弹可以互相引爆, 所以进行缩点变成$DAG$ 然后拓扑排序. ...

  9. 【BZOJ3681】Arietta 树链剖分+可持久化线段树优化建图+网络流

    [BZOJ3681]Arietta Description Arietta 的命运与她的妹妹不同,在她的妹妹已经走进学院的时候,她仍然留在山村中.但是她从未停止过和恋人 Velding 的书信往来.一 ...

  10. 【ARC069F】Flags 2-sat+线段树优化建图+二分

    Description ​ 数轴上有 n 个旗子,第 ii 个可以插在坐标 xi或者 yi,最大化两两旗子之间的最小距离. Input ​ 第一行一个整数 N. ​ 接下来 N 行每行两个整数 xi, ...

随机推荐

  1. Java第七天,类的继承

    面向对象编程的三大特征: 封装.继承.多态 今天我们学习继承! 继承是多态的前提,如果没有继承就没有多态. 继承主要解决的问题就是共性抽取(将许多类共有的特性便作父类,这样可以较大程度的优化代码). ...

  2. easy-mock 本地部署(挤需体验三番钟,里造会干我一样,爱象节款mock)

    前言 很多小伙伴问我怎么在自己公司的项目里面添加配置mock,在vue项目里面都知道怎么配置mock,在大型前端项目里面就一脸疑惑了. 我就回答他,你今天会在vue项目里面用,那天换公司是用angul ...

  3. Python+Tornado开发微信公众号

    本文已同步到专业技术网站 www.sufaith.com, 该网站专注于前后端开发技术与经验分享, 包含Web开发.Nodejs.Python.Linux.IT资讯等板块. 本教程针对的是已掌握Pyt ...

  4. matplotlib TransformedBbox 和 LockableBbox

    TransformedBbox 和 LockableBbox 都是BboxBase的子类.TransformedBbox支持使用变换来初始化bbox, LockableBbox可实现锁定bbox的边不 ...

  5. 并发——深入分析ThreadLocal的实现原理

    一.前言   这篇博客来分析一下ThreadLocal的实现原理以及常见问题,由于现在时间比较晚了,我就不废话了,直接进入正题. 二.正文 2.1 ThreadLocal是什么   在讲实现原理之前, ...

  6. Java基础】并发 - 多线程

    Java基础]并发 - 多线程 分类: Java2014-05-03 23:56 275人阅读 评论(0) 收藏 举报 Java   目录(?)[+]   介绍 Java多线程 多线程任务执行 大多数 ...

  7. Python之利用jieba库做词频统计且制作词云图

    一.环境以及注意事项 1.windows10家庭版 python 3.7.1 2.需要使用到的库 wordcloud(词云),jieba(中文分词库),安装过程不展示 3.注意事项:由于wordclo ...

  8. 接口测试中实际发生的几个问题——python中token传递

    前言 文的文字及图片来源于网络,仅供学习.交流使用,不具有任何商业用途,版权归原作者所有,如有问题请及时联系我们以作处理. 作者:AFKplayer PS:如有需要Python学习资料的小伙伴可以加点 ...

  9. A - Chat Group Gym-101775A

    题目连接:https://codeforces.com/gym/101775/problem/A 题解:就是累加组合数 但是直接由K累加到N肯定会TLE ,所以我们不妨判断不能组成group的情况,即 ...

  10. 架构师修炼之微服务部署 - Docker简介

    Docker简介 Docker 是一个开源的应用容器引擎,让开发者可以打包他们的应用以及依赖包到一个可移植的容器中,然后发布到任何流行的Linux机器或Windows 机器上,也可以实现虚拟化,容器是 ...