Measuring in PSPACE
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/369631
Tipus de documentReport de recerca
Data publicació1992-03-16
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
Results of the kind "Almost every oracle in exponential space separates P from NP" or "Almost every set in exponential time is P-bi-immune" can be precisely formulated via a new approach in Structural Complexity recently introduced by Lutz. He defines a resource bounded measure in exponential time and space classes that generalizes Lebesgue measure, a powerful mathematical tool. This resource bounded measure is mainly used to distinguish between "big" and "small" classes, and to investigate the properties that hold for "typical" languages in a class. We investigate here the possibility of extending this resource bounded measure to other classes, mainly PSPACE. We prove here that the natural candidate of resource bound for measuring in PSPACE is not valid unless some unlikely consequences are true. We also obtain a way of measuring in PSPACE that does not have as many properties as resource bounded measure in bigger classes.
CitacióMayordomo, E. Measuring in PSPACE. 1992.
Forma partLSI-92-10-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400012807.pdf | 466,2Kb | Visualitza/Obre |