Алгоритм проверки изоморфизма полурешеток с использованием инвариантов теории графов (90,00 руб.)

Первый автор	Зяблицева
Авторы	Пестов С.А.
Издательство	Северный (Арктический) федеральный университет имени М.В. Ломоносова
Страниц	8

ID	639342
Аннотация	Изоморфизм двух коммутативных идемпотентных полугрупп (полурешеток) можно устанавливать с помощью алгоритмов теории графов. Для этого полурешеткам сопоставляется граф, и в том случае, когда полученный граф является деревом, для проверки изоморфизма таких полурешеток применяются известные алгоритмы проверки изоморфизма деревьев. Еще один из видов графов, для которых существует алгоритм проверки изоморфизма (отличающийся от алгоритмов полного перебора), – планарные графы. В статье решен вопрос о том, является ли граф произвольной полурешетки деревом, планарным графом. Реализован алгоритм, с помощью которого можно выяснить, изоморфны ли полурешетки, графы которых являются деревьями. Данный алгоритм может быть применен и для произвольных полурешеток, но в этом случае для изоморфных полурешеток ответ будет верным, а для неизоморфных может быть ошибочным. В статье показано, какое кодовое слово выдается произвольной полурешетке; и то, что это кодовое слово может служить инвариантом для проверки изоморфизма такой полурешетки. Далее рассмотрены другие инварианты теории графов, которые можно успешно применить для полурешеток, а также решен вопрос о полноте представленной системы инвариантов. Созданная в итоге программа для двух произвольных полурешеток, заданных таблицами Кэли, дает информацию о графах (их инварианты), определяет, изоморфны ли они; в случае изоморфизма выдается биективное отображение элементов этих полурешеток. С помощью программы были проанализированы все полугруппы от первого до восьмого порядков, для каждого порядка найдено число полурешеток, графы которых являются деревьями; показано, что для полурешеток не выше восьмого порядка совокупность предложенных инвариантов является полной системой инвариантов.

Зяблицева, Л.В. Алгоритм проверки изоморфизма полурешеток с использованием инвариантов теории графов / Л.В. Зяблицева, С.А. Пестов // Arctic Environmental Research_ .— 2017 .— №4 .— С. 368-375 .— DOI: 10.17238/issn2541-8416.2017.17.4.368 .— URL: https://rucont.ru/efd/639342 (дата обращения: 24.04.2024)