让我们从这里开始:据说所有的NP问题都可以简化为SAT(布尔可满足性问题)。更准确地说是Circuit SAT,因为像 NP 这样的所有决策问题都应该以Yes或No的答案结束。
但是现在,如果我有一个随机 NP 问题,如何构建一个布尔电路来测试,如何对我的输入进行分组,什么样的门(AND、NOT、OR 等)应该连接这些输入。所以基本上,我的问题是如何设计给出答案TRUE 或 FALSE的布尔电路。
最后一件事,这个答案是什么意思。我理解 TRUE,因为这个 NP 问题可以在多项式时间内解决,而 FALSE 不能,对吗?
我脑子里一片混乱,如果我在解释我的问题时犯了逻辑错误,请不要太离谱:)我希望你能理解。
兴奋地等待答案。