2023年11月25日
2-SET详解
摘要： 前置知识 SET问题的标准定义：在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。（全是废话） 说人话就是，你要给n个变量，n需要给他赋值使它满足给你一些形如(x1为1或x3为0或x4为3)的条件，你必 阅读全文
posted @ 2023-11-25 14:16 storms11 阅读(44) 评论(0) 推荐(0) 编辑