2019年4月28日
闲谈2-sat问题
摘要： 问题简介 在计算机科学中，布尔可满足性问题（有时称为命题可满足性问题，缩写为SATISFIABILITY或SAT）是确定是否存在满足给定布尔公式的解释的问题。换句话说，它询问给定布尔公式的变量是否可以一致地用值TRUE或FALSE替换，公式计算结果为TRUE。如果是这种情况，公式称为可满足。另一方面 阅读全文
posted @ 2019-04-28 20:46 wxyww 阅读(987) 评论(0) 推荐(1) 编辑