Introduction to local certification
1 : LIRIS
Laboratoire d'InfoRmatique en Image et Systèmes d'information [LIRIS], Centre National de la Recherche Scientifique - CNRS
In this talk I will introduce local certification, a notion originating
from distributed computing that sheds a new light on the structure
of graphs. After giving intuitions about the notion, I will review the
recent developments, and make connections with other areas of theoretical
computer science (including complexity and logic).
| Type : | : | typdoc_39507 |
| Langue du texte intégral | : | anglais |
| Date de production, écriture | : | 15/05/2024 |
| Thématiques | : | Exposés de GT |
| PDF version | : |  PDF version |
- Poster
