Checking Computations in Polylogarithmic Time

Checking Computations in Polylogarithmic Time (1991)

Cached

Download Links

[external.nj.nec.com]

Other Repositories/Bibliography

DBLP

by László Babai , Lance Fortnow , Leonid A. Levin , Mario Szegedy

Citations:

221 - 11 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Checking Computations in Polylogarithmic Time	user correction - Legacy Corrections
AUTHOR NAME	László Babai	user correction - Legacy Corrections
AUTHOR NAME	Lance Fortnow	user correction - Legacy Corrections
AUTHOR AFFIL	2; Dept. Comp. Sci.; Univ. of Chicago; 6	user correction - Legacy Corrections
AUTHOR NAME	Leonid A. Levin	user correction - Legacy Corrections
AUTHOR AFFIL	3; Dept. Comp. Sci.; Boston University; 4	user correction - Legacy Corrections
AUTHOR NAME	Mario Szegedy	user correction - Legacy Corrections
AUTHOR AFFIL	5; Dept. Comp. Sci.; Univ. of Chicago	user correction - Legacy Corrections
ABSTRACT	. Motivated by Manuel Blum's concept of instance checking, we consider new, very fast and generic mechanisms of checking computations. Our results exploit recent advances in interactive proof protocols [LFKN92], [Sha92], and especially the MIP = NEXP protocol from [BFL91]. We show that every nondeterministic computational task S(x; y), defined as a polynomial time relation between the instance x, representing the input and output combined, and the witness y can be modified to a task S 0 such that: (i) the same instances remain accepted; (ii) each instance/witness pair becomes checkable in polylogarithmic Monte Carlo time; and (iii) a witness satisfying S 0 can be computed in polynomial time from a witness satisfying S. Here the instance and the description of S have to be provided in error-correcting code (since the checker will not notice slight changes). A modification of the MIP proof was required to achieve polynomial time in (iii); the earlier technique yields N O(log log N)...	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	19 found	ParsCit 1.0