Thesis for the degree Doctor of Philosophy By Or


Probabilistic proof systems is a paradigm of complexity theory whose study evolves around questions such as “how can we use randomness to prove and verify assertions?”, “what do we gain from using randomness in verification procedures?”, and “what assertions can be verified by probabilistic verification procedures?”. The study of those questions has began… (More)


1 Figure or Table