Local certification of graphs on surfaces

02/08/2021
βˆ™
by   Louis Esperet, et al.
βˆ™
0
βˆ™

A proof labelling scheme for a graph class π’ž is an assignment of certificates to the vertices of any graph in the class π’ž, such that upon reading its certificate and the certificate of its neighbors, every vertex from a graph Gβˆˆπ’ž accepts the instance, while if Gβˆ‰π’ž, for every possible assignment of certificates, at least one vertex rejects the instance. It was proved recently that for any fixed surface Ξ£, the class of graphs embeddable in Ξ£ has a proof labelling scheme in which each vertex of an n-vertex graph receives a certificate of at most O(log n) bits. The proof is quite long and intricate and heavily relies on an earlier result for planar graphs. Here we give a very short proof for any surface. The main idea is to encode a rotation system locally, together with a spanning tree supporting the local computation of the genus via Euler's formula.

READ FULL TEXT

page 1

page 2

page 3

page 4

βˆ™ 03/09/2020

Adjacency Labelling for Planar Graphs (and Beyond)

We show that there exists an adjacency labelling scheme for planar graph...
βˆ™ 06/22/2021

Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond

Let G be a connected n-vertex graph in a proper minor-closed class 𝒒. We...
βˆ™ 12/03/2020

Optimal labelling schemes for adjacency, comparability and reachability

We construct asymptotically optimal adjacency labelling schemes for ever...
βˆ™ 07/27/2021

The Space Complexity of Sum Labelling

A graph is called a sum graph if its vertices can be labelled by distinc...
βˆ™ 03/29/2018

Least conflict choosability

Given a multigraph, suppose that each vertex is given a local assignment...
βˆ™ 07/02/2020

Graphs without gap-vertex-labellings: families and bounds

A proper labelling of a graph G is a pair (Ο€,c_Ο€) in which Ο€ is an assig...
βˆ™ 12/06/2021

A Meta-Theorem for Distributed Certification

Distributed certification, whether it be proof-labeling schemes, locally...