Back to Results
First PageMeta Content
Complexity classes / Interactive proof system / IP / Arthur–Merlin protocol / NP / P/poly / NEXPTIME / True quantified Boolean formula / Zero-knowledge proof / Theoretical computer science / Computational complexity theory / Applied mathematics


E-mail and the unexpected power of interaction L´ aszl´ o Babai ∗ E¨otv¨os University, Budapest and
Add to Reading List

Document Date: 2011-06-26 23:39:25

Open Document

File Size: 262,55 KB

Share Result on Facebook

City

Barcelona / Cambridge / Chicago / /

Company

CNF / Arthur / Lund / BP / Let us / /

Currency

USD / pence / /

/

Event

Environmental Issue / FDA Phase / Judicial Event / Person Communication and Meetings / /

Facility

Massachusetts Institute of Technology\\ Chicago / The University of Chicago Abstract / court of King Arthur1 / University of Chicago / E¨otv¨os University / /

Holiday

Chanukah / Christmas / /

IndustryTerm

protocol / singleprover protocol / proof protocol / interactive nonisomorphism protocol / correct interactive proof protocols / interactive proof systems / bounded round multi-prover protocols / prover protocol / natural applications / /

NaturalFeature

Great Lakes / /

Organization

Massachusetts Institute of Technology / E¨otv¨os University / Budapest / University of Chicago / National Science Foundation / Yale / University of Chicago Abstract / The University of Chicago / UN Court / Department of Computer Science / /

Person

Anne Condon / Arthur / Carsten Lund / Noam Nisan / Merlin P.S. Thanks / Howard Karloff / Beaver / Lance Fortnow / /

Position

last guard / Prime Minister / mathematician / author / King / never trusted magician / court astronomer / court magician / favored player / /

Product

Chicago / /

ProgrammingLanguage

L / /

ProvinceOrState

Illinois / /

RadioStation

5 When / P AM / M AM / AM 6 / /

TVShow

Q.e.d. / /

Technology

3 The LFKN protocol / separate protocol / prover protocol / Shamir protocols / LFKN-Shamir protocol / correct interactive proof protocols / modified LFKN protocol / Merlin protocol / flash / SP ACE protocol / interactive nonisomorphism protocol / LFKN protocol / bounded round multi-prover protocols / singleprover protocol / proof protocol / simulation / interactive protocol / /

SocialTag