Show simple item record

dc.contributor.authorLozano Bojados, Antoni
dc.contributor.authorOgiwara, Mitsunori
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationLozano, A.; Ogiwara, M. On one query self-reducible sets. 1991.
dc.description.abstractWe 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.
dc.format.extent15 p.
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.subject.lcshHuman-computer interaction
dc.subject.lcshLexicography -- Electronic data processing
dc.titleOn one query self-reducible sets
dc.typeExternal research report
dc.subject.lemacInteracció persona-ordinador
dc.subject.lemacLexicologia -- Informàtica
dc.contributor.groupUniversitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
local.citation.authorLozano, A.; Ogiwara, M.

Files in this item


This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain