Résumé | La représentation implicite des graphes, les étiquetages de connexité en présence d'obstacles, la vérification de propriétés du premier ordre au moyen d'étiquettes utilisent des représentations de relations et de propriétés de graphes au moyen de fonctions unaires. L'exposé présentera des exemples concernant les graphes planaires, des méthodes de construction d'étiquetage et des questions ouvertes. |