2026-07-20T12:09:20Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6474 2024-03-06T10:38:22Z ddc:004 open_access

Eulerian Paths with Regular Constraints Kupferman, Orna Vardi, Gal Eulerian paths regular languages Labeled graphs, in which edges are labeled by letters from some alphabet Sigma, are extensively used to model many types of relations associated with actions, costs, owners, or other properties. Each path in a labeled graph induces a word in Sigma^* -- the one obtained by concatenating the letters along the edges in the path. Classical graph-theory problems give rise to new problems that take these words into account. We introduce and study the constrained Eulerian path problem. The input to the problem is a Sigma-labeled graph G and a specification L \subseteq Sigma^*. The goal is to find an Eulerian path in G that satisfies L. We consider several classes of the problem, defined by the classes of G and L. We focus on the case L is regular and show that while the problem is in general NP-complete, even for very simple graphs and specifications, there are classes that can be solved efficiently. Our results extend work on Eulerian paths with edge-order constraints. We also study the constrained Chinese postman problem, where edges have costs and the goal is to find a cheapest path that contains each edge at least once and satisfies the specification. Finally, we define and study the Eulerian language of a graph, namely the set of words along its Eulerian paths. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Orna Kupferman and Gal Vardi 2016 Is Part Of LIPIcs, Volume 58, 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2016.62 urn:nbn:de:0030-drops-64747 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2016.62 eng https://creativecommons.org/licenses/by/3.0/legalcode