Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297668114> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4297668114 abstract "Diagonalization in the spirit of Cantor's diagonal arguments is a widely used tool in theoretical computer sciences to obtain structural results about computational problems and complexity classes by indirect proofs. The Uniform Diagonalization Theorem allows the construction of problems outside complexity classes while still being reducible to a specific decision problem. This paper provides a generalization of the Uniform Diagonalization Theorem by extending it to promise problems and the complexity classes they form, e.g. randomized and quantum complexity classes. The theorem requires from the underlying computing model not only the decidability of its acceptance and rejection behaviour but also of its promise-contradicting indifferent behaviour - a property that we will introduce as total decidability of promise problems. Implications of the Uniform Diagonalization Theorem are mainly of two kinds: 1. Existence of intermediate problems (e.g. between BQP and QMA) - also known as Ladner's Theorem - and 2. Undecidability if a problem of a complexity class is contained in a subclass (e.g. membership of a QMA-problem in BQP). Like the original Uniform Diagonalization Theorem the extension applies besides BQP and QMA to a large variety of complexity class pairs, including combinations from deterministic, randomized and quantum classes." @default.
- W4297668114 created "2022-09-30" @default.
- W4297668114 creator A5013230393 @default.
- W4297668114 date "2017-12-19" @default.
- W4297668114 modified "2023-09-25" @default.
- W4297668114 title "Uniform Diagonalization Theorem for Complexity Classes of Promise Problems including Randomized and Quantum Classes" @default.
- W4297668114 doi "https://doi.org/10.48550/arxiv.1712.07276" @default.
- W4297668114 hasPublicationYear "2017" @default.
- W4297668114 type Work @default.
- W4297668114 citedByCount "0" @default.
- W4297668114 crossrefType "posted-content" @default.
- W4297668114 hasAuthorship W4297668114A5013230393 @default.
- W4297668114 hasBestOaLocation W42976681141 @default.
- W4297668114 hasConcept C108710211 @default.
- W4297668114 hasConcept C11413529 @default.
- W4297668114 hasConcept C118615104 @default.
- W4297668114 hasConcept C121332964 @default.
- W4297668114 hasConcept C133142742 @default.
- W4297668114 hasConcept C134306372 @default.
- W4297668114 hasConcept C137019171 @default.
- W4297668114 hasConcept C153269930 @default.
- W4297668114 hasConcept C154945302 @default.
- W4297668114 hasConcept C177148314 @default.
- W4297668114 hasConcept C179799912 @default.
- W4297668114 hasConcept C192034797 @default.
- W4297668114 hasConcept C197685441 @default.
- W4297668114 hasConcept C2524010 @default.
- W4297668114 hasConcept C2777212361 @default.
- W4297668114 hasConcept C311688 @default.
- W4297668114 hasConcept C33923547 @default.
- W4297668114 hasConcept C39637292 @default.
- W4297668114 hasConcept C41008148 @default.
- W4297668114 hasConcept C62520636 @default.
- W4297668114 hasConcept C84114770 @default.
- W4297668114 hasConcept C92043244 @default.
- W4297668114 hasConceptScore W4297668114C108710211 @default.
- W4297668114 hasConceptScore W4297668114C11413529 @default.
- W4297668114 hasConceptScore W4297668114C118615104 @default.
- W4297668114 hasConceptScore W4297668114C121332964 @default.
- W4297668114 hasConceptScore W4297668114C133142742 @default.
- W4297668114 hasConceptScore W4297668114C134306372 @default.
- W4297668114 hasConceptScore W4297668114C137019171 @default.
- W4297668114 hasConceptScore W4297668114C153269930 @default.
- W4297668114 hasConceptScore W4297668114C154945302 @default.
- W4297668114 hasConceptScore W4297668114C177148314 @default.
- W4297668114 hasConceptScore W4297668114C179799912 @default.
- W4297668114 hasConceptScore W4297668114C192034797 @default.
- W4297668114 hasConceptScore W4297668114C197685441 @default.
- W4297668114 hasConceptScore W4297668114C2524010 @default.
- W4297668114 hasConceptScore W4297668114C2777212361 @default.
- W4297668114 hasConceptScore W4297668114C311688 @default.
- W4297668114 hasConceptScore W4297668114C33923547 @default.
- W4297668114 hasConceptScore W4297668114C39637292 @default.
- W4297668114 hasConceptScore W4297668114C41008148 @default.
- W4297668114 hasConceptScore W4297668114C62520636 @default.
- W4297668114 hasConceptScore W4297668114C84114770 @default.
- W4297668114 hasConceptScore W4297668114C92043244 @default.
- W4297668114 hasLocation W42976681141 @default.
- W4297668114 hasOpenAccess W4297668114 @default.
- W4297668114 hasPrimaryLocation W42976681141 @default.
- W4297668114 hasRelatedWork W1495098865 @default.
- W4297668114 hasRelatedWork W1504200807 @default.
- W4297668114 hasRelatedWork W199366308 @default.
- W4297668114 hasRelatedWork W2105038944 @default.
- W4297668114 hasRelatedWork W2295040078 @default.
- W4297668114 hasRelatedWork W2964047030 @default.
- W4297668114 hasRelatedWork W3100189114 @default.
- W4297668114 hasRelatedWork W3103522412 @default.
- W4297668114 hasRelatedWork W41138031 @default.
- W4297668114 hasRelatedWork W572625083 @default.
- W4297668114 isParatext "false" @default.
- W4297668114 isRetracted "false" @default.
- W4297668114 workType "article" @default.