FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071238863> ?p ?o ?g. }

• W2071238863 endingPage "279" @default.
• W2071238863 startingPage "199" @default.
• W2071238863 abstract "In this paper we introduce constructible analogs of the discrete complexity classes $mathbf{VP}$ and $mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $mathbb{R}^n$ or $mathbb{C}^n$. We define a class of sequences of constructible functions that play a role analogous to that of $mathbf{VP}$ in the more classical theory. The class analogous to $mathbf{VNP}$ is defined using Euler integration. We discuss several examples, develop a theory of completeness, and pose a conjecture analogous to the $mathbf{VP}$ vs. $mathbf{VNP}$ conjecture in the classical case. In the second part of the paper we extend the notions of complexity classes to sequences of constructible sheaves over $mathbb{R}^n$ (or its one point compactification). We introduce a class of sequences of simple constructible sheaves, that could be seen as the sheaf-theoretic analog of the Blum-Shub-Smale class $mathbf{P}_{mathbb{R}}$. We also define a hierarchy of complexity classes of sheaves mirroring the polynomial hierarchy, $mathbf{PH}_{mathbb{R}}$, in the B-S-S theory. We prove a singly exponential upper bound on the topological complexity of the sheaves in this hierarchy mirroring a similar result in the B-S-S setting. We obtain as a result an algorithm with singly exponential complexity for a sheaf-theoretic variant of the real quantifier elimination problem. We pose the natural sheaf-theoretic analogs of the classical $mathbf{P}$ vs. $mathbf{NP}$ question, and also discuss a connection with Toda's theorem from discrete complexity theory in the context of constructible sheaves. We also discuss possible generalizations of the questions in complexity theory related to separation of complexity classes to more general categories via sequences of adjoint pairs of functors." @default.
• W2071238863 created "2016-06-24" @default.
• W2071238863 creator A5057052198 @default.
• W2071238863 date "2014-10-28" @default.
• W2071238863 modified "2023-09-24" @default.
• W2071238863 title "A Complexity Theory of Constructible Functions and Sheaves" @default.
• W2071238863 cites W1541268885 @default.
• W2071238863 cites W1561337879 @default.
• W2071238863 cites W1568989156 @default.
• W2071238863 cites W1576854535 @default.
• W2071238863 cites W181596362 @default.
• W2071238863 cites W1964303164 @default.
• W2071238863 cites W1988648010 @default.
• W2071238863 cites W1991581432 @default.
• W2071238863 cites W1991813962 @default.
• W2071238863 cites W1996643891 @default.
• W2071238863 cites W1996754055 @default.
• W2071238863 cites W2001918102 @default.
• W2071238863 cites W2006912660 @default.
• W2071238863 cites W2007051555 @default.
• W2071238863 cites W2012678207 @default.
• W2071238863 cites W2030521142 @default.
• W2071238863 cites W2034996971 @default.
• W2071238863 cites W2035378589 @default.
• W2071238863 cites W2046748166 @default.
• W2071238863 cites W2048019015 @default.
• W2071238863 cites W2057221822 @default.
• W2071238863 cites W2065251436 @default.
• W2071238863 cites W2067276335 @default.
• W2071238863 cites W2074207216 @default.
• W2071238863 cites W2077846676 @default.
• W2071238863 cites W2082245279 @default.
• W2071238863 cites W2082774629 @default.
• W2071238863 cites W2102074804 @default.
• W2071238863 cites W2109673461 @default.
• W2071238863 cites W2123499714 @default.
• W2071238863 cites W2136302685 @default.
• W2071238863 cites W2137407595 @default.
• W2071238863 cites W2144905782 @default.
• W2071238863 cites W2162052349 @default.
• W2071238863 cites W2163243521 @default.
• W2071238863 cites W2170386298 @default.
• W2071238863 cites W2503612797 @default.
• W2071238863 cites W2610884651 @default.
• W2071238863 cites W2952892262 @default.
• W2071238863 cites W2963903452 @default.
• W2071238863 cites W2999247598 @default.
• W2071238863 cites W3023034303 @default.
• W2071238863 cites W3104275909 @default.
• W2071238863 cites W323935674 @default.
• W2071238863 cites W36355091 @default.
• W2071238863 cites W40684321 @default.
• W2071238863 cites W4237364295 @default.
• W2071238863 cites W4242280518 @default.
• W2071238863 cites W4243300374 @default.
• W2071238863 cites W4246612696 @default.
• W2071238863 cites W4249018240 @default.
• W2071238863 cites W4255213956 @default.
• W2071238863 cites W4292165935 @default.
• W2071238863 cites W4301168154 @default.
• W2071238863 cites W608741895 @default.
• W2071238863 doi "https://doi.org/10.1007/s10208-014-9222-z" @default.
• W2071238863 hasPublicationYear "2014" @default.
• W2071238863 type Work @default.
• W2071238863 sameAs 2071238863 @default.
• W2071238863 citedByCount "6" @default.
• W2071238863 countsByYear W20712388632013 @default.
• W2071238863 countsByYear W20712388632015 @default.
• W2071238863 countsByYear W20712388632017 @default.
• W2071238863 countsByYear W20712388632018 @default.
• W2071238863 countsByYear W20712388632020 @default.
• W2071238863 countsByYear W20712388632022 @default.
• W2071238863 crossrefType "journal-article" @default.
• W2071238863 hasAuthorship W2071238863A5057052198 @default.
• W2071238863 hasBestOaLocation W20712388632 @default.
• W2071238863 hasConcept C114614502 @default.
• W2071238863 hasConcept C118615104 @default.
• W2071238863 hasConcept C131583701 @default.
• W2071238863 hasConcept C133142742 @default.
• W2071238863 hasConcept C202444582 @default.
• W2071238863 hasConcept C2780990831 @default.
• W2071238863 hasConcept C311688 @default.
• W2071238863 hasConcept C33923547 @default.
• W2071238863 hasConcept C39637292 @default.
• W2071238863 hasConcept C4017995 @default.
• W2071238863 hasConceptScore W2071238863C114614502 @default.
• W2071238863 hasConceptScore W2071238863C118615104 @default.
• W2071238863 hasConceptScore W2071238863C131583701 @default.
• W2071238863 hasConceptScore W2071238863C133142742 @default.
• W2071238863 hasConceptScore W2071238863C202444582 @default.
• W2071238863 hasConceptScore W2071238863C2780990831 @default.
• W2071238863 hasConceptScore W2071238863C311688 @default.
• W2071238863 hasConceptScore W2071238863C33923547 @default.
• W2071238863 hasConceptScore W2071238863C39637292 @default.
• W2071238863 hasConceptScore W2071238863C4017995 @default.
• W2071238863 hasIssue "1" @default.
• W2071238863 hasLocation W20712388631 @default.
• W2071238863 hasLocation W20712388632 @default.

• next