2024年11月10日
2-sat小记
摘要： 记得好像写了，但找了一下发现没写，于是写一下 2-sat 用于求 p→q 的蕴含关系集合的一组解（或判断无解） 流程：先构造蕴含关系集合，谁成立/不成立时另一个必须怎么样 对每个命题p建p和非p（p'），每个蕴含关系p→q连边 (p,q), (q',p')，一定要有逆否的反向边 然后 ① 跑tarj 阅读全文
posted @ 2024-11-10 20:58 gmh77 阅读(2) 评论(0) 推荐(0) 编辑