FRINK Linked Data Fragments server

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

• W190044327 abstract "A new two-person pebble game that abstracts the control structure of many parallel algorithms is defined and studied. This game extends the two-person pebble game defined by Dymond and Tompa (JCSS, Vol. 30, no. 2, 1985, pp. 149-161) in two ways: (a) the game is played on a Boolean circuit rather than on an unlabelled graph, and takes into consideration the types of the gates in the circuit, and (b) the two players' roles are completely symmetric.The new game is used to study the relationship between two natural parallel complexity classes, namely LOGCFL and AC('1). LOGCFL is the class of languages log space reducible to context-free languages. AC('1) is the class of languages accepted by an alternating Turing machine in space O(log n) and alternation depth O(log n). LOGCFL is a subclass of AC('1), but it is not known whether the inclusion is proper. For many problems in LOGCFL the algorithms that show their membership in that class also show their membership in AC('1). However, these algorithms do not use the full power of AC('1) computations. The two-person game defined here provides a model of computation in which this perceived difference can be quantified. This is done by characterizing the two classes using the same measures of resources in the game model. The results so obtained not only illustrate the similarity between these two classes, but also isolate a fundamental difference between them: the recognition of languages in LOGCFL does not utilize the symmetry between the two players, whereas the recognition of languages in AC('1) does. A resource that captures this difference, called role switches, is identified in the game model: languages in LOGCFL use no role switches, whereas languages in AC('1) use O(log n) role switches. Thus the results indicate why the two classes may not be equal.As another application of this game, it is shown that the game model unifies in a single framework the proofs of the following three well known results of complexity theory: (1) Savitch's theorem that nondeterministic space S is contained in deterministic space S('2), (2) Ruzzo's NC algorithm for context-free language recognition, and (3) Borodin and Ruzzo's simulation of simultaneous space and alternation bounded alternating Turing machines by simultaneous space and time bounded alternating Turing machines.Motivated by the characterizations in terms of the game, a property called semi-unboundedness is defined for the following four models: alternating Turing machines, nondeterministic auxiliary pushdown automata, bounded fan-in Boolean circuits, and unbounded fan-in Boolean circuits. This is used in obtaining new characterizations of LOGCFL on these models. Three of these characterizations are in terms of the same measures of resources used to characterize AC('1) on these models, and provide supporting evidence to the belief that these two classes are not equal." @default.
• W190044327 created "2016-06-24" @default.
• W190044327 creator A5041914861 @default.
• W190044327 date "1986-01-01" @default.
• W190044327 modified "2023-09-24" @default.
• W190044327 title "Characterizations of parallel complexity classes" @default.
• W190044327 hasPublicationYear "1986" @default.
• W190044327 type Work @default.
• W190044327 sameAs 190044327 @default.
• W190044327 citedByCount "0" @default.
• W190044327 crossrefType "journal-article" @default.
• W190044327 hasAuthorship W190044327A5041914861 @default.
• W190044327 hasConcept C114614502 @default.
• W190044327 hasConcept C118615104 @default.
• W190044327 hasConcept C151730666 @default.
• W190044327 hasConcept C154945302 @default.
• W190044327 hasConcept C159654299 @default.
• W190044327 hasConcept C203014093 @default.
• W190044327 hasConcept C2776194381 @default.
• W190044327 hasConcept C2777212361 @default.
• W190044327 hasConcept C2779343474 @default.
• W190044327 hasConcept C311688 @default.
• W190044327 hasConcept C33923547 @default.
• W190044327 hasConcept C39637292 @default.
• W190044327 hasConcept C41008148 @default.
• W190044327 hasConcept C80444323 @default.
• W190044327 hasConcept C86803240 @default.
• W190044327 hasConceptScore W190044327C114614502 @default.
• W190044327 hasConceptScore W190044327C118615104 @default.
• W190044327 hasConceptScore W190044327C151730666 @default.
• W190044327 hasConceptScore W190044327C154945302 @default.
• W190044327 hasConceptScore W190044327C159654299 @default.
• W190044327 hasConceptScore W190044327C203014093 @default.
• W190044327 hasConceptScore W190044327C2776194381 @default.
• W190044327 hasConceptScore W190044327C2777212361 @default.
• W190044327 hasConceptScore W190044327C2779343474 @default.
• W190044327 hasConceptScore W190044327C311688 @default.
• W190044327 hasConceptScore W190044327C33923547 @default.
• W190044327 hasConceptScore W190044327C39637292 @default.
• W190044327 hasConceptScore W190044327C41008148 @default.
• W190044327 hasConceptScore W190044327C80444323 @default.
• W190044327 hasConceptScore W190044327C86803240 @default.
• W190044327 hasLocation W1900443271 @default.
• W190044327 hasOpenAccess W190044327 @default.
• W190044327 hasPrimaryLocation W1900443271 @default.
• W190044327 hasRelatedWork W1494177512 @default.
• W190044327 hasRelatedWork W1508043890 @default.
• W190044327 hasRelatedWork W1516507321 @default.
• W190044327 hasRelatedWork W1520700928 @default.
• W190044327 hasRelatedWork W1524877128 @default.
• W190044327 hasRelatedWork W1539133686 @default.
• W190044327 hasRelatedWork W1545818144 @default.
• W190044327 hasRelatedWork W1580159695 @default.
• W190044327 hasRelatedWork W1586235003 @default.
• W190044327 hasRelatedWork W169256259 @default.
• W190044327 hasRelatedWork W1996472051 @default.
• W190044327 hasRelatedWork W2009317959 @default.
• W190044327 hasRelatedWork W2080097400 @default.
• W190044327 hasRelatedWork W2201064261 @default.
• W190044327 hasRelatedWork W2334698479 @default.
• W190044327 hasRelatedWork W2395280667 @default.
• W190044327 hasRelatedWork W2850503404 @default.
• W190044327 hasRelatedWork W2914652086 @default.
• W190044327 hasRelatedWork W2997288986 @default.
• W190044327 hasRelatedWork W2277064181 @default.
• W190044327 isParatext "false" @default.
• W190044327 isRetracted "false" @default.
• W190044327 magId "190044327" @default.
• W190044327 workType "article" @default.