It is well-known that the set of languages having two-prover interactive proof systems, in which the verifier runs in polynomial-time (MIP), is NEXP. But are there bounds known on the power of such interactive proofs when the provers are restricted in power? E.g., what is the class of languages that admit two-prover interactive proofs with polynomial-time provers?
Daha doğrusu, diyelim ki bir x girişinde, protestoculara keyfi hesaplama öncesi süreye izin veriyorum, ancak doğrulayıcı ile etkileşim başladıktan sonra polinom alanı (herhangi bir ön hesaplama sonucunun saklanması dahil) ve polinom zamanı kullanmakla sınırlı doğrulayıcının sorusuna verdikleri cevapları hesaplamak. Ayrıca, doğrulayıcının bir şekilde tükettiği daha önemsiz bir çözümü engellemek için, bu alan ve zaman sınırlarının, doğrulayıcı tarafından gönderilecek soruların uzunluğu (x yerine) yerine sabit bir polinom olduğunu varsayalım. atasözünün alanı polinom olarak daha fazla soru sorarak sınırlandı.
Açıkçası, bu NP için yeterlidir. PSPACE ne olacak? Eğer sadece alan bağlı olsaydı, bunu yapabilirlerdi, ama zamana ne bağlı? Bu yönde ilginç sonuçlar var mı?
Ayrıca, provokatörlerin üzerinde düşünebileceği diğer sınırlamalarla da ilgileniyorum. Bunlardan biri, PCP'ler bağlamında kapsamlı bir şekilde çalışıldığını düşündüğüm iletişim kanıtlayıcı-doğrulayıcı miktarı olacaktır. Diğer ilginç kısıtlamalar nelerdir?