Show simple item record

dc.contributor.authorÁlvarez Faura, M. del Carme
dc.contributor.authorJenner Núñez, Birgit
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationAlvarez, C.; Jenner, B. "Logarithmic space counting classes". 1990.
dc.description.abstractWe consider the logarithmic space counting classes #L, opt-L, and span-L, which are defined analogously to their polynomial time counterparts. We obtain complete functions for these three classes in terms of graphs and finite automata. We show that #L and opt-L are both contained in NCsuper2, but that, surprisingly, span-L seems to be a much harder counting class than #L and opt-L. We demonstrate that span-L-functions can be computed in polynomial time if and only if P = NP = PH = P(#P), i.e. iff the class P(#P) and all the classes of the polynomial time hierarchy are contained in P. This result follows from the fact that span-L and #P are very similar: span-L C #P, and any function in #P can be represented as a subtraction of two functions in span-L. Nevertheless, #P C span-L would imply NL = P = NP. We furthermore investigate various restrictions of the classes opt-L and span-L, and show, e.g., that if opt-L coincides with one of its restricted versions, then L = NL follows.
dc.format.extent30 p.
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.titleLogarithmic space counting classes
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
local.citation.authorAlvarez, C.; Jenner, B.

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