2-SAT
文章平均质量分 54
DZYO
Never stop
展开
-
poj3678:Katu Puzzle(2-SAT)
传送门题意有一个大小为N的集合={x1,x2..xn},xi=0或1,现在给出它们之间的一些逻辑运算的结果(比如x1 and x2=1),逻辑运算有AND OR XOR三种,问是否存在一种满足所有条件的取值方案。题解:2-SAT这道题真是把2-SAT思想诠释得淋漓尽致。给出关键部分: if(ch[1]=='A') { if(c==1)//原创 2017-07-18 21:43:03 · 277 阅读 · 0 评论 -
poj2749:Building roads(2-SAT)
传送门题意 一对新人结婚,邀请了n-1对夫妇去参加婚礼。婚礼上所有人要坐在一张很长的桌子。的两边。所有的夫妇(包括新郎新娘)两人不能坐在同一边。还有m对人,对于每对人 (a,b),两人不能同时坐在新郎一边,但可以同时坐在新娘这边或是分两边坐。如果存在一种可行的方案,输出与新娘同侧的人 (任意一种方案即可)。否则输出无解(bad luck)。题解:2-SAT 2-SAT问题 按照自己的理原创 2017-07-18 21:14:33 · 307 阅读 · 0 评论 -
BZOJ2199: [Usaco2011 Jan]奶牛议会(2-SAT+DP)
传送门题意: 2-SAT判定每个点是两种方案都可选还是只能选一种方案。题解: 明显,两种方案都可选只有两种方案之间没有可以到达的连边。可以每个点dfs一遍判断可行性,也可以缩点后在拓扑图上dp。如果dp时用bitset会更快。#include<bits/stdc++.h>using namespace std;const int Maxn=2e3+50;int n,m,lim;char c原创 2017-09-06 09:00:05 · 339 阅读 · 0 评论 -
Codeforces Round #441 Div. 2 E,F
E: 传送门题意: 给nn个由11~ mm数字组成的字符串(n,m≤1e5)(n,m\le 1e5),每个字符串长度为li(∑ili≤1e5)l_i(\sum\limits_{i}l_i\le 1e5)。字典序大小满足小写比大写都大。现在可以改变任意数字的大小写,满足所有前面的串字典序小等于后面的串。题解: 首先考虑怎么满足一个串比后面所有的都要小?是一个一个判断,还是有别的方法。其实只要保证原创 2017-10-17 22:37:53 · 282 阅读 · 0 评论 -
BJ模拟:Mythological V (2-SAT)
题意: 小S打算送给小M一棵nnn个点的圣诞树,点从111到nnn标号,他打算给树上挂上mmm个礼物,每个礼物在树上的某个点上,礼物可以重叠。 小M给了小S qqq个限制,其中第iii个形如“第aiaia_i个礼物和第bibib_i个礼物在树上的路径经过了点cicic_i”。 构造出符合小M条件的挂礼物方案。题解: 这题一开始想到2−SAT2−SAT2-SAT,记fi,...原创 2018-03-16 15:48:38 · 455 阅读 · 0 评论 -
LOJ#6036. 「雅礼集训 2017 Day4」编码(2-SAT)
传送门题解: 对于每个串,在Trie树上找到他’?’处填0或者1的位置。 那么他的子树中(不包括他)的所有串不能选。 对于他这个节点我们记录一个前缀后缀就可以做到O(n)O(n)O(n)了。#include <bits/stdc++.h>using namespace std;const int N=1e6+50;typedef pair <int,int&...原创 2018-05-08 19:55:57 · 722 阅读 · 0 评论 -
BZOJ4078: [Wf2014]Metal Processing Plant(2-SAT)
传送门题解: 我们枚举最大边,然后再二分第二大边即可。 注意到加入最大边后如果和不能选的比他大的边形成了偶环,那么一定有一个之前的出现过,我们可以跳过对他的判断。 如果是奇环就一定会出现一条,这时后面的都不用判断了。 时间复杂度O(n3logn)O(n3logn)O(n^3 \log n)。#include <bits/stdc++.h>using namespace...原创 2018-07-07 20:58:00 · 479 阅读 · 0 评论