2
在理论使用卡普-减少的动机 -completeness
多项式时间缩减（Cook缩减）的概念是一个非常直观的概念的抽象：通过使用针对其他问题的算法来有效地解决问题。 然而，在理论 -completeness，概念 -hardness经由映射减量（卡普减少）捕获。这种“受限”减少的概念远没有那么直观（至少对我而言）。它甚至看起来有点虚构，因为它创建了一个不太直观的硬度概念。由此，我指的是不包含的事实。尽管在复杂度理论中我们非常习惯于这样的概念，即能够解决这样的问题并不意味着我们可以在自然环境中解决，假设我们有一个算法可以解决NPNP\mathcal{NP}NPNP\mathcal{NP}NPNP\mathcal{NP}co−NPco−NPco-\mathcal{NP}SATSAT\mathsf{SAT}SAT¯¯¯¯¯¯¯¯¯¯SAT¯\overline{\mathsf{SAT}}SATSAT\mathsf{SAT}，我们可以通过运行的算法并返回相反的值来解决。SAT¯¯¯¯¯¯¯¯¯¯SAT¯\overline{\mathsf{SAT}}SATSAT\mathsf{SAT} 我的问题是，为什么要对完整性理论使用Karp约简？它捕获了什么直观的概念？它与我们了解现实世界中“计算难度”的方式有何关系？NPNP\mathcal{NP}