Gzb1128的栖息地

生死之间,地狱前线

[2-sat]小结

因为一直不怎么会这个东西,所以今天整理一下这个东西的内容。 原来这个东西这么简单的吗。2sat里面一条边x->y表示x选了之后y必须选,只要建出满足这种条件的边之后跑tarjan就可以知道到底有没有解了。因此x &^| y这种布尔运算就可以试一试 x...

2018-03-16 15:41:35

阅读数:37

评论数:0

提示
确定要删除当前文章?
取消 删除
关闭
关闭