4
为什么复杂度类之间的相等性向上转换而不向下转换？
大家好，我知道填充技巧使我们可以向上转换复杂度类-例如。填充是通过“放大”输入，运行转换（例如从转换为）来工作的，这产生了一个“魔术”算法，您可以在填充的输入上运行。尽管这在技术上是合理的，但我对它的工作原理一无所知。这到底是怎么回事？有什么简单的类比填充物吗？PP=NP→EXP=NEXPP=NP→EXP=NEXPP=NP \rightarrow EXP=NEXPNPNPNPPPP 可以提供一个常识性的理由吗？