Description

给出一个关系,包括 And,Xor,Or 问是否存在解.

Sol

经典的2-SAT问题.

把每个值看成两个点,一个点代表选 \(0\) ,另一个代表选 \(1\) .

首先来看 Xor :

如果两个值异或起来为 \(1\) :那么连边 \((i_0,j_1),(i_1,j_0),(j_0,i_1),(j_1,i_0)\) .

否则 连边 \((i_0,j_0),(i_1,j_1),(j_0,i_0),(j_1,i_1)\) .

然后是 And.

如果两个值 And 起来为 \(1\) :连边 \((i_0,i_1),(j_0,j_1)\)

否则 连边 \((i_1,j_0),(j_1,i_0)\)

最后是 Or.

如果两个值 Or 起来为 \(1\) :连边 \((i_0,j_1),(j_1,i_0)\)

否则 连边 \((i_1,i_0),(j_1,j_0)\) .

Tarjan 缩一下环判断一下两个点是否在一个环中就可以了.

Code

#include <cstdio>
#include <iostream>
#include <vector>
using namespace std; const int N = 2005; int n,m,cnt,cntb;
vector< int > g[N];
int d[N],b[N],ins[N];
int stk[N],top; inline int in(int x=0,char ch=getchar()){ while(ch>'9' || ch<'0') ch=getchar();
while(ch>='0' && ch<='9') x=x*10+ch-'0',ch=getchar();return x; }
void Add_Edge(int fr,int to) { g[fr].push_back(to); }
void Tarjan(int u,int fa) {
int dfsn=++cnt;d[u]=cnt,ins[u]=1,stk[++top]=u;
for(int i=0,v;i<(int)g[u].size();i++) {
v=g[u][i];
if(!d[v]) Tarjan(v,u);
if(ins[v]) d[u]=min(d[u],d[v]);
}if(dfsn==d[u]) {
for(++cntb;stk[top]!=u;top--) {
b[stk[top]]=cntb,ins[stk[top]]=0;
}ins[stk[top]]=0,b[stk[top--]]=cntb;
}
// cout<<u<<":"<<dfsn<<" "<<d[u]<<endl;
}
int main() {
// freopen("in.in","r",stdin);
n=in(),m=in();
char opt[50];
for(int i=1;i<=m;i++) {
int u=in(),v=in(),w=in();
scanf("%s",opt);
if(u>v) swap(u,v);
if(opt[0]=='X') {
if(w) {
Add_Edge(u*2,v*2+1);
Add_Edge(u*2+1,v*2);
Add_Edge(v*2,u*2+1);
Add_Edge(v*2+1,u*2);
}else {
Add_Edge(u*2,v*2);
Add_Edge(v*2,u*2);
Add_Edge(u*2+1,v*2+1);
Add_Edge(v*2+1,u*2+1);
}
}else if(opt[0]=='A') {
if(w) {
Add_Edge(u*2,u*2+1);
Add_Edge(v*2,v*2+1);
}else {
Add_Edge(u*2+1,v*2);
Add_Edge(v*2+1,u*2);
}
}else {
if(w) {
Add_Edge(u*2,v*2+1);
Add_Edge(v*2,u*2+1);
}else {
Add_Edge(u*2+1,u*2);
Add_Edge(v*2+1,v*2);
}
}
}
for(int i=0;i<2*n;i++) if(!d[i]) Tarjan(i,i);
// for(int i=0;i<2*n;i++) cout<<b[i]<<" ";cout<<endl;
for(int i=0;i<2*n;i++) if(b[i]==b[i^1]) return puts("NO"),0;
return puts("YES"),0;
}

  

