2021年3月4日
2-SAT算法+方案输出
摘要： ###定义 给出 \(n\) 个集合，每个集合都有两个元素，已知若干对 \(<a,b>\)($a,b$属于不同的集合)不能同时出现，从每个合集都选一个元素，判断能否在 \(n\) 个集合里选出 \(n\) 个元素。 ###解决方法： 建有向图。对于某一个条件如 \(a\vee b\) 为真，我们可以 阅读全文
posted @ 2021-03-04 22:45 hachuochuo 阅读(224) 评论(0) 推荐(0)