Logarithmic advice classes

Karp and Lipton [9] introduced the notion of non-uniform complexity classes where a certain amount of "side information", the advice, is given for free. The advice only depends on the length of the input. Karp and Lipton (and also later researchers [22,17,2,12]) concentrated on the study o...

Descripción completa

Detalles Bibliográficos
Autores: Balcázar Navarro, José Luis|||0000-0003-4248-4528, Schöning, Uwe
Tipo de recurso: informe técnico
Fecha de publicación:1988
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/189554
Acceso en línea:https://hdl.handle.net/2117/189554
Access Level:acceso abierto
Palabra clave:Algorithms
Karp and Lipton
Logaritmes
Algorismes
Àrees temàtiques de la UPC::Informàtica
Descripción
Sumario:Karp and Lipton [9] introduced the notion of non-uniform complexity classes where a certain amount of "side information", the advice, is given for free. The advice only depends on the length of the input. Karp and Lipton (and also later researchers [22,17,2,12]) concentrated on the study of classes of the form C/poly where C is P, NP, or PSPACE, and poly denotes a polynomial size advice. This paper starts a study of classes of the form C/log. As a main result it is shown that in the context of an NP/log computation a log-bounded advice is equivalent to a sparse oracle in NP. In contrast, it has been shown that a poly-bounded advice corresponds to an arbitrary sparse oracle set. Furthermore, a general theorem is presented that generalizes Karp and Lipton's "round-robin tournament" method.