Distance-based certification for leader election in meshed graphs and local recognition of their subclasses
J\'er\'emie Chalopin, Victor Chepoi, Maria Kokkou

TL;DR
This paper introduces local proof labeling schemes for leader election and class recognition in meshed graphs, leveraging distance verification and topological properties to achieve efficient, local algorithms for complex graph classes.
Contribution
It presents novel 2- and 3-local proof labeling schemes for leader election and subclass recognition in meshed graphs, utilizing distance and topological verifications.
Findings
Efficient local verification of distances in meshed graphs.
Recognition schemes for various subclasses using local properties.
Constant-size labels for leader election based on modular distance labels.
Abstract
In this paper, we present a 2-local proof labeling scheme with labels in for leader election in anonymous meshed graphs. Meshed graphs form a general class of graphs defined by a distance condition. They comprise several important classes of graphs, which have long been the subject of intensive studies in metric graph theory, geometric group theory, and discrete mathematics: median graphs, bridged graphs, chordal graphs, Helly graphs, dual polar graphs, modular, weakly modular graphs, and basis graphs of matroids. We also provide 3-local proof labeling schemes to recognize these subclasses of meshed graphs using labels of size (where is the diameter of the graph). To establish these results, we show that in meshed graphs, we can verify locally that every vertex is labeled by its distance to an arbitrary root . To design proof labeling…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Graph Labeling and Dimension Problems · Geometric and Algebraic Topology
