1
史蒂芬·库克（Stephen Cook）在实际证明SAT是NP-Hard之前是否意识到其重要性？
如果我理解正确，则为了证明问题难解决NP，您需要选择NP中所有可能的问题，然后使用多项式时间可计算函数证明它们已简化为，该函数可映射每个问题的实例到实例。一个一个A乙一世乙一世B_{i}一个一个A乙一世乙一世B_{i}一个一个A 找到第一个NP难题后，通过使用归约法，您可以发现许多其他问题是NP Complete或NP Hard。但是我想这取决于。如果您不走运，那么也许所有问题都会减少为，但是不会减少其他任何地方，因此您的证明实际上是无用的。乙一世乙一世B_{i}一个一个A一个一个A 我的问题是斯蒂芬·库克（Stephen Cook）背后的动机，即表明SAT问题是NP难题。他看到这个问题背后有很多潜力吗？他是否知道如果他证明这个问题对NP困难，那么很多其他问题也可能对NP困难？ 简而言之，该证明背后的故事是什么？因为在研究了一些基本的复杂性理论之后，看来该证明确实是该领域中最重要的证明之一。