2019年2月4日
【学习笔记】2-SAT 小结
摘要： 2-SAT 小结 从SAT说起 布尔可满足性问题（Boolean satisfiability problem；SAT)）属于决定性问题，也是第一个被证明属于NP完全的问题。 此问题在计算机科学上许多领域的皆相当重要，包括计算机科学基础理论、算法、人工智能、硬件设计等等。 摘自某百科 如:有三个bo 阅读全文
posted @ 2019-02-04 22:22 fmj_123 阅读(598) 评论(0) 推荐(0) 编辑