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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Algorithmica Jg. 83; H. 7; S. 2215 - 2244
Hauptverfasser:	Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.07.2021 Springer Nature B.V Springer Verlag
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!