摘要： Get Luffy Out好久没有写博客了。。看来开学还是有一定的影响的。。上次天津赛区一道2-sat问题，让我很是YM，如果和我一样，没学过，建议看看论文其实2-SAT问题，就是一种逻辑判断问题，问题可以简述为：共有N对顶点，M对不相容关系，问：能否从这N对中每对顶点中选出一顶点，共选出N个顶点，使得两两相容。建边方式：对于两对顶点A,A' B,B'， 如果A,B不相容，则建边<A,B'&... 阅读全文