本文主要是介绍2-SAT团问题 配题（POJ 3648），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
2-SAT团问题：给出 n 个布尔变量（取值0 或 1），之后再给出 m 个有关这些变量的约束条件，设其中有i，j两个变量
- 必须选择 i
- 必须不选 i
- i 和 j 中选择一个
- i 和 j 不都选择
- i 和 j 选择的情况相同
- i 和 j 选择的情况相反
问：能否将这 n 个布尔变量分成两个组分，并且满足给定的这 m 个约束条件。
解决方案：
1. 建图假设 i 的对立面是
- 必须选择 i ：
- 必须不选 i ：
- i 和 j 中选择一个 ：
、
- i 和 j 不都选择 ：
这篇关于2-SAT团问题 配题（POJ 3648）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
