摘要："洛咕" 题意:有n种材料,每种材料可以被做成汉式菜肴和满式菜肴中的一种,有m个评委,每个评委喜欢两种菜肴(汉式和满式任意,材料任意),求能否做两个菜肴使得满足每个评委的至少一个条件.($n include include include include include include includ 阅读全文

摘要："洛咕" 题意:有n个布尔变量$x_1$~$x_n$，另有m个需要满足的条件，每个条件的形式都是“$x_i$为$true/false$或$x_j$为$true/false$”.比如“$x_1$为真或$x_3$为假”、“$x_7$为假或$x_2$为假”.$2 SAT$ 问题的目标是给每个变量赋值使得所 阅读全文

摘要："POJ" 题意:有$n$对情侣结婚,第i对情侣的婚礼从$s_i$时刻开始,$t_i$时刻结束,并且需要$last_i$分钟完成一项仪式,仪式要么在婚礼刚开始进行,要么在婚礼结束前进行,即必须选择$s_i$~$s_i+last_i$或者$t_i last_i$~$t_i$两个时间段之一.求$n$对情 阅读全文

摘要："POJ" 题意:有$N$个变量$x_1 x_n$,每个变量的可能取值是0或1.给定$M$个算式,每个算式形如$X_a$ $op$ $X_b=c$,其中$a,b$是两个变量的编号,$c$是数字0或1,$op$是$and$,$or$,$xor$三个位运算之一.求是否存在对每个变量的合法赋值,使得所有算 阅读全文