English

A subquadratic certification scheme for P5-free graphs

Distributed, Parallel, and Cluster Computing 2025-02-05 v2 Discrete Mathematics Data Structures and Algorithms

Abstract

In local certification, vertices of a nn-vertex graph perform a local verification to check if a given property is satisfied by the graph. This verification is performed thanks to certificates, which are pieces of information that are given to the vertices. In this work, we focus on the local certification of P5P_5-freeness, and we prove a O(n3/2)O(n^{3/2}) upper bound on the size of the certificates, which is (to our knowledge) the first subquadratic upper bound for this property.

Cite

@article{arxiv.2410.14658,
  title  = {A subquadratic certification scheme for P5-free graphs},
  author = {Nicolas Bousquet and Sébastien Zeitoun},
  journal= {arXiv preprint arXiv:2410.14658},
  year   = {2025}
}
R2 v1 2026-06-28T19:27:36.743Z