2 papers
cs.DS2025
On the Two Paths Theorem and the Two Disjoint Paths Problem
Samuel Humeau, Damien Pous
A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked whe…
cs.LO2025
A finite presentation of graphs of treewidth at most three
Amina Doumane, Samuel Humeau, Damien Pous
We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising se…