A lower bound for constant-size local certification

Given a network property or a data structure, a local certification is a labeling that allows to efficiently check that the property is satisfied, or that the structure is correct. The quality of a certification is measured by the size of its labels: the smaller, the better. This notion plays a cent...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science 2023-09, Vol.971, p.114068, Article 114068
Hauptverfasser:	Ardévol Martínez, Virginia, Caoduro, Marco, Feuilloley, Laurent, Narboni, Jonathan, Pournajafi, Pegah, Raymond, Jean-Florent
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Discrete Mathematics Distributed computing Distributed, Parallel, and Cluster Computing Graph coloring Graph theory Local certification Locally check-able labellings
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!