POJ 3678 Katu Puzzle的更多相关文章

  1. POJ 3678 Katu Puzzle(2-SAT,合取范式大集合)

    Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 9987   Accepted: 3741 Descr ...

  2. poj 3678 Katu Puzzle(2-sat)

    Description Katu Puzzle ≤ c ≤ ). One Katu ≤ Xi ≤ ) such that for each edge e(a, b) labeled by op and ...

  3. POJ 3678 Katu Puzzle (经典2-Sat)

    Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 6553   Accepted: 2401 Descr ...

  4. POJ 3678 Katu Puzzle(2 - SAT) - from lanshui_Yang

    Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a ...

  5. POJ 3678 Katu Puzzle (2-SAT)

                                                                         Katu Puzzle Time Limit: 1000MS ...

  6. poj 3678 Katu Puzzle 2-SAT 建图入门

    Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a ...

  7. poj 3678 Katu Puzzle(Two Sat)

    题目链接:http://poj.org/problem?id=3678 代码: #include<cstdio> #include<cstring> #include<i ...

  8. POJ 3678 Katu Puzzle 2-SAT 强连通分量 tarjan

    http://poj.org/problem?id=3678 给m条连接两个点的边,每条边有一个权值0或1,有一个运算方式and.or或xor,要求和这条边相连的两个点经过边上的运算后的结果是边的权值 ...

  9. POJ 3678 Katu Puzzle(强连通 法)

    题目链接 题意:给出a, b, c 和操作类型 (与或异或),问是否满足所有的式子 主要是建图: 对于 and , c == 1: 说明 a 和 b都是1,那么 0 就不能取, a' -> a ...

随机推荐

  1. 玩KVM

    按照网上的一篇博客玩KVM,结果wifi上不了网,上不了网! 把br0下线就好了! 呀------ 11月16日,今天发现kvm卡成屎可能是和kvm内存使用率为0相关,虚拟机中的内存显示内存确实是我配 ...

  2. 【转】【MySql】MySql优化要点

    如今随着互联网的发展,数据的量级也是撑指数的增长,从GB到TB到PB.对数据的各种操作也是愈加的困难,传统的关系性数据库已经无法满足快速查询与插入数据的需求.这个时候NoSQL的出现暂时解决了这一危机 ...

  3. 图像旋转 OpenCV实现

    经常对一幅图像进行旋转操作,OpenCV中提供了很方便易用的仿射变换函数warpAffine, 通过getRotationMatrix2D可以得到放射变换矩阵(矩阵大小2x3) #include &l ...

  4. FineUI(专业版)实现百变通知框(无JavaScript代码)!

    博客园已经越来越不公正了,居然说我这篇文章没有实质的内容!! 我其实真的想问哪些通篇几十个字,没任何代码和技术分享,嚷嚷着送书的文章的就能雄霸博客园首页几天,我这篇文章偏偏就为管理员所容不下. 其实我 ...

  5. 使用Python进行描述性统计

    目录 1 描述性统计是什么?2 使用NumPy和SciPy进行数值分析 2.1 基本概念 2.2 中心位置(均值.中位数.众数) 2.3 发散程度(极差,方差.标准差.变异系数) 2.4 偏差程度(z ...

  6. 在ubuntu/deepin/mint等系统中使用命令删除文件或文件夹

    此命令操作需谨慎: sudo rm -rf 文件夹路径(或文件路径)  

  7. node 常用命令

    nvm nvm list  列出安装的node npm install -g cnpm --registry=https://registry.npm.taobao.org  安装cnpm npm i ...

  8. 单元测试与Moq

    这个篇幅里面,记录单元测试与Moq模拟包的知识点. 单元测试 每一个模块,都应该有对应的单元测试.单元测试可以保证你的代码准确性,大大减少出现BUG的几率.一个好的单元测试,也是重构代码必不可少的部分 ...

  9. /etc/fstab 文件配置项简单介绍

    Untitled .note-content {font-family: 'Helvetica Neue', Arial, 'Hiragino Sans GB', STHeiti, 'Microsof ...

  10. <<< Tomcat运行提示The server does not support version 3.0

    导入了一个项目,运行Tomcat出现此错误大致由于当前导入项目服务器不支持J2ee版本 原因是导入项目的Tomcat版本是6.0,Tomcat 6.0仅支持到Servlet 2.5,而此时项目是3.0 ...