图灵机¹

未分类

sat问题百度百科-sat问题的定义与NPC问题

sat问题即布尔可满足性问题,是计算机科学中的一个经典问题。它的目的是确定给定的布尔公式是否存在一种解释或赋值,使该公式为真。1971年,斯蒂芬·库克证明了sa ...

454