«interactive-proofs» etiketlenmiş sorular

Çoğu olasılıklı ispat sisteminde (örneğin PCP teoremi), hata olasılıkları genellikle yanlış pozitiflerin yanında tanımlanır, yani tipik bir tanım şöyle görünebilir: eğer varsa doğrulayıcı her zaman kabul eder, ancak diğer durumda reddetme olasılığı en az 1 / 2'dir.x∈Lx∈Lx \in L Hatanın diğer tarafında olmasına izin verirken bir sorun mu var? Bu, …

10 cc.complexity-theory  pcp  interactive-proofs 

Bir kanıtlayıcının, bazı HORN-SAT ifadelerinin tatmin edilebilir olduğunu doğrulayıcıyı ikna etmesinin bir yolu var mı? Elbette bu saçma görünebilir, çünkü HORN-SAT için doğrusal zaman algoritmaları vardır. Öte yandan, HORN-SAT P-complete'tır, yani P = L olmadığı sürece log-space algoritmalarına sahip değildir. Buna göre, doğrulayıcının hesaplama yeteneklerini L ile sınırlayın. Şimdi doğrulayıcı …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

Özdeş olması hesaplama modeli MPostBQP tanımla PostBQP biz yazı-seçimi ve nihai ölçümden önce polynomially birçok qubit ölçümleri izin haricinde. MPostBQP'nin PostBQP'den daha güçlü olduğunu gösteren herhangi bir kanıt verebilir miyiz? Son ölçümü yapmadan önce çoklu ölçüm ve seçim sonrası turlara izin vermek için MPostBQP [k] tanımlayın. Endekslemeyi MPostBQP [1] = …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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?

9 cc.complexity-theory  interactive-proofs