DROPS

Document

Brief Announcement

DOI: 10.4230/LIPIcs.DISC.2024.49

Brief Announcement: Decreasing Verification Radius in Local Certification

Authors: Jan Matyáš Křišťan and Josef Erik Sedláček

Published in: LIPIcs, Volume 319, 38th International Symposium on Distributed Computing (DISC 2024)

Abstract

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

Cite as

Jan Matyáš Křišťan and Josef Erik Sedláček. Brief Announcement: Decreasing Verification Radius in Local Certification. In 38th International Symposium on Distributed Computing (DISC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 319, pp. 49:1-49:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{kristan_et_al:LIPIcs.DISC.2024.49,
  author =	{K\v{r}i\v{s}\v{t}an, Jan Maty\'{a}\v{s} and Sedl\'{a}\v{c}ek, Josef Erik},
  title =	{{Brief Announcement: Decreasing Verification Radius in Local Certification}},
  booktitle =	{38th International Symposium on Distributed Computing (DISC 2024)},
  pages =	{49:1--49:6},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-352-2},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{319},
  editor =	{Alistarh, Dan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.49},
  URN =		{urn:nbn:de:0030-drops-212773},
  doi =		{10.4230/LIPIcs.DISC.2024.49},
  annote =	{Keywords: Local certification, locally checkable proofs, proof-labeling schemes, graphs, distributed computing}
}

Search Results

Documents authored by Sedláček, Josef Erik

Brief Announcement: Decreasing Verification Radius in Local Certification

Abstract

Cite as

Thanks for your feedback!

Could not send message