/* 题意:还是二进制异或,和poj3678类似 建边和poj3678一样 */ #include<stdio.h> #include<string.h> #include<math.h> #define N 2100 struct node { int v,next; } bian[N*N]; int head[N],dfn[N],low[N],vis[N],stac[N],belong[N],yong,ans,index,top; void init() { yon…

Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 6714   Accepted: 2472 Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integ…

Katu Puzzle Time Limit: 1000MS   Memory Limit: 65536K Total Submissions: 7949   Accepted: 2914 Description Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integ…

题目给的太裸,显然2sat: 还是用i表示xi=true(1), i+n表示xi=false(0) 这题唯一要说的是一种情况,当xi必须=true或xi必须=false这种情况下怎么弄 比如这道题出现的 假如条件要求xi or xj=0 那么 除了i+n--->j+n ,j+n--->i+n这两条边外 显然还要xi,xj都必须取false 这种情况我们好像不好用“推导出”的原理建边, 考虑这样的情况1,假如存在路径i+n--->i,但不存在路径i--->i+n 为什么这种情况是有解…

题目链接:http://poj.org/problem?id=3678 分别对and,or,xor推出相对应的逻辑关系: 逻辑关系 1 0  A and B     A'->A,B'->B A->B',B->A' A or B   A'->B',B'->A A->A',B->B' A xor B     A'->B,B'->A,A->B',B->A' A->B,A'->B' //STATUS:C++_AC_96MS_472…

   首先我是的确确定了LRJ那个代码也是判断一个点的两种状态是否在一个连通分量内.    关于自己做的,自己又确定了一些,让自己那样先,比如说对于 3 6 1 AND这样3 6都已经确定的点,自己用Num记录的话结果死的很惨.    我也确定下,现场比赛自己创算法(指的是代码比较新)的话也许会死的很惨...       2-SAT,后来我忽然想到就是确定的位置也可以用这种对称方法做出来,就加一个每种状态都可以推出这种状态呗..    顺便知道了RANK上排名超前的一般都加入了输入输出加速了  …

传送门:Katu Puzzl 题意:n个点,点的取值可以是0或者1.m条边,有权值,有运算方式(并,或,异或),要求和这条边相连的两个点经过边上的运算后的结果是边的权值.问你有没有可能把每个点赋值满足所有边的要求. 分析:每个点必须取一个值满足所有限制条件,明显的two-sat模型. AND 结果为1:建边 ~a->a,~b->b (两个数必须全为1) AND 结果为0:建边 b->~a,a->~b (两个数至少有一个为0) OR 结果为1:建边 ~a->b,~b->a…

大概题意 有\(n\)个数,可以为\(0/1\),给\(m\)个条件,表示某两个数经过\(or, and, xor\)后的数是多少 判断是否有解 Sol \(2-SAT\)判定 建图 # include <iostream> # include <stdio.h> # include <stdlib.h> # include <string.h> # include <math.h> # include <algorithm> # d…

原题链接 \(2-SAT\)模板题. 将\(AND,OR,XOR\)转换成\(2-SAT\)的命题形式连边,用\(tarjan\)求强连通分量并检验即可. #include<cstdio> using namespace std; const int N = 2010; const int M = 4e6 + 10; int fi[N], di[M], ne[M], dfn[N], low[N], st[N], bl[N], l, tp, ti, SCC; bool v[N]; inline…

http://poj.org/problem?id=3678 总觉得这题比例题简单. 设a为x取0的点,a+n为x取1的点. 我们还是定义a到b表示取a必须取b. 那么我们有: 当AND: 1.当c=1:add(a,a+n); add(b,b+n);//我们不能取0的点,所以我们让程序一旦取0必会矛盾,下面类似的同理. 2.当c=0:add(a+n,b); add(b+n,a); 当OR 1.当c=1:add(a,b+n);add(b,a+n); 2.当c=0:add(a+n,a);add(b+…