K4-free Graphs as a Free Algebra - Archive ouverte HAL Access content directly
Conference Papers Year :

K4-free Graphs as a Free Algebra

Abstract

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)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01515752 , version 2

Cite

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⟩
293 View
662 Download

Share

Gmail Facebook Twitter LinkedIn More