E-mail and the unexpected power of interaction
László Babai · 2002
The LFKN protocol, interactive proofs, complexity classes, relativized separation, arithmetization of Boolean formulas, program verification, multiple provers, circuit reductions and publishable proofs, and space-bounded interactive proofs are discussed. An examination is also made of e-mail ethics.>