第一道2sat, 其实2sat问题不难,只要记住一个:通过“推导出”连边 什么意思呢?就是一般题目中的变量都有两个状态,只能取一个,我们定义为true和false 对于每一个变量i,我们都拆成两个点,分别表示两种状态,设2i表示true,2i+1表示false. 然后来看每个条件,比如要满足xi=true or xj=true成立 显然,当xj=false,我们必然能推出xi=true,所以我们就连2j+1--->2i 同样的xi=false是,我们必然能推出xj=true,所以我们连2i+1-…