Title:
|
Connections among non uniform models for problems requiring high amount of resources
|
Author:
|
Balcázar Navarro, José Luis; Gabarró Vallès, Joaquim
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
Abstract:
|
Preliminary version |
Abstract:
|
We characterize in terms of oracle Turing machines the classes defined by exponential lower bounds on some nonuniform complexity measures. After, we use the same methods to give a new characterization of classes defined by polynomial and polylog upper bounds, obtaining an unified approach to deal with upper and lower bounds. The measures are the initial index, the context-free cost, and the boolean circuits size. We interpret oir results by discussing a trade-off between oracle information and compued information for oracle Turing machines. |
Abstract:
|
Caracteritzem per màquines de Turing amb oracles, classes de complexitat definides per fites interiors exponencials sobre mesures no uniformes. Els mateixos mètodes ens permeten d'obtenir caracteritzacions de classes definides fer fites superiors polinòmiques i "poly-log", unificant l'estudi de fites superiors amb el de fites inferiors. Les mesures són l'índex inicial, el cost incontextual i el cost booleà. Proposem una interpretació del resultat i discutim l'equilibri entre informació calculada i informació obtinguda de l'oracle. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat -Turing machines -Computational complexity -Turing, Màquines de -Complexitat computacional |
Rights:
|
|
Document type:
|
Article - Published version Report |
Share:
|
|