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