标签：电路SAT可满足性

2020-03-04半瓶木阅读(1858)评论(0)赞(0)

根据给定的基于决策的NP问题, 你可以设计电路并在P时间内验证给定的输出。电路如下：- 注意：-你可以设计电路并在多项式时间内验证上述输出, 但请记住, 你永远无法在多项式时间内根据输入/高输入组预测产生高输出的门数。因此, 你验证了生成和...