edward-solution-0014

从 Trac 迁移的文章

这是从旧校内 Wiki 迁移的文章,可能存在一些样式问题,您可以向 memset0 反馈。

原文章内容如下:

二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。

二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。