2 - SAT 问题
2 - SAT 问题:
有 n 个集合,其中一些处在不同集合的元素之间有限制关系,从 n 个集合中分别挑选一个元素组成序列,使其满足所有限制关系,判断序列是否存在,这就是 SAT 适定性(Satisfiability)问题。如果一个集合只有两个元素,则 2-SAT 问题。
限制关系:
A,B 不能同时选,则
A,B 只能同时选,则
A,B 必须选一个,则
A 必须选,则![]()
图论 文章被收录于专栏
关于acm竞赛图论的个人笔记
2 - SAT 问题:
有 n 个集合,其中一些处在不同集合的元素之间有限制关系,从 n 个集合中分别挑选一个元素组成序列,使其满足所有限制关系,判断序列是否存在,这就是 SAT 适定性(Satisfiability)问题。如果一个集合只有两个元素,则 2-SAT 问题。
限制关系:
A,B 不能同时选,则
A,B 只能同时选,则
A,B 必须选一个,则
A 必须选,则![]()
关于acm竞赛图论的个人笔记
相关推荐