Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116815344> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2116815344 abstract "The concepts of succinct problem representation, and of NP leaf languages, were developed to characterize complexity classes above polynomial time. Here, we work out a descriptive complexity approach to succinctly represented problems, and prove a strictly stronger version of the Conversion Lemma from Balcazar et al (1992) which allows iterated application. Moreover, we prove that for every problem /spl Pi/ its succinct version s/spl Pi/ is complete under projection reductions for the leaf language it defines. Projection reductions are a highly restrictive reducibility notion stemming from descriptive complexity theory. Our main tool is a characterization of polynomial time Turing machines in terms of circuits which are constructed uniformly by quantifier-free formulas. Finally, we show that an alternative succinct representation model allows to obtain completeness results for all syntactic complexity classes even under monotone projection reductions. Thus, we positively answer a question by Stewart (1991, 1994) for a large number of complexity classes." @default.
- W2116815344 created "2016-06-24" @default.
- W2116815344 creator A5052440027 @default.
- W2116815344 date "2002-12-23" @default.
- W2116815344 modified "2023-09-27" @default.
- W2116815344 title "Succinct representation, leaf languages, and projection reductions" @default.
- W2116815344 cites W1512849744 @default.
- W2116815344 cites W1543965609 @default.
- W2116815344 cites W1580758408 @default.
- W2116815344 cites W1816633894 @default.
- W2116815344 cites W190925786 @default.
- W2116815344 cites W1970629906 @default.
- W2116815344 cites W1976534954 @default.
- W2116815344 cites W1982538209 @default.
- W2116815344 cites W2003031781 @default.
- W2116815344 cites W2007569718 @default.
- W2116815344 cites W2034955756 @default.
- W2116815344 cites W2045583484 @default.
- W2116815344 cites W2048383625 @default.
- W2116815344 cites W2061489447 @default.
- W2116815344 cites W2065546707 @default.
- W2116815344 cites W2065939997 @default.
- W2116815344 cites W2091528516 @default.
- W2116815344 cites W2097328279 @default.
- W2116815344 cites W2160722924 @default.
- W2116815344 cites W3003623942 @default.
- W2116815344 cites W4240781210 @default.
- W2116815344 cites W2125162033 @default.
- W2116815344 doi "https://doi.org/10.1109/ccc.1996.507675" @default.
- W2116815344 hasPublicationYear "2002" @default.
- W2116815344 type Work @default.
- W2116815344 sameAs 2116815344 @default.
- W2116815344 citedByCount "13" @default.
- W2116815344 countsByYear W21168153442021 @default.
- W2116815344 crossrefType "proceedings-article" @default.
- W2116815344 hasAuthorship W2116815344A5052440027 @default.
- W2116815344 hasConcept C11413529 @default.
- W2116815344 hasConcept C118615104 @default.
- W2116815344 hasConcept C133142742 @default.
- W2116815344 hasConcept C134026603 @default.
- W2116815344 hasConcept C134306372 @default.
- W2116815344 hasConcept C140479938 @default.
- W2116815344 hasConcept C17744445 @default.
- W2116815344 hasConcept C179799912 @default.
- W2116815344 hasConcept C18903297 @default.
- W2116815344 hasConcept C199539241 @default.
- W2116815344 hasConcept C2524010 @default.
- W2116815344 hasConcept C2776359362 @default.
- W2116815344 hasConcept C2777759810 @default.
- W2116815344 hasConcept C2834757 @default.
- W2116815344 hasConcept C311688 @default.
- W2116815344 hasConcept C32278780 @default.
- W2116815344 hasConcept C33923547 @default.
- W2116815344 hasConcept C39637292 @default.
- W2116815344 hasConcept C41008148 @default.
- W2116815344 hasConcept C46757340 @default.
- W2116815344 hasConcept C57493831 @default.
- W2116815344 hasConcept C86803240 @default.
- W2116815344 hasConcept C94625758 @default.
- W2116815344 hasConceptScore W2116815344C11413529 @default.
- W2116815344 hasConceptScore W2116815344C118615104 @default.
- W2116815344 hasConceptScore W2116815344C133142742 @default.
- W2116815344 hasConceptScore W2116815344C134026603 @default.
- W2116815344 hasConceptScore W2116815344C134306372 @default.
- W2116815344 hasConceptScore W2116815344C140479938 @default.
- W2116815344 hasConceptScore W2116815344C17744445 @default.
- W2116815344 hasConceptScore W2116815344C179799912 @default.
- W2116815344 hasConceptScore W2116815344C18903297 @default.
- W2116815344 hasConceptScore W2116815344C199539241 @default.
- W2116815344 hasConceptScore W2116815344C2524010 @default.
- W2116815344 hasConceptScore W2116815344C2776359362 @default.
- W2116815344 hasConceptScore W2116815344C2777759810 @default.
- W2116815344 hasConceptScore W2116815344C2834757 @default.
- W2116815344 hasConceptScore W2116815344C311688 @default.
- W2116815344 hasConceptScore W2116815344C32278780 @default.
- W2116815344 hasConceptScore W2116815344C33923547 @default.
- W2116815344 hasConceptScore W2116815344C39637292 @default.
- W2116815344 hasConceptScore W2116815344C41008148 @default.
- W2116815344 hasConceptScore W2116815344C46757340 @default.
- W2116815344 hasConceptScore W2116815344C57493831 @default.
- W2116815344 hasConceptScore W2116815344C86803240 @default.
- W2116815344 hasConceptScore W2116815344C94625758 @default.
- W2116815344 hasLocation W21168153441 @default.
- W2116815344 hasOpenAccess W2116815344 @default.
- W2116815344 hasPrimaryLocation W21168153441 @default.
- W2116815344 hasRelatedWork W1532058475 @default.
- W2116815344 hasRelatedWork W1652311832 @default.
- W2116815344 hasRelatedWork W2118300983 @default.
- W2116815344 hasRelatedWork W2135396778 @default.
- W2116815344 hasRelatedWork W2166247150 @default.
- W2116815344 hasRelatedWork W2243428364 @default.
- W2116815344 hasRelatedWork W2462453872 @default.
- W2116815344 hasRelatedWork W3207171446 @default.
- W2116815344 hasRelatedWork W4243252198 @default.
- W2116815344 hasRelatedWork W4245713008 @default.
- W2116815344 isParatext "false" @default.
- W2116815344 isRetracted "false" @default.
- W2116815344 magId "2116815344" @default.
- W2116815344 workType "article" @default.