【算法】2-SAT
文章平均质量分 90
cz_xuyixuan
这个作者很懒,什么都没留下…
展开
-
【BZOJ1823】【JSOI2010】满汉全席
【题目链接】点击打开链接【思路要点】补档博客,无题解。【代码】#include<bits/stdc++.h>using namespace std;#define MAXN 5000vector <int> a[MAXN];int n, m, timer, tot;int dfn[MAXN], low[MAXN], belong[MAXN];int Stack[...原创 2018-03-22 20:18:05 · 195 阅读 · 0 评论 -
【BZOJ2199】【Usaco2011 Jan】奶牛议会
【题目链接】点击打开链接【思路要点】补档博客,无题解。【代码】#include<bits/stdc++.h>using namespace std;#define MAXN 3005vector <int> a[MAXN];int n, m;bool visited[MAXN];char ans[MAXN];void work(int x) { visite...原创 2018-03-22 20:32:33 · 276 阅读 · 0 评论 -
【BZOJ1997】【HNOI2010】Planar
【题目链接】点击打开链接【思路要点】补档博客,无题解。【代码】#include<bits/stdc++.h>using namespace std;#define MAXN 20005int f[MAXN], x[MAXN], y[MAXN], home[MAXN], value[MAXN];bool circle[MAXN];int F(int x) { if (f[x]...原创 2018-03-23 15:18:39 · 221 阅读 · 0 评论 -
【BZOJ4945】【UOJ317】【NOI2017】游戏
【题目链接】BZOJUOJ【思路要点】考虑若不存在“x”,那么剩余的问题就是一个2-SAT的基本问题。不妨令字符串中仅包含c,显然其他的问题是对称的。限制(x,A,y,A):连接(x,A)->(y,A),(y,B)->(x,B)。限制(x,A,y,B):连接(x,A)->(y,B),(y,A)->(x,B)。限制(x,A,y,C):连接(x,A)->(y,A),(x,...原创 2018-05-31 19:31:35 · 273 阅读 · 0 评论 -
【CodeForces】CodeForces Round #400 (Div. 1 + Div. 2) 题解
【比赛链接】 点击打开连接 【题解链接】 点击打开链接 **【A】**A Serial Killer【思路要点】 维护两个字符串模拟。 时间复杂度O(N)O(N)O(N)。 【代码】 #include&lt;bits/stdc++.h&gt;using namespace std;const int M...原创 2018-08-02 18:22:36 · 308 阅读 · 0 评论 -
【LOJ3101】「JSOI2019」精准预测
【题目链接】点击打开链接【思路要点】显然有 2−sat2-sat2−sat 建图,注意到只有致死预测,且难兄难弟型预测存在时间先后关系,所建出的图应当不存在环。记 livei,deadilive_i,dead_ilivei,deadi 分别表示 T+1T+1T+1 时刻时表示 iii 生/死的变量。由于只有致死预测,当且仅当以下全部条件成立, Live(i,j)=1Liv...原创 2019-06-20 14:23:55 · 1592 阅读 · 0 评论 -
【POJ3648】Wedding
【题目链接】点击打开链接【思路要点】需要输出方案的 2−SAT2-SAT2−SAT 问题模板题。时间复杂度 O(N+M)O(N+M)O(N+M) 。【代码】#include<cstdio>#include<vector>#include<algorithm>#include<cstring>#include<...原创 2019-07-09 20:41:44 · 303 阅读 · 0 评论