What can be certified compactly?

What can be certified compactly?

12 February 2022

Nicolas Bousquet

Laurent Feuilloley

Théo Pierron

ArXiv (abs)PDF HTML

Papers citing "What can be certified compactly?"

10 / 10 papers shown

Title
Local certification of forbidden subgraphs Nicolas Bousquet Linda Cook Laurent Feuilloley Théo Pierron Sébastien Zeitoun GNN 79 4 0 19 Feb 2024
Local certification of local properties: tight bounds, trade-offs and new parameters Nicolas Bousquet Laurent Feuilloley Sébastien Zeitoun 68 7 0 21 Dec 2023
The Hardness of Local Certification of Finite-State Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson 51 0 0 19 Dec 2023
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 74 2 0 28 Nov 2023
The Distributed Complexity of Locally Checkable Labeling Problems Beyond Paths and Trees Yi-Jun Chang 76 2 0 12 Nov 2023
Local Certification of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre Diego Ramírez-Romero I. Rapaport 55 2 0 09 Sep 2023
Local Certification of Majority Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson Guillaume Theyssier 57 1 0 04 Sep 2023
Distributed Certification for Classes of Dense Graphs Pierre Fraigniaud Frédéric Mazoit Pedro Montealegre I. Rapaport Ioan Todinca 74 12 0 26 Jul 2023
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 64 23 0 30 Jul 2021
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 62 24 0 16 Jul 2020

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.