我的2-sat哪里出了问题
查看原帖
我的2-sat哪里出了问题
97254
big_turkey楼主2021/5/8 08:56

我的两份代码

AC WA

两份代码的建图都是一样的,都是x表示x点为0,x+n表示x点为1,我用tarjan的话,应该是输出强连通分量编号小的,即输出 scc[i]>scc[i+n]scc[i]>scc[i+n] 这个bool值,可是我这样就WA了,反过来 scc[i]<scc[i+n]scc[i]<scc[i+n] 就AC了,我还不知道哪里出了问题......

2021/5/8 08:56
加载中...