LazyCrazyCat的博客

原创 CodeForces - 668E Little Artem and 2-SAT

题意给出两个2-sat，如果存在使其中一组成立，另一组不成立的变量取值，输出之，否则输出SIMILAR题解按照2-sat的正常操作建边 我们可以跑一发floyd 注意一定要连一个自己到自己的边 （前来更新，根据某dalao指出https://blog.csdn.net/qq_34454069，其实可以不用，后面判断的时候看一下i、j相不相等就可以了） 然而，有的时候，某个变...