
可满足性范式
文章平均质量分 87
phython96
ACM退役~
展开
-
codeforces National Property 2sat模板题
题目链接每个字符只能取小写和大写两种情况,因此满足2-sat的要求。我们从第2个word开始,与前一个word进行比较。比较的时候从word左边的字符开始,找到左起的第一个不相同的字符(位置为pos)。1.如果word[i-1][pos]那么表明如果word[i-1][pos]取小写的话,那么word[i][pos]一定要取小写。同时word[i][pos]取大写的时候,w原创 2017-10-17 20:06:12 · 345 阅读 · 0 评论 -
poj3648 Wedding 2-sat
题目链接:题目建图:1.新娘向新郎连边,表示选取的时候选取新娘对面的。2.有奸情的人比如是 xh yh那么连边(x,y+n)以及(y,x+n)如果是xh yw 那么连边(x,y) 以及 (y+n,x)如果是xw yh 那么连边(x+n,y+n)以及(y,x)如果是xw yw那么连边(x+n,y)以及(y,x+n)其中 (x表示丈夫 x 3.跑2原创 2017-09-20 23:36:49 · 255 阅读 · 0 评论 -
2-sat模板- 输出可行解
自己写的代码using namespace std;const int maxn = 1e6;int head[maxn];int DFN[maxn],LOW[maxn],stk[maxn],visit[maxn],belong[maxn];vector scc[maxn];int tot,idx,cnt,sccnum;int n,color[maxn],degree[maxn],原创 2017-09-20 23:34:48 · 630 阅读 · 0 评论