2024年10月15日
2-SAT
摘要： 算法理解 首先我们要了解一种很典型的图论建图思想，如果a一定b，那么就将a->b建一条边，然后如果在一个强连通分量中逻辑关系冲突了，则不满足，反之则满足 2-sat与扩展域并查集的区别 2-sat有向图，扩展域并查集无向图 2-sat若a则b，扩展域并查集若a则b若b则a 2-sat的具体实现 我们 阅读全文
posted @ 2024-10-15 11:44 daydreamer_zcxnb 阅读(46) 评论(0) 推荐(0)