K4-free Graphs as a Free Algebra - Archive ouverte HAL Access content directly
Conference 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 (377.46 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 2


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⟩
331 View
773 Download


Gmail Mastodon Facebook X LinkedIn More