
handle: 10550/69206
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 equationa lpresentation and we prove it complete: two terms from the syntax are congruent if and only if they denote the same graph.
Completeness, Graph theory, Tree decompositions, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Àlgebra universal, 000 Computer science, knowledge, general works, 000, Universal Algebra, Computer Science, Axiomatisation, Graph minors, 004, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Completeness, Graph theory, Tree decompositions, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Àlgebra universal, 000 Computer science, knowledge, general works, 000, Universal Algebra, Computer Science, Axiomatisation, Graph minors, 004, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
