2024年12月11日
2-sat 学习笔记
摘要： 2-sat 学习笔记 有这样一类问题，有多个变量 a1→n，每个变量的取值范围为 {0,1}，给出 m 条限制条件，形如 (∨i=1kapi=xi)=true 的形式，需要你求解是否有可行 阅读全文
posted @ 2024-12-11 19:13 DycIsMyName 阅读(13) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示