摘要: 算法&模板 算法 应用的问题 当有一堆的非黑即白的关系,且关系两两间存在一定的限制 此时可以运用2-SAT算法来求出可行解或者判断无解 引入 存在n个点,要求对点进行黑白染色,有m条限制形如:\((u,f_1,v,f_2)\) 表示 [ \(u\) 号点为 \(f_1\) 或 \(v\) 号点为 \ 阅读全文
posted @ 2021-11-09 14:54 yzhx 阅读(13) 评论(0) 推荐(0) 编辑