2016年12月20日
2-SAT
摘要： n个布尔变量，满足m个如 A为x或B为y的限制 建一个点拆成两个，分别表示选TRUE或FALSE 建立A的!x B的y 的连边 与 A的x B的!y 的连边 每次dfs。 若一个点在之前条件下无论选TRUE或FALSE都无法满足条件，则无论如何都无法满足条件故无需回溯 ——————————————— 阅读全文
posted @ 2016-12-20 10:28 z1j1n1 阅读(167) 评论(0) 推荐(0) 编辑