Canopus

题目链接 https://www.lydsy.com/JudgeOnline/problem.php?id=1997 思路 平面图上的边要么在哈密顿回路内，要么在哈密顿回路外。每条边视为两个点，然后2-sat解决。 代码 #include <cstdio> #include <cstring> #include <algorithm> c...

题目链接 https://www.lydsy.com/JudgeOnline/problem.php?id=1823 思路 每种材料只能做成满或汉两种方式，因此可以用2-sat简单解决。 代码 #include <cstdio> #include <cstring> #include <algorithm> const int maxn=...

题目链接 http://poj.org/problem?id=3207 思路 将每条边iii拆成两个点Ai,BiAi,BiA_i,B_i，选AiAiA_i代表这条边在圆外，选BiBiB_i这条边代表这条边在圆内。 如果两条边同时在圆内的话会相交，则连接Ai↔Bj,Aj↔BiAi↔Bj,Aj↔BiA_i\leftrightarrow B_j,A_j\leftrightarrow B_i这...