Party
摘要:
hdu3062:http://acm.hdu.edu.cn/showproblem.php?pid=3062题意:中文题。题解:很明显的2-sat。然后要深刻理解命题和逆否命题。如这一题,c1,c2,表示矛盾。则可以推出如果选c1,则要选~c2,逆否就是不选~c2就要选~c1,就是选c2和~c1,所... 阅读全文
posted @ 2014-08-22 18:20 天依蓝 阅读(142) 评论(0) 推荐(0) 编辑
posted @ 2014-08-22 18:20 天依蓝 阅读(142) 评论(0) 推荐(0) 编辑
posted @ 2014-08-22 16:16 天依蓝 阅读(143) 评论(0) 推荐(0) 编辑