【BZOJ1997】Planar(2-sat)
【BZOJ1997】Planar(2-sat)
题面
题解
很久没做过\(2-sat\)了
今天一见,很果断的就来切
这题不难呀
但是有个玄学问题:
平面图的性质:边数\(m\)的最大值为\(3n-6\)
然后就可以把边数减到\(O(n)\)级别。。。
现在好了
因为已经告诉你了一个环
那就先把环给抠出来
剩下的就相当于给你若干条边,
你可以从环里面连也可以从环外面连
判定是否可以没有交点
很熟悉的\(2-sat\)了
连边缩点,判断一下可行性
搞定
一开始边开小了,身败名裂
#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MAXL 22222
inline int read()
{
RG int x=0,t=1;RG char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=-1,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return x*t;
}
struct Line{int u,v;}E[MAXL];
struct edge{int v,next;}e[MAXL<<3];
int h[MAXL],cnt,tot;
inline void Add(int u,int v){e[cnt]=(edge){v,h[u]};h[u]=cnt++;}
int p[MAXL],S[MAXL],top,G[MAXL],gr;
int dfn[MAXL],low[MAXL],tim;
int n,m;
void init(int m)
{
cnt=1;gr=tot=top=0;
for(int i=1;i<=m+m;++i)dfn[i]=low[i]=G[i]=h[i]=0;
}
void Tarjan(int u,int ff)
{
dfn[u]=low[u]=++tim;
S[++top]=u;
for(int i=h[u];i;i=e[i].next)
{
int v=e[i].v;
if(v==ff)continue;
if(!dfn[v])Tarjan(v,u),low[u]=min(low[u],low[v]);
else low[u]=min(low[u],dfn[v]);
}
if(low[u]==dfn[u])
{
int v;++gr;
do{v=S[top--];G[v]=gr;}while(u!=v);
}
}
bool check()
{
for(int i=1;i<=m;++i)if(G[i]==G[i+m])return false;
return true;
}
int main()
{
int T=read();
while(T--)
{
n=read();m=read();
for(int i=1;i<=m;++i)E[i].u=read(),E[i].v=read();
for(int i=1;i<=n;++i)p[read()]=i;
for(int i=1;i<=m;++i)E[i].u=p[E[i].u],E[i].v=p[E[i].v];
if(m>3*n-6){puts("NO");continue;}
init(m);
for(int i=1;i<=m;++i)if(abs(E[i].u-E[i].v)!=1)E[++tot]=E[i];
m=tot;
for(int i=1;i<=m;++i)if(E[i].u>E[i].v)swap(E[i].u,E[i].v);
for(int i=1;i<=m;++i)
for(int j=1;j<=m;++j)
if(E[i].u<E[j].u&&E[j].u<E[i].v&&E[i].v<E[j].v)
Add(i+m,j),Add(i,j+m),Add(j,i+m),Add(j+m,i);
for(int i=1;i<=m+m;++i)if(!dfn[i])Tarjan(i,0);
check()?puts("YES"):puts("NO");
}
}
【BZOJ1997】Planar(2-sat)的更多相关文章
- 【BZOJ2599】Race(点分治)
[BZOJ2599]Race(点分治) 题面 BZOJ权限题,洛谷 题解 好久没写过点分治了... 在ppl的帮助下终于想起来了 orz ppl 首先回忆一下怎么求有没有正好是\(K\)的路径 维护一 ...
- 【HDU4622】Reincarnation(后缀自动机)
[HDU4622]Reincarnation(后缀自动机) 题面 Vjudge 题意:给定一个串,每次询问l~r组成的子串的不同子串个数 题解 看到字符串的大小很小 而询问数太多 所以我们预处理任意的 ...
- 【BZOJ2882】工艺(后缀自动机)
[BZOJ2882]工艺(后缀自动机) 题面 BZOJ权限题,良心洛谷 题解 还是一样的,先把串在后面接一遍 然后构建\(SAM\) 直接按照字典序输出\(n\)次就行了 #include<io ...
- 【BZOJ2882】工艺(后缀数组)
[BZOJ2882]工艺(后缀数组) 题面 BZOJ权限题,我爱良心洛谷 题解 最容易的想法: 把字符串在后面接一份 然后求后缀数组就行了... #include<iostream> #i ...
- 【BZOJ3277】串(后缀自动机)
[BZOJ3277]串(后缀自动机) 题面 BZOJ 题解 广义后缀自动机??? 照着别人的打了一遍.. 相当于每个串都构建一个后缀自动机 构建完一个串之后,直接把当前的last指回root就行了?? ...
- 【BZOJ3238】差异(后缀自动机)
[BZOJ3238]差异(后缀自动机) 题面 BZOJ 题解 前面的东西直接暴力算就行了 其实没必要算的正正好 为了方便的后面的计算 我们不考虑\(i,j\)的顺序问题 也就是先求出\(\sum_{i ...
- 【BZOJ3998】弦论(后缀自动机)
[BZOJ3998]弦论(后缀自动机) 题面 BZOJ 题解 这题应该很简单 构建出\(SAM\)后 求出每个点往后还能构建出几个串 按照拓扑序\(dp\)一些就好了 然后就是第\(k\)大,随便搞一 ...
- 【SPOJ】Substrings(后缀自动机)
[SPOJ]Substrings(后缀自动机) 题面 Vjudge 题意:给定一个长度为\(len\)的串,求出长度为1~len的子串中,出现最多的出现了多少次 题解 出现次数很好处理,就是\(rig ...
- 【BZOJ1146】网络管理(整体二分)
[BZOJ1146]网络管理(整体二分) 题面 良心洛谷,有BZOJ权限题 题解 要看树套树的戳这里 毕竟是:智商不够数据结构来补 所以, 我们来当一回智商够的选手 听说主席树的题目大部分都可以整体二 ...
随机推荐
- react-native WebView 返回处理 (非回调方法可解决)
1.前言 项目中有些页面内容是变更比较频繁的,这些页面我们会考虑用网页来解决. 在RN项目中提供一个公用的Web页,如果是网页内容,就跳转到这个界面展示. 此时会有一个问题是,网页会有一级页面,二级页 ...
- 恢复linux系统文件夹颜色
/etc/DIR_COLORS 默认值 # Background color codes:# 40=black 41=red 42=green 43=yellow 44=blue 45=magenta ...
- 洛谷P1879 [USACO06NOV]玉米田Corn Fields【状压DP】题解+AC代码
题目描述 Farmer John has purchased a lush new rectangular pasture composed of M by N (1 ≤ M ≤ 12; 1 ≤ N ...
- ubuntu16 ftp 服务 vsftp 配置
转载:沐心_ 地址:http://bbs.csdn.net/topics/392186116------------------------------------------------------ ...
- mysql2 - 基础
一.SQL 练习 在java1701下,创建Stuednt 表,并插入以下数据: 增加创建时间字段,如下: 更改所有时间为当前时间: 二.数据库基础知识 1. 关系模型 1.1 表 table.列 c ...
- python资源推荐
一.文档教程 1. 廖雪峰python教程 廖老师的教程我相信不用说了吧,每个学习python的人或多或少都听说过他,对我的帮助很大. 2.python中文学习大本营 名字叫做python中文学习大本 ...
- 如何遍历 Windows 摄像头设备?
#include <stdlib.h> #include <iostream> #include <Windows.h> #include <comdef.h ...
- CodeForces - 796B 模拟
思路:模拟移动即可,如果球落入洞中停止移动.注意:有可能第一个位置就是洞!! AC代码 #include <cstdio> #include <cmath> #include ...
- LOJ6277~6285 数列分块入门
Portals 分块需注意的问题 数组大小应为,因为最后一个块可能会超出的范围. 当操作的区间在一个块内时,要特判成暴力修改. 要清楚什么时候应该+tag[t] 数列分块入门 1 给出一个长为的数列, ...
- ACL访问控制列表
acl是基于文件系统的,所以支不支持acl在于使用什么文件系统. FAT32文件系统不支持权限,也不区分大小写 如果一个分区不是安装系统时分的分区,是一个新的分区的话,默认是不支持acl CentOS ...