Probabilistic proof systems - A survey

被引：0
|
作者：
Goldreich, O [1 ]
机构：
[1] Weizmann Inst Sci, Dept Appl Math & Comp Sci, IL-76100 Rehovot, Israel
来源：
STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE | 1997年 / 1200卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such proof systems - interactive proofs, zero-knowledge proofs, and probabilistic checkable proofs stressing the essential role of randomness in each of them.
引用
收藏
页码：595 / 611
页数：17
相关论文
共 50 条
  • [31] On the Probabilistic Proof of the Convergence of the Collatz Conjecture
    Barghout, Kamal
    JOURNAL OF PROBABILITY AND STATISTICS, 2019, 2019
  • [32] Generalization and Probabilistic Proof of a Combinatorial Identity
    Chang, Guisong
    Xu, Chen
    AMERICAN MATHEMATICAL MONTHLY, 2011, 118 (02): : 175 - 177
  • [33] Survey of disjoint NP-pairs and relations to propositional proof systems
    Glasser, C
    Selman, AL
    Zhang, LY
    THEORETICAL COMPUTER SCIENCE, 2006, 3895 : 241 - 253
  • [34] THE QUEST GOES ON - A SURVEY OF PROOF-SYSTEMS FOR PARTIAL CORRECTNESS OF CSP
    HOOMAN, J
    DEROEVER, WP
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 224 : 343 - 395
  • [35] Survey of disjoint NP-pairs and relations to propositional proof systems
    Glaßer, Christian
    Selman, Alan L.
    Zhang, Liyu
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3895 LNCS : 241 - 253
  • [36] A probabilistic proof of Wallis's formula for π
    Miller, Steven J.
    AMERICAN MATHEMATICAL MONTHLY, 2008, 115 (08): : 740 - 745
  • [37] A probabilistic proof of Stein's factors
    Xia, A
    JOURNAL OF APPLIED PROBABILITY, 1999, 36 (01) : 287 - 290
  • [38] A probabilistic proof for Fourier inversion formula
    Wong, Tak Kwong
    Yam, Sheung Chi Phillip
    STATISTICS & PROBABILITY LETTERS, 2018, 141 : 135 - 142
  • [39] A PROBABILISTIC PROOF FOR THE LYM-INEQUALITY
    FRANKL, P
    DISCRETE MATHEMATICS, 1983, 43 (2-3) : 325 - 325
  • [40] On Lexicographic Proof Rules for Probabilistic Termination
    Chatterjee, Krishnendu
    Goharshady, Ehsan Kafshdar
    Novotny, Petr
    Zarevucky, Jiri
    Zikelic, Dorde
    FORMAL ASPECTS OF COMPUTING, 2023, 35 (02)
12345