不慌不忙、不急不躁

题目链接：uva 11294 - Weddingh为true，w为false，每对超过架的人就是一对关系。做2sat#include #include #include #include using namespace std;const int maxn = 205;struct TwoSAT { int n; bool mark[maxn * 2];

题目链接：uva 1146 - Now or later二分答案，然后间隔小于当前值的即为一组矛盾关系，对所有关系做2sat。#include #include #include #include #include using namespace std;const int maxn = 2005;int N, T[maxn][2];struct Tw

题目链接：uva 1466 - String Phone对于每个位置而言，只有对定角的两个位置可能共存，所有枚举每个位置后可以用dfs预处理出每个地方是哪两个角有可能，然后做2SAT。#include #include #include #include #include using namespace std;const int maxn = 3005;c

题目链接：uva 1514 - Piece it together建图做2SAT判定，详细请看代码注释。#include #include #include #include using namespace std;typedef pair pii;const int maxn = 1e6 + 5;const int maxm = 1005;const i

题目链接：uva 10319 - Manhattan对于每对点，(r1&c2) || (r2&c1)，根据分配率拆成4条关系，然后做一遍2 sat。#include #include #include #include using namespace std;const int maxn = 1005;struct TwoSAT { int n, c, S

题目链接：uva 12273 - Palindromic DNA每个位置有4个值，对应ATCG，然后对应建立限制关系，初始要将每个位置对应变换两次的位置置为false。#include #include #include #include using namespace std;const int maxn = 1e4 + 5;struct TwoSAT {

题目链接：uva 11930 - Rectangles#include #include #include #include using namespace std;typedef long long ll;const int maxn = 1005;struct TwoSAT { int n, s[maxn * 2], c; bool mark[maxn * 2

题目链接：uva 1086 - The Ministers' Major Mess枚举每个点，判断是否y，n都存在解，如果都存在即为？, 最后做一遍2SAT即可。#include #include #include #include using namespace std;const int maxn = 105;struct TwoSAT { int n

题目链接：uva 1391 - Astronauts#include #include #include #include #include using namespace std;const int maxn = 100005;struct TwoSAT { int n; bool mark[maxn * 2]; vector G[maxn * 2]; in

题目链接：hdu 4115 Eliminate the Conflict代码#include <cstdio>#include <cstring>#include <vector>#include <algorithm>using namespace std;const int maxn = 10005;struct TwoSAT { int n, s[maxn<<1], c;