因为一直不怎么会这个东西,所以今天整理一下这个东西的内容。
原来这个东西这么简单的吗。2sat里面一条边x->y表示x选了之后y必须选,只要建出满足这种条件的边之后跑tarjan就可以知道到底有没有解了。因此x &^| y这种布尔运算就可以试一试 x在取某个值时y会不会强制取值,会的话就连边就行了,然后tarjan一下,看一看 x和!x是否在同一个联通块里,如果都没有的话就说明有一组解。
容易证明2sat的连边具有传递性。当图的边数过大时,可以考虑建立辅助点来优化建边。
当你的图已经建好并且要求构造方案的时候,x=id[x]