What more, in this characterization the verifier may be limited to read only a constant number of bits, i.e. NEXPTIME = PCP(poly, 1).
Штавише, у овој карактеризацији, верификатор може да буде ограничен на читање константног броја битова, на пример NEXPTIME = PCP(poly, 1).