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...

ver descrição completa

Detalhes bibliográficos
Autores: Balcázar Navarro, José Luis|||0000-0003-4248-4528, Schöning, Uwe
Formato: informe técnico
Fecha de publicación:1988
País:España
Recursos: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
Acesso em linha:https://hdl.handle.net/2117/189554
Access Level:acceso abierto
Palavra-chave:Algorithms
Karp and Lipton
Logaritmes
Algorismes
Àrees temàtiques de la UPC::Informàtica
Descrição
Resumo: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.