On one query self-reducible sets
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/328476
Tipus de documentReport de recerca
Data publicació1991-01
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 3.0 Espanya
Abstract
We study one word-decreasing self-reducible sets, which were introduced by Lozano and Torán. These are usual self-reducible sets with the peculiarity that the self-reducibility machine makes at most one query and this is a word lexico-graphically smaller than the input. We show first that for all counting classes defined by a predicate on the number of accepting paths there exist complete sets which are one word-decreasing self-reducible. Using this fact we can prove that for any class K chosen from {NP, PP, C [sub =] P, MOD [sub 2] P, MOD [sub 3] P, ...} it holds that (1) if there is a sparse [= sub btt super P] -hard set for K then K = P, and (2) if there is a sparse [= sub btt super SN] -hard set for K then K C NP ¿ co-NP. The main result also shows that the same facts hold for the class PSPACE. This generalizes a recent result from Ogiwara and Watanabe to the mentioned complexity classes.
CitacióLozano, A.; Ogiwara, M. On one query self-reducible sets. 1991.
Forma partLSI-91-16
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008642.pdf | 1,120Mb | Visualitza/Obre |