1
PCP定理-字母缩减步骤
接下来的事情可能看起来很愚蠢（这可能反映了我的理解不深-请耐心等待） 我对PCP定理有疑问。我们知道在前三个步骤之后。降阶，Expanderization和Gap扩增，我们有一个约束图具有改进的间隙和巨大的字母表尺寸（像Σ d 吨）。字母缩小步骤解决的就是这个问题。GGGΣdŤΣdŤ\Sigma^{d^t} 我的问题是，正如Venkat Guruswami的讲义“合成入门”中所概述的那样，在我看来，高层的想法是将边e上的约束表达为对布尔变量的布尔约束。这本身无法实现任何目的，我们还需要在此边缘上应用PCP减少量P e。这看起来像是对PCP的递归调用，这让我开始有些担心。看来这种递归调用会再次炸毁字母表的大小。CËCËc_eËËePËPËP_e 作者观察到此递归具有“基本情况”，即-“内部” PCP减少仅适用于恒定大小的约束，从而提供了一些解释。 （通过这种方式，我了解到仅当我们在单个边界上查看约束时才调用内部递归，这是一个二进制约束，但是我仍然没有克服担心以某种方式仍会炸毁字母大小的担忧而不是缩小）。在我看来，除非我们采用一些不同的方法来处理基本情况，否则递归重复Gap Amplification步骤只会使字母大小变大，从而使情况变得更糟。CËCËc_e 我希望我的查询（尽管很愚蠢）可能很清楚。请让我知道我缺少什么（或被误解了）。