Pathographs and some (un)decidability results
Daniel Carter, Nicolas Trotignon

TL;DR
This paper introduces pathographs, a new framework for studying graph classes defined by forbidden structures, and explores the decidability of related realization problems, showing undecidability in general but decidability under certain restrictions.
Contribution
The paper defines pathographs as a generalization of s-graphs, introduces a decision problem for their realizations, and establishes conditions under which this problem is decidable or undecidable.
Findings
Pathograph realization problem is undecidable in general.
Decidable when pathographs have no rungs or when the set of forbidden pathographs is closed under certain operations.
Potential applications to graph decomposition theorems.
Abstract
We introduce pathographs as a framework to study graph classes defined by forbidden structures, including forbidding induced subgraphs, minors, etc. Pathographs approximately generalize s-graphs of L\'ev\^eque--Lin--Maffray--Trotignon by the addition of two extra adjacency relations: one between subdivisible edges and vertices called spokes, and one between pairs of subdivisible edges called rungs. We consider the following decision problem: given a pathograph and a finite set of pathographs , is there an -free realization of ? This may be regarded as a generalization of the "graph class containment problem": given two graph classes and , is it the case that ? We prove the pathograph realization problem is undecidable in general, but it is decidable in the case that has no rungs (but may have…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Formal Methods in Verification
