Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023962937> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2023962937 endingPage "286" @default.
- W2023962937 startingPage "249" @default.
- W2023962937 abstract "We study the computational power of randomized computations on infinite objects, such as real numbers. In particular, we introduce the concept of a Las Vegas computable multi-valued function, which is a function that can be computed on a probabilistic Turing machine that receives a random binary sequence as auxiliary input. The machine can take advantage of this random sequence, but it always has to produce a correct result or to stop the computation after finite time if the random advice is not successful. With positive probability the random advice has to be successful. We characterize the class of Las Vegas computable functions in the Weihrauch lattice with the help of probabilistic choice principles and Weak Weak Kőnig's Lemma. Among other things we prove an Independent Choice Theorem that implies that Las Vegas computable functions are closed under composition. In a case study we show that Nash equilibria are Las Vegas computable, while zeros of continuous functions with sign changes cannot be computed on Las Vegas machines. However, we show that the latter problem admits randomized algorithms with weaker failure recognition mechanisms. The last mentioned results can be interpreted such that the Intermediate Value Theorem is reducible to the jump of Weak Weak Kőnig's Lemma, but not to Weak Weak Kőnig's Lemma itself. These examples also demonstrate that Las Vegas computable functions form a proper superclass of the class of computable functions and a proper subclass of the class of non-deterministically computable functions. We also study the impact of specific lower bounds on the success probabilities, which leads to a strict hierarchy of classes. In particular, the classical technique of probability amplification fails for computations on infinite objects. We also investigate the dependency on the underlying probability space. Besides Cantor space, we study the natural numbers, the Euclidean space and Baire space." @default.
- W2023962937 created "2016-06-24" @default.
- W2023962937 creator A5019910641 @default.
- W2023962937 creator A5024845018 @default.
- W2023962937 creator A5048868662 @default.
- W2023962937 date "2015-06-01" @default.
- W2023962937 modified "2023-10-07" @default.
- W2023962937 title "Probabilistic computability and choice" @default.
- W2023962937 cites W1574049752 @default.
- W2023962937 cites W1582285885 @default.
- W2023962937 cites W1967782843 @default.
- W2023962937 cites W1978306213 @default.
- W2023962937 cites W1981799465 @default.
- W2023962937 cites W1987187730 @default.
- W2023962937 cites W2018837422 @default.
- W2023962937 cites W2020204406 @default.
- W2023962937 cites W2027931514 @default.
- W2023962937 cites W2044009111 @default.
- W2023962937 cites W2101900964 @default.
- W2023962937 cites W2117033549 @default.
- W2023962937 cites W2118835180 @default.
- W2023962937 cites W2141528037 @default.
- W2023962937 cites W2144567031 @default.
- W2023962937 cites W2912268883 @default.
- W2023962937 cites W2963693343 @default.
- W2023962937 cites W3099840387 @default.
- W2023962937 cites W3105905549 @default.
- W2023962937 cites W3106040729 @default.
- W2023962937 cites W4229690001 @default.
- W2023962937 cites W4234761190 @default.
- W2023962937 doi "https://doi.org/10.1016/j.ic.2015.03.005" @default.
- W2023962937 hasPublicationYear "2015" @default.
- W2023962937 type Work @default.
- W2023962937 sameAs 2023962937 @default.
- W2023962937 citedByCount "37" @default.
- W2023962937 countsByYear W20239629372015 @default.
- W2023962937 countsByYear W20239629372016 @default.
- W2023962937 countsByYear W20239629372017 @default.
- W2023962937 countsByYear W20239629372018 @default.
- W2023962937 countsByYear W20239629372019 @default.
- W2023962937 countsByYear W20239629372020 @default.
- W2023962937 countsByYear W20239629372021 @default.
- W2023962937 countsByYear W20239629372023 @default.
- W2023962937 crossrefType "journal-article" @default.
- W2023962937 hasAuthorship W2023962937A5019910641 @default.
- W2023962937 hasAuthorship W2023962937A5024845018 @default.
- W2023962937 hasAuthorship W2023962937A5048868662 @default.
- W2023962937 hasBestOaLocation W20239629372 @default.
- W2023962937 hasConcept C105795698 @default.
- W2023962937 hasConcept C114614502 @default.
- W2023962937 hasConcept C118615104 @default.
- W2023962937 hasConcept C152062344 @default.
- W2023962937 hasConcept C156382255 @default.
- W2023962937 hasConcept C18903297 @default.
- W2023962937 hasConcept C27318111 @default.
- W2023962937 hasConcept C2777759810 @default.
- W2023962937 hasConcept C33923547 @default.
- W2023962937 hasConcept C46757340 @default.
- W2023962937 hasConcept C49937458 @default.
- W2023962937 hasConcept C54271186 @default.
- W2023962937 hasConcept C86803240 @default.
- W2023962937 hasConceptScore W2023962937C105795698 @default.
- W2023962937 hasConceptScore W2023962937C114614502 @default.
- W2023962937 hasConceptScore W2023962937C118615104 @default.
- W2023962937 hasConceptScore W2023962937C152062344 @default.
- W2023962937 hasConceptScore W2023962937C156382255 @default.
- W2023962937 hasConceptScore W2023962937C18903297 @default.
- W2023962937 hasConceptScore W2023962937C27318111 @default.
- W2023962937 hasConceptScore W2023962937C2777759810 @default.
- W2023962937 hasConceptScore W2023962937C33923547 @default.
- W2023962937 hasConceptScore W2023962937C46757340 @default.
- W2023962937 hasConceptScore W2023962937C49937458 @default.
- W2023962937 hasConceptScore W2023962937C54271186 @default.
- W2023962937 hasConceptScore W2023962937C86803240 @default.
- W2023962937 hasFunder F4320320671 @default.
- W2023962937 hasLocation W20239629371 @default.
- W2023962937 hasLocation W20239629372 @default.
- W2023962937 hasLocation W20239629373 @default.
- W2023962937 hasOpenAccess W2023962937 @default.
- W2023962937 hasPrimaryLocation W20239629371 @default.
- W2023962937 hasRelatedWork W1480530468 @default.
- W2023962937 hasRelatedWork W1533694441 @default.
- W2023962937 hasRelatedWork W1593562194 @default.
- W2023962937 hasRelatedWork W1990125233 @default.
- W2023962937 hasRelatedWork W2108904240 @default.
- W2023962937 hasRelatedWork W2143028857 @default.
- W2023962937 hasRelatedWork W2171088343 @default.
- W2023962937 hasRelatedWork W2950699437 @default.
- W2023962937 hasRelatedWork W2962816983 @default.
- W2023962937 hasRelatedWork W3134034528 @default.
- W2023962937 hasVolume "242" @default.
- W2023962937 isParatext "false" @default.
- W2023962937 isRetracted "false" @default.
- W2023962937 magId "2023962937" @default.
- W2023962937 workType "article" @default.