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. (js描述的)数据结构[树结构之红黑树](13)

    1.二叉送搜索树的缺点: 2.红黑树难度: 3.红黑树五大规则: 4.红黑树五大规则的作用: 5.红黑树二大变换: 1)变色 2)旋转 6.红黑树的插入五种变换情况: 先声明--------插入的数据 ...

  2. Centos7如何安装MySQL

    参考博文: 1.安装 https://blog.csdn.net/qq_36582604/article/details/80526287 2.改密码 https://blog.csdn.net/we ...

  3. coding++:漫画版-了解什么是分布式事务?

    —————  第二天  ————— ———————————— 假如没有分布式事务: 在一系列微服务系统当中,假如不存在分布式事务,会发生什么呢?让我们以互联网中常用的交易业务为例子: 上图中包含了库存 ...

  4. C语言局部数组大小与内存的栈的关系

    今天有个同学问了一个问题,我居然答不上来,为什么不能开局部整型二维数组[1000][1000]?但是在数组前面加上一个static就可以了? windows下栈的大小(不是数据结构里面的栈)是2MB, ...

  5. 化繁为简,弱监督目标定位领域的新SOTA - 伪监督目标定位方法(PSOL) | CVPR 2020

    论文提出伪监督目标定位方法(PSOL)来解决目前弱监督目标定位方法的问题,该方法将定位与分类分开成两个独立的网络,然后在训练集上使用Deep descriptor transformation(DDT ...

  6. 数据结构与算法--二分搜索(binary search)

    前言 之前面试准备秋招,重新翻起了<编程之美>.在第三章节看到了一道关于二分搜索的讨论,觉得有许多细节是自己之前也没怎么特别注意地方,比如二分搜索的初始条件,转化.终止条件之类的. 问题 ...

  7. 装机摸鱼日记01--DDR3AMD专用内存+QHQF(6400T)试水

    前些日子在某鱼入手了两条AMD专用内存,宏想的DDR3-1600MHz-8G内存和一块高贵阿苏斯Z170-P-D3主板,然后某宝600多买了一颗QHQF(当然也可以玩QHQJ,更便宜,估计三百多),准 ...

  8. vue2.x学习笔记(一)

    使用vue开发项目已经过了一段时间了,对其中的很多东西还是一知半解,于是想要系统学习一下.主要内容是参照官方中文网站https://cn.vuejs.org/v2/guide/,然后加上一些自己的理解 ...

  9. Java实现链表(个人理解链表的小例子)

    1.单链表和数组的区别 数组:数组的存储空间是连续的,需要事先申请空间确定大小,通过下标查找数据,所以查找速度快,但是增加和删除速度慢 链表:离散存储,不需要事先确定大小,通过头指针加遍历查找数据,查 ...

  10. testNG 预期异常、忽略测试、超时测试

    通过@Test 注解的参数值实现如下的几种测试 一.通过 @Test(expectedExceptions=异常类名) 参数实现到达 预期指定的异常效果 @Test(expectedException ...