Browse Category

适定性问题

Codeforces 876 E. National Property (2-SAT)

现在我们想要让所有行的字典序升序排列,且对于每一种数字,我们可以采用一种变换,比如 x->x’ ,所有加 ‘ 的都比不加小,问是否可以找到一种变换使得原序列升序。

POJ 3683 Priest John’s Busiest Day (2-SAT)

一个小镇里面只有一个牧师,现在有些新人要结婚,需要牧师分别去主持一个仪式,给出每对新人婚礼的开始时间 s 和结束时间 t ,还有他们俩的这个仪式需要的时间(每对新人需要的时间长短可能不同) d ,牧师可以在婚礼开始的时间 d 内(s 到 s+d)或者是结束前的时间 d 内(t – d 到 t)完成这个仪式。现在问能否给出一种安排,让牧师能完成所有夫妇婚礼的仪式,如果可以,输出一种安排。

HDU 1814 Peaceful Commission (2-SAT)

某国有 n 个党派,每个党派恰有两名议员,不过不同党派之间可能有一些议员不和,现在我们想在每个党派中找出一名议员参加会议,求解该问题,若问题无解,输出 NIE 。