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

Full description

Saved in:

Bibliographic Details
Published in:	Algorithmica Vol. 83; no. 7; pp. 2215 - 2244
Main Authors:	Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.07.2021 Springer Nature B.V Springer Verlag
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!