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

Celý popis

Podrobná bibliografie

Vydáno v:	Discrete Applied Mathematics Ročník 325; s. 9 - 36
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:	Elsevier B.V 30.01.2023 Elsevier
Témata:	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
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!