合集-图论

2-SAT 学习笔记
摘要：2-SAT 用于求解布尔方程组，其中每个方程最多含有两个变量，方程的形式为 (a∨b)=1 ，即式子 a 为真或式子 b 为真。求解的方法是根据逻辑关系式建图，然后求强联通子图，每一个强联通子图的答案都是一样的。 建图： 这里以模版题为例： 题意：给定若干个需要满足的条件，其 阅读全文
posted @ 2024-08-10 11:25 Cyan_wind 阅读(16) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示