2
NP için iyi PCP'ler bize tüm polinom hiyerarşisi için iyi PCP'ler sağlıyor mu?
PCP Teoremi, NP'deki her karar sorununun olasılıkla kontrol edilebilir kanıtlara sahip olduğunu (veya eşdeğer olarak, NP'de sabit sorgu karmaşıklığı ve logaritmik olarak birçok rastgele bit kullanarak teoremler için tam ve yarı-ses geçirmez bir sistem olduğunu belirtmektedir). PCP Teoremini çevreleyen “halk bilgeliği” (bir an için PCP'nin yaklaşım teorisine önemini göz ardı …