2 - SAT 问题

2 - SAT 问题:

有 n 个集合,其中一些处在不同集合的元素之间有限制关系,从 n 个集合中分别挑选一个元素组成序列,使其满足所有限制关系,判断序列是否存在,这就是 SAT 适定性(Satisfiability)问题。如果一个集合只有两个元素,则 2-SAT 问题。
限制关系:
A,B 不能同时选,则图片说明
A,B 只能同时选,则图片说明
A,B 必须选一个,则图片说明
A 必须选,则图片说明

图论 文章被收录于专栏

关于acm竞赛图论的个人笔记

全部评论

相关推荐

认真搞学习:28小登的建议,投算法岗不要写什么物理竞赛,互联网+,多写点项目,用什么算法做了什么。还有本科算法是不可能的开发你这个也没有项目啊
点赞 评论 收藏
分享
评论
点赞
收藏
分享

创作者周榜

更多
牛客网
牛客网在线编程
牛客网题解
牛客企业服务