2024年7月6日
2-SAT 问题
摘要： 2-SAT 问题 1. 模型 有 n 个布尔类型的变量 x1,x2,…,xn，有 m 条限制形如 xi [or/and] xj=[1/0]. 求一组符合要求 阅读全文
posted @ 2024-07-06 18:19 心灵震荡 阅读(10) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示