摘要：SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题，简称 k-SAT。而当$k>2$时该问题为NP完全的，所以我们只研究$k=2$时情况。 定义 2-SAT，简单的说就是给出$n$个集合，每个集合有两个元素，已知若干个$\langle a, b \rangle$，表示 阅读全文

摘要：题目链接：POJ-3683 Priest John's Busiest Day 题意 $n$对新人要举行婚礼，每个婚礼有各自的开始时间$S_i$和结束时间$T_i$，还要举行一个时长为$D_i$的仪式，这个仪式只能在$S_i$或$T_i-D_i$时刻开始，问如何安排每个婚礼举行仪式的时间，让一个神父 阅读全文

摘要：题目链接：洛谷P2341 受欢迎的牛 题意 每头奶牛都梦想成为牛棚里的明星。被所有奶牛喜欢的奶牛就是一头明星奶牛。所有奶牛都是自恋狂，每头奶牛总是喜欢自己的。奶牛之间的“喜欢”是可以传递的——如果A喜欢B，B喜欢C，那么A也喜欢C。牛栏里共有N 头奶牛，给定一些奶牛之间的爱慕关系，请你算出有多少头奶 阅读全文