2019年11月15日
图论--2-SAT--暴力染色法模板（字典序最小解) RQ的板子
摘要： //暴力DFS，求字典序最小的解，也是求字典序唯一的方法#include#include#includeusing namespace std;const int maxn=10000+10;struct Two... 阅读全文
posted @ 2019-11-15 22:02 风骨散人 阅读(145) 评论(0) 推荐(0)
图论--2-SAT--Tarjan连通分量+拓扑排序O(N+M）模板
摘要： #include #include #include #include #include #include #define MAXN 2000+10#define MAXM 400000#define INF 1... 阅读全文
posted @ 2019-11-15 21:48 风骨散人 阅读(129) 评论(0) 推荐(0)
图论--2-SAT--poj 3678-Katu Puzzle（模板题）
摘要： DescriptionKatu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolea... 阅读全文
posted @ 2019-11-15 21:46 风骨散人 阅读(109) 评论(0) 推荐(0)