摘要：
宇航员执行任务，有三个任务ABC。把宇航员按照平均年龄分成新老两组，老宇航员可以去AC，新宇航员可以取BC。宇航员之间有不能共存关系，问是否有合法的分配方案。 分析 虽然有三个任务，但每个宇航员还是只有两种选择。我们把宇航员当成变量，那么老宇航员True代表选择任务A，False代表任务C，新宇航员 阅读全文
摘要：
一个牧师要为结婚新人祈祷，祈祷必须在婚礼的最开始或最后，给出$n$对这天结婚的新人的结婚开始时间和需要祈祷的时间，问是否能满足所有的新人的时间，如果可以输出方案。$n\le 1000$。 分析 由于祈祷只能在最开始或最后，我们把新人祈祷在开始或最后看成变量，枚举任意两种时间，运用他们的矛盾性连边。 阅读全文
摘要：
这道题的题意感觉比较难懂。 给出$n$组钥匙，每组钥匙有2把，每组只能选一把钥匙用，有$2n$把锁，每个钥匙对应一把锁。一共有$m$层楼，从0楼开始，进入下一层楼有一道门，门上有两个锁，开任意一个都可以。问最多能够走到多少层。$$n\le 2^{10},m\le 2^{11}$$. 分析 走到第$x 阅读全文
摘要：
$n$个数字按顺序排成一圈，给出$m$条连线$(a,b)$，连线可以在圆内或圆外，问是否可能做到所有连线只在顶点上相交。 分析 一个好像平面图判定的题～ 两条线$(a,b)$，$(c,d)$相交的条件是$a include include include using namespace std; i 阅读全文
摘要：
有$n$个bool变量和$m$条限制，每条限制为a op b=c的形式，其中op为逻辑运算，问是否存在合法解。 分析 这一类问题叫做2 SAT问题，有很多个两种取值的变量，其中有一些限制条件。2 SAT问题我们采用建模的方式，如果$a$选就一定要选$b$，那么连有向边$(a,b)$。2 SAT问题有 阅读全文