摘要：
Preface 两道2 SAT模板题。 HDU3062 看题目就一眼2 SAT。一对夫妻看成一个变量，之间的矛盾可以看成限制。 考虑不同席的限制，相当于选了$i$就不选$j$，即必选$j'$。所以我们$i\to j',j\to i'$连边即可。 Tarjan 判一发可行性即可。注意一下编号从$0$开 阅读全文
摘要：
Preface 说实话 2 SAT 的题目我都没怎么做过，所以这里讲的都是些 超入门 什么的 还有一些 板子题 ，~~由于是暑假的时候学的所以有些我也记不清了~~ 主要学习参考自： "Manchery的课件" && "dalao's blog" && "Another dalao" What is 阅读全文