Compact Distributed Certification of Planar Graphs

Naor M., Parter M., Yogev E.: (The power of distributed verifiers in interactive proofs. In: 31st ACM-SIAM symposium on discrete algorithms (SODA), pp 1096–115, 2020. https://doi.org/10.1137/1.9781611975994.67 ) have recently demonstrated the existence of a distributed interactive proof for planarit...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Algorithmica Ročník 83; číslo 7; s. 2215 - 2244
Hlavní autoři:	Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.07.2021 Springer Nature B.V Springer Verlag
Témata:	Algorithm Analysis and Problem Complexity Algorithms Certificates Certification Computer Science Computer Systems Organization and Communication Networks Data Structures and Algorithms Data Structures and Information Theory IP (Internet Protocol) Labeling Mathematics of Computing Randomization Theory of Computation Network algorithms Planarity Distributed algorithms Graph property certification Labeling schemes
ISSN:	0178-4617, 1432-0541
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!