Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Relativizing Small Complexity Classes and their Klaus Aehlig , Stephen Cook, and Phuong Nguyen
 

Summary: Relativizing Small Complexity Classes and their
Theories
Klaus Aehlig , Stephen Cook, and Phuong Nguyen
University of Toronto
Abstract. Existing definitions of the relativizations of NC1
, L and NL
do not preserve the inclusions NC1
L, NL AC1
. We start by giving
the first definitions that preserve them. Here for L and NL we define their
relativizations using Wilson's stack oracle model, but limit the height of
the stack to a constant (instead of log(n)). We show that the collapse
of any two classes in {AC0
(m), TC0
, NC1
, L, NL} implies the collapse
of their relativizations. Next we develop theories that characterize the
relativizations of subclasses of P by modifying theories previously defined
by the second two authors. A function is provably total in a theory iff
it is in the corresponding relativized class. Finally we exhibit an oracle

  

Source: Aehlig, Klaus T. - Institut für Informatik, Ludwig-Maximilians-Universität München

 

Collections: Mathematics; Computer Technologies and Information Sciences