2024年9月3日
2-SAT 学习笔记
摘要： 一、简介 k-SAT (satisfiability) 解决这样一类问题：给定 \(n\) 个布尔变量和 \(m\) 条限制，每条限制形如 \(x_1=0/1\or\cdots\or x_n=0/1\) ，求是否有解并给出构造。 当 \(k\gt 2\) 时，该问题为 NP 完全问题。 二、算法流程 阅读全文
posted @ 2024-09-03 19:48 peiwenjun 阅读(6) 评论(0) 推荐(0) 编辑