随笔分类 -  图论——2-sat

hdu1269 2-SAT问题
摘要：题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1269 2-SAT问题：2-satisfiability问题（可满足性问题）也就是有n个布尔变量，给出一些不能同时存在的情况，询问是否存在满足条件的一组boolean变量的解。做法是运用原命题与逆否命题之 阅读全文
posted @ 2020-03-28 19:58 WA自动机~ 阅读(129) 评论(0) 推荐(0)