标签： np-hard
我正在寻找一个简单的证明，证明Bounded-PCP问题属于NP-Complete，正如许多教科书所说的那样。我很清楚这个问题是可以判定的，但是我找不到任何NP-Hard问题的减少。
此外，验证算法可能会经历一系列N个索引，这些索引与输入大小（N）（即logN）相比呈指数级，那么这个问题怎么会出现在NP中呢？
感谢。