edward-solution-0014
从 Trac 迁移的文章
这是从旧校内 Wiki 迁移的文章,可能存在一些样式问题,您可以向 memset0 反馈。
原文章内容如下:
二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。
二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。
这是从旧校内 Wiki 迁移的文章,可能存在一些样式问题,您可以向 memset0 反馈。
原文章内容如下:
二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。
二分答案,然后就会出现选了A,就不能选B的约束关系。这个刚好是2-sat的模型。直接SCC判定就好了。