RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

Модел. и анализ информ. систем, 2024, том 31, номер 1, страницы 102–114 (Mi mais818)

Эта публикация цитируется в 1 статье

Discrete mathematics in relation to computer science

NP-полнота задачи об эйлеровом маршруте в кратном графе

А. В. Смирнов

Ярославский государственный университет им. П.Г. Демидова, Ярославль, Россия

Аннотация: В статье рассматриваются неориентированные кратные графы произвольной натуральной кратности $k>1$. Кратный граф содержит ребра трех типов: обычные, кратные и мультиребра. Ребра последних двух типов представляют собой объединение $k$ связанных ребер, которые соединяют $2$ или $(k+1)$ вершину соответственно. Связанные ребра могут использоваться только согласованно. Если вершина инцидентна кратному ребру, то она может быть инцидентна другим кратным ребрам, а также она может быть общим концом $k$ связанных ребер мультиребра.
Если вершина является общим концом мультиребра, то она не может быть общим концом никакого другого мультиребра. Рассматривается задача об эйлеровом маршруте (цикле или цепи) в кратном графе, которая обобщает классическую задачу для обычного графа. Доказывается, что задача о кратном эйлеровом маршруте в варианте распознавания является NP-полной. Для этого предварительно обосновывается NP-полнота вспомогательной задачи о покрывающих цепях с заданными концами в обычном графе.

Ключевые слова: кратный граф, кратный путь, делимый граф, покрывающие цепи, пути, не пересекающиеся по ребрам, эйлерова цепь, эйлеров цикл, NP-полнота.

УДК: 519.17+519.161

MSC: 05C45, 05C65

Поступила в редакцию: 22.01.2024
Исправленный вариант: 29.01.2024
Принята в печать: 31.01.2024

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



© МИАН, 2024