HDU 3062 Party 2 - SAT裸题
传送门:HDU 3062
题意:中文题。
思路:第一道2-SAT,首先明确2-SAT求解的是使每个子句都只有两个bool变量的合取范式为真的可行赋值,通俗的来说就是将题目中的关系抽象成a --> b , a --> 'b , b --> a , b --> 'a 类似的蕴涵式,求一组使得这些蕴涵式都为真的解,a和 'a 分别代表a为真和a为假,并且当题目中保证a只有真假这两种取值时才能这么转化
原创
2017-09-15 13:27:28 ·
399 阅读 ·
0 评论