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
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.