![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
吴俊达9812
这个作者很懒,什么都没留下…
展开
-
bzoj 1997 判断是否为平面图
#include <bits/stdc++.h> using namespace std; namespace SAT{ const int maxn = 20005; const int maxm = 5000005; int n; int he[maxn],ver[maxm],ne[maxm],tot; int dfn[maxn],low[...原创 2019-11-06 20:10:52 · 1235 阅读 · 0 评论 -
2-SAT模板
#include <bits/stdc++.h> using namespace std; typedef long long LL; const LL maxn = 2000000 + 100; const LL maxm = 10000000 + 100; LL age[maxn],a[maxn][2],vis[maxn]; LL he[maxn],ver[maxm],ne[ma...原创 2019-08-04 22:28:35 · 123 阅读 · 0 评论