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 66 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