2- sat 问题 序 我笑笑,np完全,弹指一挥间罢了 正文 定义 2-SAT就是2判定性问题,是一种特殊的逻辑判定问题。 我们先来看看什么2-sat,问题,他大概可以理解为,给你一堆bool型变量,每个变量可能为真或假,现在有一种限制关系指 假如\(xi\)变量选了什么,\(yi\)只能是什么。我们称变量只有两种可能性的叫2-sat问题,而3-sat或更高的sat不行,因为他们是NP完全的。 我们通过建图来操作2-sat问题 我们来看一个实际的题来说明 eg和平委员会 有n个组,第i个组里有两个节点Ai, Ai' 。需要从每个组中选出一个。而某些点不可以同时选出(称之为不相容)。任务是保证...