K4-free Graphs as a Free Algebra - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2017

K4-free Graphs as a Free Algebra


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
Origin Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-01515752 , version 1


Enric Cosme-Llópez, Damien Pous. K4-free Graphs as a Free Algebra. 2017. ⟨hal-01515752v1⟩
332 View
773 Download


Gmail Mastodon Facebook X LinkedIn More