K4-free Graphs as a Free Algebra - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

K4-free Graphs as a Free Algebra

Résumé

Graphs of treewidth at most two are the ones excluding the clique with four vertices (K4) as a minor, or equivalently, the graphs whose biconnected components are series-parallel. We turn those graphs into a finitely presented free algebra, answering positively a question by Courcelle and Engelfriet, in the case of treewidth two. First we propose a syntax for denoting these graphs: in addition to parallel composition and series composition, it suffices to consider the neutral elements of those operations and a unary transpose operation. Then we give a finite equational presentation and we prove it complete: two terms from the syntax are congruent if and only if they denote the same graph.
Fichier principal
Vignette du fichier
tw2iso.pdf (377.46 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01515752 , version 1 (28-04-2017)
hal-01515752 , version 2 (06-02-2018)

Identifiants

  • HAL Id : hal-01515752 , version 2

Citer

Enric Cosme-Llópez, Damien Pous. K4-free Graphs as a Free Algebra. 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. ⟨hal-01515752v2⟩
336 Consultations
776 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More