摘要: 以一个这个环为基准,剩下的边可以放在圈外,也可以放在圈内,两种状态。 如果两条线段出现了环上意义的交叉即冲突,即不能同时放在圈外/内。 这是典型的 2 SAT 问题,因为关系传递是无向的,即逆命题与原命题都存在,用并查集维护即可。 关于判断两条线段是否出现了环上意义的交叉: 枚举两条边 $(x_1. 阅读全文
posted @ 2020-02-16 21:56 DMoRanSky 阅读(99) 评论(0) 推荐(0) 编辑