Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567990440> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1567990440 endingPage "223" @default.
- W1567990440 startingPage "209" @default.
- W1567990440 abstract "We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, is defined by way of a game that is somewhat similar in spirit to the robber and cops games used to describe tree width, directed tree width, and hypertree width. Nevertheless, on many classes of graphs, there are significant differences between entanglement and the various incarnations of tree width. Entanglement is intimately connected to the computational and descriptive complexity of the modal μ-calculus. On the one hand, the number of fixed point variables needed to describe a finite graph up to bisimulation is captured by its entanglement. This plays a crucial role in the proof that the variable hierarchy of the μ-calculus is strict. In addition to this, we prove that parity games of bounded entanglement can be solved in polynomial time. Specifically, we establish that the complexity of solving a parity game can be parametrised in terms of the minimal entanglement of a subgame induced by a winning strategy." @default.
- W1567990440 created "2016-06-24" @default.
- W1567990440 creator A5010064604 @default.
- W1567990440 creator A5012313268 @default.
- W1567990440 date "2005-01-01" @default.
- W1567990440 modified "2023-10-04" @default.
- W1567990440 title "Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games" @default.
- W1567990440 cites W1505081061 @default.
- W1567990440 cites W1522855049 @default.
- W1567990440 cites W1783056602 @default.
- W1567990440 cites W2011911122 @default.
- W1567990440 cites W2015640848 @default.
- W1567990440 cites W2054167510 @default.
- W1567990440 cites W2083896385 @default.
- W1567990440 cites W2133853963 @default.
- W1567990440 cites W2170933628 @default.
- W1567990440 cites W4243643814 @default.
- W1567990440 doi "https://doi.org/10.1007/978-3-540-32275-7_15" @default.
- W1567990440 hasPublicationYear "2005" @default.
- W1567990440 type Work @default.
- W1567990440 sameAs 1567990440 @default.
- W1567990440 citedByCount "54" @default.
- W1567990440 countsByYear W15679904402012 @default.
- W1567990440 countsByYear W15679904402013 @default.
- W1567990440 countsByYear W15679904402014 @default.
- W1567990440 countsByYear W15679904402015 @default.
- W1567990440 countsByYear W15679904402016 @default.
- W1567990440 countsByYear W15679904402017 @default.
- W1567990440 countsByYear W15679904402018 @default.
- W1567990440 countsByYear W15679904402019 @default.
- W1567990440 crossrefType "book-chapter" @default.
- W1567990440 hasAuthorship W1567990440A5010064604 @default.
- W1567990440 hasAuthorship W1567990440A5012313268 @default.
- W1567990440 hasBestOaLocation W15679904402 @default.
- W1567990440 hasConcept C113174947 @default.
- W1567990440 hasConcept C114614502 @default.
- W1567990440 hasConcept C118615104 @default.
- W1567990440 hasConcept C121040770 @default.
- W1567990440 hasConcept C121332964 @default.
- W1567990440 hasConcept C134306372 @default.
- W1567990440 hasConcept C135315306 @default.
- W1567990440 hasConcept C2780009758 @default.
- W1567990440 hasConcept C33923547 @default.
- W1567990440 hasConcept C34388435 @default.
- W1567990440 hasConcept C41008148 @default.
- W1567990440 hasConcept C62520636 @default.
- W1567990440 hasConcept C77088390 @default.
- W1567990440 hasConcept C80444323 @default.
- W1567990440 hasConcept C84114770 @default.
- W1567990440 hasConceptScore W1567990440C113174947 @default.
- W1567990440 hasConceptScore W1567990440C114614502 @default.
- W1567990440 hasConceptScore W1567990440C118615104 @default.
- W1567990440 hasConceptScore W1567990440C121040770 @default.
- W1567990440 hasConceptScore W1567990440C121332964 @default.
- W1567990440 hasConceptScore W1567990440C134306372 @default.
- W1567990440 hasConceptScore W1567990440C135315306 @default.
- W1567990440 hasConceptScore W1567990440C2780009758 @default.
- W1567990440 hasConceptScore W1567990440C33923547 @default.
- W1567990440 hasConceptScore W1567990440C34388435 @default.
- W1567990440 hasConceptScore W1567990440C41008148 @default.
- W1567990440 hasConceptScore W1567990440C62520636 @default.
- W1567990440 hasConceptScore W1567990440C77088390 @default.
- W1567990440 hasConceptScore W1567990440C80444323 @default.
- W1567990440 hasConceptScore W1567990440C84114770 @default.
- W1567990440 hasLocation W15679904401 @default.
- W1567990440 hasLocation W15679904402 @default.
- W1567990440 hasOpenAccess W1567990440 @default.
- W1567990440 hasPrimaryLocation W15679904401 @default.
- W1567990440 hasRelatedWork W1664124432 @default.
- W1567990440 hasRelatedWork W1766058616 @default.
- W1567990440 hasRelatedWork W1965292679 @default.
- W1567990440 hasRelatedWork W2078471755 @default.
- W1567990440 hasRelatedWork W2086968855 @default.
- W1567990440 hasRelatedWork W2140397786 @default.
- W1567990440 hasRelatedWork W2550284991 @default.
- W1567990440 hasRelatedWork W3098628175 @default.
- W1567990440 hasRelatedWork W3102538602 @default.
- W1567990440 hasRelatedWork W3122632300 @default.
- W1567990440 isParatext "false" @default.
- W1567990440 isRetracted "false" @default.
- W1567990440 magId "1567990440" @default.
- W1567990440 workType "book-chapter" @default.