IP (2pfa) ve AM (2pfa) kapatma özellikleri

9

IP (2pfa) ve AM (2pfa), iki yönlü giriş kafalı olasılıklı sonlu otomata olan doğrulayıcılara sahip etkileşimli prova sistemlerinin sırasıyla özel ve genel para sürümleri tarafından sınırlı hata ile tanınan dil sınıflarıdır.

Bu sınıfların kapatma özellikleri biliniyor mu?

cc.complexity-theory  interactive-proofs 
— Cem Say
kaynak

Yanıtlar:

2

Aşağıdaki makaleye göz atabilirsiniz:

Dwork, C. ve Stockmeyer, L. 1992. Sonlu durum doğrulayıcıları I: etkileşimin gücü. ACM 39,4 (Ekim 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

veya ilgili bildiri:

Dwork, C. ve Stockmeyer, L. 1992. Sonlu durum doğrulayıcıları II: sıfır bilgi. ACM 39,4 (Ekim 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— MS Dousti
kaynak
Condon, Lipton ve ark.'nın bu kağıtları ve diğerlerini zaten geçirdim, ancak bu sınıfların kapanma özellikleri hakkında hiçbir şey yok.
— Cem Say
1
@Cem: "Kapanış" tanımına açıklık getirebilir misiniz? Özellikle, ne tür bir operasyon altında kapanma peşindesiniz?
— MS Dousti
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.