2025年12月3日
2-SAT
摘要： 这篇文章是关于SAT做法的记录。 2-SAT是解决关于两个点之间的关系的问题 题目 link 庆功宴中一共邀请了N对夫妻，每对夫妻中最多只有其中一人出席。在总计2N个人中，某些人之间存在着不共戴天的矛盾（夫妻之间不存在矛盾QWQ），有矛盾的2个人不能同时出席。 现在，给定这2N个人的关系，请回答是否 阅读全文
posted @ 2025-12-03 17:41 NumLuck 阅读(2) 评论(0) 推荐(0)