Decreasing verification radius in local certification ⋆ - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Decreasing verification radius in local certification ⋆

Résumé

This paper deals with local certification, specifically locally checkable proofs: given a graph property, the task is to certify whether a graph satisfies the property. The verification of this certification needs to be done locally without the knowledge of the whole graph. More precisely, a distributed algorithm, called a verifier, is executed on each vertex. The verifier observes the local neighborhood up to a constant distance and either accepts or rejects. We examine the trade-off between the visibility radius and the size of certificates. We describe a procedure that decreases the radius by encoding the neighbourhood of each vertex into its certificate. We also provide a corresponding lower bound on the required certificate size increase, showing that such an approach is close to optimal.
Fichier principal
Vignette du fichier
decreasing.pdf (650.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04725364 , version 1 (08-10-2024)
hal-04725364 , version 2 (09-10-2024)

Identifiants

Citer

Laurent Feuilloley, Jan Janoušek, Jan Matyáš Křišťan, Josef Erik Sedláček. Decreasing verification radius in local certification ⋆. 2024. ⟨hal-04725364v1⟩
29 Consultations
14 Téléchargements

Altmetric

Partager

More