«interactive-proofs» etiketlenmiş sorular

4
Polinom hiyerarşisinin seviyeleri için etkileşimli kanıtlar
Bir PSPACE makineniz varsa, polinom hiyerarşisinin herhangi bir seviyesine etkileşimli bir kanıt verebilecek kadar güçlü olduğunu biliyoruz. (Doğru hatırlıyorsam, ihtiyacın olan tek şey #P.) Ama bir dilinde etkileşimli bir üyelik kanıtı vermek istediğini varsayalım . problemleri çözebilmek için yeterli mi? içindeki problemleri çözmek yeterli mi? Daha genel çözebilecek eğer veya …
1
İlişkisiz yarı özel paralarla hakemli oyunlar
Bu sorunun cevabını gerçekten çok ilgilendim (ve hala ilgiliydim), çünkü bu çözülmemiş oyunların karmaşıklığına ilişkin ilginç bir varyasyon, bu yüzden bir ödül teklif ettim. Orjinal sorunun çok zor olduğunu düşündüm, bu yüzden lütuf almaya da değecek üç ilgili soru yayınladım. Ödül süresi dolmadan kimse cevap vermedi. Daha sonra ilgili soruların …
1
IP = PSPACE'in göreceli olmamasının “gerçek” nedeni nedir?
ÖÖOc o N PÖ⊈ I PÖcÖN-PÖ⊈benPÖ{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcÖN-PÖ⊆PSPbirCEÖ{\sf coNP}^O \subseteq {\sf PSPACE}^OOÖO Ancak, yalnızca birkaç kişinin sonucunun neden göreceli hale gelmediğine ve genel yanıtın "aritmetizasyon" olduğuna " doğrudan" bir açıklama yaptığını gördüm . IP = PSPACE ispatı incelendikten sonra, bu cevap yanlış değil , ama benim için tatmin …
4
P = BQP ise, bu PSPACE (= IP) = AM anlamına mı geliyor?
Son zamanlarda Watrous ve arkadaşları QIP (3) = PSPACE'in dikkate değer bir sonuç olduğunu kanıtladı. Bu, en azını söylemek benim için şaşırtıcı bir sonuçtu ve beni düşünmeye itti ... Quantum Bilgisayarların Klasik Bilgisayarlar tarafından verimli bir şekilde simüle edilebileceğini merak ettim. Bu, IP ve AM arasındaki Bölme ile ilgili SADECE …
2
Verimli sağlayıcılarla MIP
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 …
3
açısından
Olasılıksal ispat sistemi genellikle kısıtlaması olarak adlandırılır , burada Arthur sadece rastgele bitleri kullanabilir ve yalnızca Merlin tarafından gönderilen kanıt sertifikasının bitleri (bkz . http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).M A f ( n ) g ( n )PCP[ f( n ) , g( n ) ]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]M birMbir\mathcal{MA}f( n )f(n)f(n)g( n)g(n)g(n) Bununla birlikte, 1990'da …
1
Merlin için geçerli cevapların benzersizliğini zorunlu kılmak Arthur-Merlin protokollerinin gücünü sınırlıyor mu?
Önsöz. Karmaşıklık sınıfı AM , bir "Merlin" ve bir doğrulayıcı "Arthur" arasındaki iki yönlü interaktif kanıtlama sistemi ile çözülebilen problemlerdir. Bir sorun, - bir amacı, bazı özelliklerini test eder , X - olan AM ise: İçin VAR (polinom uzunlukta) bir rastgele "meydan okuma" mesajı örnekleri, Arthur Merlin a (polinom uzunluk) …
2
Etkileşimli prova sistemlerinin peyzajı
İlk sorum interaktif kanıtlama sistemi karakterizasyonunun tüm klasik karmaşıklık sınıfları için bilinip bilinmediği. P, NP, PSPACE, EXP, NEXP, EXPSPACE, özyinelemeli ve özyinelemeli olarak numaralandırılabilir işlevleri klasik (diğerleri arasında) olarak adlandırırım. Özellikle, yinelemeli ve yinelemeli olarak numaralandırılabilir işlevler için bilinen etkileşimli bir kanıt sistem karakterizasyonu var mı? Sadece IP = PSPACE …
1
Kısa mesajlarla çok-proverli etkileşimli provalar hakkında bilinenler nelerdir?
Beigi, Shor ve Watrous'un kısa mesajlarla kuantum interaktif kanıtlarının gücü hakkında çok güzel bir makalesi var. Üç 'kısa mesaj' varyantını düşünüyorlar ve önem verdiğim özellik, herhangi bir sayıda mesajın gönderilebileceği ikinci varyantı, ancak toplam mesaj uzunluğunun logaritmik olması gerekiyor. Özellikle, bu tür interaktif kanıtlama sistemlerinin BQP'nin etkileyici gücüne sahip olduğunu …
1
Coq'ta iki argüman üzerinde bir işlevi tümevarımsal olarak nasıl tanımlayabilirim?
Coq'u aşağıda verilen özyinelemeli fonksiyonun sona erdiğine nasıl ikna edebilirim? İşlev iki endüktif argüman alır. Sezgisel olarak, her iki argüman da ayrıştırıldığı için özyineleme sona erer. Özellikle, fonksiyon girdi olarak iki ağacı alır. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. Ağaçlarda, aşağıdaki indüksiyon stilini …
2
Tanrı'nın Numarasının Etkileşimli Bir Kanıtı?
Son zamanlarda interaktif kanıtları öğreniyordum ve her şeyin teorik bir meraktan başka bir şey olup olmadığını ya da herhangi bir pratik uygulaması olup olmadığını merak ediyorum. Duşta başıma gelen bir örnekle başlayacağımı düşündüm: Son zamanlarda "Tanrı'nın Numarası" = 20 olduğu haberi veriliyor. (Tanrı'nın sayısı, Rubik Küpünü çözmek için gereken minimum …
1
Etkileşimli Prova Sistemlerinde Tamlık ve Sağlamlığın İki Tanımı Denkliği
Etkileşimli ispat sistemlerindeki bütünlük ve sağlamlık gayri resmi olarak şu şekilde tanımlanır: Tamlık: Bir ifade doğruysa, dürüst kanıtlayıcı bu gerçek whp'nin dürüst doğrulayıcısını ikna edebilir . Sağlamlık: Bir ifade yanlışsa, hile prover dürüst doğrulayıcıyı (yanlış ifadenin geçerliliği) ikna edemez whp "Whp" terimi, ya "(örneğin) 2/3'ten büyük bir olasılıkla" ya da …
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.