«interactive-proof-systems» etiketlenmiş sorular

Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil. Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Etkileşimli ispat sistemlerini anlamaya çalışıyorum ve aşağıdaki problemi bir alıştırma olarak denedim. ve olduğunu biliyoruz , bu yüzden için (anlaşılması kolay) etkileşimli prova sistemleri ile gelsin ?PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH için etkileşimli bir kanıtlama sistemi önemsizdir, ancak için bile etkileşimli bir kanıtlama sistemi elde . için açık bir interaktif kanıtlama sistemi …

9 complexity-theory  interactive-proof-systems