摘要: 题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=1824思路分析:该问题为2-SAT问题;需要注意逻辑推理的等价性;(1)题目第一个条件:每一个队或者队长留下或者其与两名队员同时留下,或者表明只能为两种情况中的一种;假设三人为A,B,C,队长为A,0表示... 阅读全文
posted @ 2015-07-27 21:25 Leptus 阅读(315) 评论(0) 推荐(0) 编辑
摘要: 题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3062思路分析:将问题转换为2-SAT问题,需要注意的是将命题转换为有向图的方法;命题中A1, A2, C1, C2表示C1与C2不能同时出现,所以A1中C1出现等价于A2中C2 ^ 1出现,同理A2中C... 阅读全文
posted @ 2015-07-27 18:33 Leptus 阅读(147) 评论(0) 推荐(0) 编辑