RUS  ENG
Full version
JOURNALS // Modelirovanie i Analiz Informatsionnykh Sistem // Archive

Model. Anal. Inform. Sist., 2024 Volume 31, Number 1, Pages 102–114 (Mi mais818)

This article is cited in 1 paper

Discrete mathematics in relation to computer science

NP-completeness of the Eulerian walk problem for a multiple graph

A. V. Smirnov

P.G. Demidov Yaroslavl State University, Yaroslavl, Russia

Abstract: In this paper, we study undirected multiple graphs of any natural multiplicity $k>1$. There are edges of three types: ordinary edges, multiple edges and multi-edges. Each edge of the last two types is a union of $k$ linked edges, which connect 2 or $(k+1)$ vertices, correspondingly. The linked edges should be used simultaneously. If a vertex is incident to a multiple edge, it can be also incident to other multiple edges and it can be the common end of $k$ linked edges of some multi-edge. If a vertex is the common end of some multi-edge, it cannot be the common end of another multi-edge.
We study the problem of finding the Eulerian walk (the cycle or the trail) in a multiple graph, which generalizes the classical problem for an ordinary graph. We prove that the recognition variant of the multiple eulerian walk problem is NP-complete. For this purpose we first prove NP-completeness of the auxiliary problem of recognising the covering trails with given endpoints in an ordinary graph.

Keywords: multiple graph, multiple path, divisible graph, covering trails, edge-disjoint paths, eulerian trail, eulerian cycle, NP-completeness.

UDC: 519.17+519.161

MSC: 05C45, 05C65

Received: 22.01.2024
Revised: 29.01.2024
Accepted: 31.01.2024

DOI: 10.18255/1818-1015-2024-1-102-114



© Steklov Math. Inst. of RAS, 2026