Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
IAS/Park City Mathematics Series Volume 00, 0000
 

Summary: IAS/Park City Mathematics Series
Volume 00, 0000
Exploring Complexity through reductions
Sanjeev Arora
Since we have few techniques for proving strong lowerbounds on Turing ma­
chine computations, an interim approach is to study interrelationships between
various complexity questions. We usually prove interrelationships using reductions.
Examples of such e#orts include (in addition to the ones studied in the next three
lectures) the following.
(1) Most of cryptography, like message authentication, digital signatures,
pseudorandom generation, etc. is based on reductions.
(2) Papadimitriou's complexity class based on non­constructive math proofs [Pap94].
(3) Sahai­Vadhan's complete problems for zero­knowledge [SV97].
(4) Levin's theory of average case complexity [Lev].
(5) Fixed parameter tractability theory introduced by Downey and Fellows [DF95].
The next three lectures show this reduction­based methodology in action for
three important issues.
We note that there are many examples of complexity classes for which the
reduction­based e#ort has not proved as successful, such as BPP, NP
# coNP, and

  

Source: Arora, Sanjeev - Department of Computer Science, Princeton University
Krajíček, Jan - School of Mathematics, Charles University in Prague

 

Collections: Computer Technologies and Information Sciences; Mathematics