摘要：简述：给出 n 个法案， m 头牛的意见， 每头牛有两个表决 格式为 “支持或反对某法案”， 每头牛需要至少满足一个表决， 不可能成立的话输出 IMPOSSIBLE， 否则输出方案， Y代表能， N代表不能，若是有的解中法案可以通过， 有些不能则输出“？” 首先不难看出这是一个2-SAT问题 那么我 阅读全文

摘要：传送门 果然图论的题永远建图最麻烦……看着题解代码的建图过程真的很珂怕…… 先不考虑地图$x$，那么每一个地图都只能用两种赛车，于是我们可以用2-SAT来搞，用$i$表示这个地图能用的第一辆车，$i'$表示它能用的第二辆车 至于怎么连边呢，考虑限制条件$(i,h_i,j,h_j)$，如果$i$不能用 阅读全文

摘要：传送门 看到哈密顿回路就被吓傻了……结果没有好好考虑性质…… 首先，平面图有个性质：边数小于等于$3n-6$（我也不知道为啥），边数大于这个的直接pass 然后考虑原图，先把哈密顿回路单独摘出来，就是一个环。对于每一条不在哈密顿回路上的边，有两种可能，一种是在环内，一种是在环外 我们用点来表示每一条 阅读全文

摘要：传送门 2-SAT裸题 把每一道菜拆成两个点分别表示用汉式或满式 连边可以参考板子->这里 然后最尴尬的是我没发现$n<=100$然后化成整数的时候只考虑了$s[1]$结果炸掉了2333 阅读全文

摘要：传送门 2-SAT的板子 把每一个点拆成选0或选1 条件为$x_i$为$a$或$x_j$为$b$，那么如果$x_i$不为$a$则$x_j$必为$b$，同理$x_j$不为$b$则$x_i$必为$a$ 那么从$x_i$不为$a$的点向$x_j$为$b$的点连边，从$x_j$不为$b$的点向$x_i$为$ 阅读全文