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

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

点击右上角即可分享
微信分享提示