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