Matches in SemOpenAlex for { <https://semopenalex.org/work/W858718992> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W858718992 abstract "Abstract. In his last published paper, Solvable and Unsolvable Problems, printed in 1954 in the popular journal Science News, Alan Turing presented several elegant puzzles aiming at explaining and popularizing problems for which there are algorithms for solutions – the solvable – as well as some for which no such algorithmic solution exists the unsolvable. This paper could be seen as a continuation of Turings aim to explain and popularize through puzzles, this time using a set of computational problems of various computational difficulties. Similar to Turings paper, where all his puzzles are unified as substitution puzzles, our set of puzzles offers instances of a unified approach based on urn games. Our (m, n1, n2) games have urns of two types: set urns and linear urns; the urns contain balls of m colors; in a move, a number n1 of balls are extracted and a number n2 of balls are returned to the urn; the solitary player performs moves, one after another, based on the rules of the game until no rule can be applied. Our urn games include Turings substitutions puzzles, but defined with different goals. The class of computational problems obtained by varying the urn game parameters (m, n1, n2) turns out to form a hierarchy of complete problems, one for each of the complexity classes NL, P, NP, PSPACE, EXPSPACE, and the unsolvable. Dijkstras game is a (2,2,1) urn game. The urn games are generalizations of a silly game E.W. Dijkstra presented in his paper Why correctness must be a mathematical concern [Inaugural Lecture for the Chaire Internationale dInformatique at the Universite de Liege, Belgium, 1979 (EWD720)]. The generalizations are inspired by discussions I had with Professor Dijkstra in the wake of my somewhat critical comments of his game. [See my articles Criticizing Professor Dijkstra Considered Harmless and the followup, When Professor Dijkstra Slapped Me in the Quest for Beautiful Code http://www.cs.brown.edu/ sorin/non-tech-writing.htm.] Dijkstra’s silly game is shown to have a certain incompleteness property. This incompleteness relates to the apparent inseperability of two problems: (a) demonstrate how to predict the final outcome, and (b) demonstrate that the final outcome is completely predictable. It turns out that predictability is equivalent to associativity and to the existence of logical invariants for correctness proofs." @default.
- W858718992 created "2016-06-24" @default.
- W858718992 creator A5066189305 @default.
- W858718992 date "2012-01-01" @default.
- W858718992 modified "2023-09-26" @default.
- W858718992 title "Computer Science Through Urn Games: An Unified Framework for a Hierarchy of Solvable and Unsolvable Problems" @default.
- W858718992 cites W2002089154 @default.
- W858718992 hasPublicationYear "2012" @default.
- W858718992 type Work @default.
- W858718992 sameAs 858718992 @default.
- W858718992 citedByCount "0" @default.
- W858718992 crossrefType "journal-article" @default.
- W858718992 hasAuthorship W858718992A5066189305 @default.
- W858718992 hasConcept C102234262 @default.
- W858718992 hasConcept C11413529 @default.
- W858718992 hasConcept C114614502 @default.
- W858718992 hasConcept C118615104 @default.
- W858718992 hasConcept C132478621 @default.
- W858718992 hasConcept C144237770 @default.
- W858718992 hasConcept C154945302 @default.
- W858718992 hasConcept C162324750 @default.
- W858718992 hasConcept C177142836 @default.
- W858718992 hasConcept C177264268 @default.
- W858718992 hasConcept C199360897 @default.
- W858718992 hasConcept C2777212361 @default.
- W858718992 hasConcept C31170391 @default.
- W858718992 hasConcept C33923547 @default.
- W858718992 hasConcept C34447519 @default.
- W858718992 hasConcept C41008148 @default.
- W858718992 hasConcept C55439883 @default.
- W858718992 hasConcept C65276347 @default.
- W858718992 hasConcept C73795354 @default.
- W858718992 hasConcept C95940807 @default.
- W858718992 hasConcept C9870796 @default.
- W858718992 hasConceptScore W858718992C102234262 @default.
- W858718992 hasConceptScore W858718992C11413529 @default.
- W858718992 hasConceptScore W858718992C114614502 @default.
- W858718992 hasConceptScore W858718992C118615104 @default.
- W858718992 hasConceptScore W858718992C132478621 @default.
- W858718992 hasConceptScore W858718992C144237770 @default.
- W858718992 hasConceptScore W858718992C154945302 @default.
- W858718992 hasConceptScore W858718992C162324750 @default.
- W858718992 hasConceptScore W858718992C177142836 @default.
- W858718992 hasConceptScore W858718992C177264268 @default.
- W858718992 hasConceptScore W858718992C199360897 @default.
- W858718992 hasConceptScore W858718992C2777212361 @default.
- W858718992 hasConceptScore W858718992C31170391 @default.
- W858718992 hasConceptScore W858718992C33923547 @default.
- W858718992 hasConceptScore W858718992C34447519 @default.
- W858718992 hasConceptScore W858718992C41008148 @default.
- W858718992 hasConceptScore W858718992C55439883 @default.
- W858718992 hasConceptScore W858718992C65276347 @default.
- W858718992 hasConceptScore W858718992C73795354 @default.
- W858718992 hasConceptScore W858718992C95940807 @default.
- W858718992 hasConceptScore W858718992C9870796 @default.
- W858718992 hasLocation W8587189921 @default.
- W858718992 hasOpenAccess W858718992 @default.
- W858718992 hasPrimaryLocation W8587189921 @default.
- W858718992 hasRelatedWork W1539109799 @default.
- W858718992 hasRelatedWork W1560858198 @default.
- W858718992 hasRelatedWork W1568383619 @default.
- W858718992 hasRelatedWork W1976585545 @default.
- W858718992 hasRelatedWork W2084952688 @default.
- W858718992 hasRelatedWork W2138563832 @default.
- W858718992 hasRelatedWork W2169908521 @default.
- W858718992 hasRelatedWork W2247931544 @default.
- W858718992 hasRelatedWork W2294388386 @default.
- W858718992 hasRelatedWork W2485182566 @default.
- W858718992 hasRelatedWork W2621295547 @default.
- W858718992 hasRelatedWork W2916736176 @default.
- W858718992 hasRelatedWork W2951604538 @default.
- W858718992 hasRelatedWork W2962983538 @default.
- W858718992 hasRelatedWork W2963357770 @default.
- W858718992 hasRelatedWork W2963504717 @default.
- W858718992 hasRelatedWork W3187383240 @default.
- W858718992 hasRelatedWork W99333433 @default.
- W858718992 hasRelatedWork W2083677681 @default.
- W858718992 hasRelatedWork W2783894768 @default.
- W858718992 isParatext "false" @default.
- W858718992 isRetracted "false" @default.
- W858718992 magId "858718992" @default.
- W858718992 workType "article" @default.