1.元素关系有以下11种
A[x]
NOT A[x]
A[x] AND A[y]
A[x] AND NOT A[y]
A[x] OR A[y]
A[x] OR NOT A[y]
NOT (A[x] AND A[y])
本文总结了2-SAT问题的各种元素关系，并介绍了如何判断是否有解。通过Tarjan算法求强联通，若x与~x染色相同则无解，否则有解。对于字典序最小解，可以通过DFS暴力枚举实现。而求任意解，直接使用Tarjan算法求强连通及拓扑排序。此外，还提到了相关论文和资源。
最低0.47元/天 解锁文章
扫一扫
1161
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
