关于2-SAT连边和判断的问题
查看原帖
关于2-SAT连边和判断的问题
421265
eastcloud楼主2022/12/18 16:47

rt,比如这题如果从 a到 非b 与 b 到 非a 连边,最后就是

if(scc[i]<scc[i+n]) printf("1 ");

否则如果从 非b 到 a 与 非a 到 b 连边,最后就是

if(scc[i]>scc[i+n]) printf("1 ");

虽然我知道是反图和正图的关系,但我还是不明白为什么反图的时候为什么不用小于号(我写的是第一种的代码,有些题解写的是第二种,tarjan dfn编号较小的那个 scc 不应该被先选择吗)。

2022/12/18 16:47
加载中...