Home > Research > Publications & Outputs > Planarity can be Verified by an Approximate Pro...

Electronic data

  • legujlocal

    Accepted author manuscript, 393 KB, PDF document

    Available under license: CC BY-NC-ND: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License

Links

Text available via DOI:

View graph of relations

Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time

Research output: Contribution to Journal/MagazineJournal articlepeer-review

Published
Article number105643
<mark>Journal publication date</mark>31/10/2022
<mark>Journal</mark>Journal of Combinatorial Theory, Series A
Volume191
Number of pages18
Publication StatusPublished
Early online date10/06/22
<mark>Original language</mark>English

Abstract

Approximate proof labeling schemes were introduced by Censor-Hillel, Paz and Perry. Roughly speaking,
a graph property P can be verified by an approximate proof labeling scheme in constant-time if the vertices of a graph having the property can be convinced, in a short period of
time not depending on the size of the graph, that they are having the property P or at least
they are not far from being having the property P. The main result of this paper is that bounded-degree planar graphs (and also outer-planar graphs, bounded genus graphs, knotlessly embeddable graphs etc.) can be verified by an approximate proof labeling scheme in constant-time.