Cook-Levin theorem

专有名词

英文释义

专有名词
  1. A theorem stating that the Boolean satisfiability problem is NP-complete.

词形变化

the Cook-Levin theorem canonical

词源

Named after Stephen Cook and Leonid Levin.
0 次浏览 数据来源: Wiktionary