【NPC】21、证明电路可满足性问题是NPC问题

来源:互联网 发布:ubuntu 输入法设置 编辑:程序博客网 时间:2024/06/10 23:54





给定一个输入位数固定为n、且返回yes/no的算法,都能够在多项式时间内转换为一个多项式大小的电路。


原创粉丝点击