FRINK Linked Data Fragments server

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

• W2963272893 endingPage "67" @default.
• W2963272893 startingPage "51" @default.
• W2963272893 abstract "We extend the notion of distributed decision in the framework of distributed network computing, inspired by both the polynomial hierarchy for Turing machines and recent results on so-called distributed graph automata. We show that, by using distributed decision mechanisms based on the interaction between a prover and a disprover, the size of the certificates distributed to the nodes for certifying a given network property can be drastically reduced. For instance, we prove that minimum spanning tree (MST) can be certified with O(log⁡n)-bit certificates in n-node graphs, with just one interaction between the prover and the disprover, while it is known that certifying MST requires Ω(log2⁡n)-bit certificates if only the prover can act. The improvement can even be exponential for some simple graph properties. For instance, it is known that certifying the existence of a nontrivial automorphism requires Ω(n2) bits if only the prover can act. We show that there is a protocol with two interactions between the prover and the disprover that certifies nontrivial automorphism with O(log⁡n)-bit certificates. These results are achieved by defining and analyzing a local hierarchy of decision which generalizes the classical notions of proof-labeling schemes and locally checkable proofs." @default.
• W2963272893 created "2019-07-30" @default.
• W2963272893 creator A5071967017 @default.
• W2963272893 creator A5080881555 @default.
• W2963272893 creator A5090307195 @default.
• W2963272893 date "2021-02-01" @default.
• W2963272893 modified "2023-09-30" @default.
• W2963272893 title "A hierarchy of local decision" @default.
• W2963272893 cites W1964530682 @default.
• W2963272893 cites W1999120866 @default.
• W2963272893 cites W2008267106 @default.
• W2963272893 cites W2011915102 @default.
• W2963272893 cites W2015849324 @default.
• W2963272893 cites W2017345786 @default.
• W2963272893 cites W2023425290 @default.
• W2963272893 cites W2054910423 @default.
• W2963272893 cites W2056295140 @default.
• W2963272893 cites W2065251436 @default.
• W2963272893 cites W2083323175 @default.
• W2963272893 cites W2138623498 @default.
• W2963272893 cites W2150460548 @default.
• W2963272893 cites W2549442734 @default.
• W2963272893 cites W2885668823 @default.
• W2963272893 cites W2888785735 @default.
• W2963272893 cites W2889545431 @default.
• W2963272893 cites W2923869718 @default.
• W2963272893 cites W2953154319 @default.
• W2963272893 cites W3022323839 @default.
• W2963272893 cites W3103786737 @default.
• W2963272893 doi "https://doi.org/10.1016/j.tcs.2020.12.017" @default.
• W2963272893 hasPublicationYear "2021" @default.
• W2963272893 type Work @default.
• W2963272893 sameAs 2963272893 @default.
• W2963272893 citedByCount "10" @default.
• W2963272893 countsByYear W29632728932016 @default.
• W2963272893 countsByYear W29632728932018 @default.
• W2963272893 countsByYear W29632728932019 @default.
• W2963272893 countsByYear W29632728932020 @default.
• W2963272893 countsByYear W29632728932021 @default.
• W2963272893 countsByYear W29632728932022 @default.
• W2963272893 countsByYear W29632728932023 @default.
• W2963272893 crossrefType "journal-article" @default.
• W2963272893 hasAuthorship W2963272893A5071967017 @default.
• W2963272893 hasAuthorship W2963272893A5080881555 @default.
• W2963272893 hasAuthorship W2963272893A5090307195 @default.
• W2963272893 hasBestOaLocation W29632728934 @default.
• W2963272893 hasConcept C108710211 @default.
• W2963272893 hasConcept C111472728 @default.
• W2963272893 hasConcept C11413529 @default.
• W2963272893 hasConcept C118615104 @default.
• W2963272893 hasConcept C127413603 @default.
• W2963272893 hasConcept C132525143 @default.
• W2963272893 hasConcept C138885662 @default.
• W2963272893 hasConcept C159718280 @default.
• W2963272893 hasConcept C162324750 @default.
• W2963272893 hasConcept C2524010 @default.
• W2963272893 hasConcept C2780586882 @default.
• W2963272893 hasConcept C29248071 @default.
• W2963272893 hasConcept C31170391 @default.
• W2963272893 hasConcept C33923547 @default.
• W2963272893 hasConcept C34447519 @default.
• W2963272893 hasConcept C41008148 @default.
• W2963272893 hasConcept C45374587 @default.
• W2963272893 hasConcept C62611344 @default.
• W2963272893 hasConcept C66938386 @default.
• W2963272893 hasConcept C80444323 @default.
• W2963272893 hasConceptScore W2963272893C108710211 @default.
• W2963272893 hasConceptScore W2963272893C111472728 @default.
• W2963272893 hasConceptScore W2963272893C11413529 @default.
• W2963272893 hasConceptScore W2963272893C118615104 @default.
• W2963272893 hasConceptScore W2963272893C127413603 @default.
• W2963272893 hasConceptScore W2963272893C132525143 @default.
• W2963272893 hasConceptScore W2963272893C138885662 @default.
• W2963272893 hasConceptScore W2963272893C159718280 @default.
• W2963272893 hasConceptScore W2963272893C162324750 @default.
• W2963272893 hasConceptScore W2963272893C2524010 @default.
• W2963272893 hasConceptScore W2963272893C2780586882 @default.
• W2963272893 hasConceptScore W2963272893C29248071 @default.
• W2963272893 hasConceptScore W2963272893C31170391 @default.
• W2963272893 hasConceptScore W2963272893C33923547 @default.
• W2963272893 hasConceptScore W2963272893C34447519 @default.
• W2963272893 hasConceptScore W2963272893C41008148 @default.
• W2963272893 hasConceptScore W2963272893C45374587 @default.
• W2963272893 hasConceptScore W2963272893C62611344 @default.
• W2963272893 hasConceptScore W2963272893C66938386 @default.
• W2963272893 hasConceptScore W2963272893C80444323 @default.
• W2963272893 hasFunder F4320313934 @default.
• W2963272893 hasFunder F4320320883 @default.
• W2963272893 hasFunder F4320322862 @default.
• W2963272893 hasLocation W29632728931 @default.
• W2963272893 hasLocation W296327289310 @default.
• W2963272893 hasLocation W29632728932 @default.
• W2963272893 hasLocation W29632728933 @default.
• W2963272893 hasLocation W29632728934 @default.
• W2963272893 hasLocation W29632728935 @default.
• W2963272893 hasLocation W29632728936 @default.
• W2963272893 hasLocation W29632728937 @default.
• W2963272893 hasLocation W29632728938 @default.

• next