摘要：
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$时刻开始，问如何安排每个婚礼举行仪式的时间，让一个神父 阅读全文