np-hard - 有界 PCP NP-完全证明

Question

我正在寻找一个简单的证据来证明Bounded-PCP问题属于 NP-Complete，正如许多教科书所说的那样。我很清楚这个问题是可判定的，但我找不到从 NP-Hard 问题到这个问题的任何减少。

此外，验证算法可能会经过一系列 N 个索引，与 logN 的输入大小 (N) 相比，这些索引是指数级的，那么这个问题怎么会出现在 NP 中呢？

谢谢。