Local certification of graphs with bounded genus

Naor, Parter, and Yogev [SODA 2020] recently designed a compiler for automatically translating standard centralized interactive protocols to distributed interactive protocols, as introduced by Kol, Oshman, and Saxena [PODC 2018]. In particular, by using this compiler, every linear-time algorithm for...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Discrete Applied Mathematics Jg. 325; S. 9 - 36
Hauptverfasser:	Feuilloley, Laurent, Fraigniaud, Pierre, Montealegre, Pedro, Rapaport, Ivan, Rémila, Éric, Todinca, Ioan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 30.01.2023 Elsevier
Schlagworte:	Computer Science Distributed graph algorithms Distributed, Parallel, and Cluster Computing Local certification Locally checkable proofs Proof-labeling scheme Distributed graph algorithms Proof-labeling scheme Locally checkable proofs Local certification 2012 ACM Subject Classification D.1.3 Concurrent Programming (Distributed programming) proof-labeling scheme locally checkable proofs
ISSN:	0166-218X, 1872-6771
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!