2025年3月3日
2-SAT
摘要： 1 概念 有这样一类问题，给出 n 个布尔变量 ai，并且给出若干限制条件，每一个限制条件形如 (⋁i=1kapi=xi)=true。问是否存在一种可行解。这被称之为 k-SAT 问题，当 k>2 时这个问 阅读全文
posted @ 2025-03-03 16:57 UKE_Automation 阅读(12) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示