K4-free Graphs as a Free Algebra - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail 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 (374.29 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 1

Citer

Enric Cosme-Llópez, Damien Pous. K4-free Graphs as a Free Algebra. 2017. ⟨hal-01515752v1⟩
319 Consultations
756 Téléchargements

Partager

Gmail Facebook X LinkedIn More