|
Записки научных семинаров ЛОМИ, 1991, том 192, страницы 74–111
(Mi znsl4948)
|
|
|
|
Распознавание и проверка изоморфизма циклических турниров за полиномиальное время
И. Н. Пономаренко
Аннотация:
Турниром называется ориентированный граф, любая пара вершин
которого соединена точно одним направленным ребром; турнир является
циклическим, если его группа автоморфизмов содержит перестановку,
циклическое разложение которой состоит из единственного
цикла, включающего все вершины. В настоящей работе описывается
алгоритм, распознающий изоморфизм циклических турниров. Этот
алгоритм получает на вход произвольный турнир. Для этого турнира
за время полиномиально зависящее от числа его вершин определяется
его цикличность, а при её наличии строится канонический вид турнира
и образующие его группы автоморфизмов.
Самостоятельный интерес представляет процедура, которая за
полиномиальное время для заданной группы перестановок нечетного
порядка строит множество всех несопряженных гамильтоновых перестановок.
Техника построения основного алгоритма использует как
классические результаты теории сложности вычислений с группами
перестановок, так и метод $S$-колец Шура. Библ. – 12 назв.
Образец цитирования:
И. Н. Пономаренко, “Распознавание и проверка изоморфизма циклических турниров за полиномиальное время”, Теория сложности вычислений. 5, Зап. научн. сем. ЛОМИ, 192, Наука, Л., 1991, 74–111; J. Math. Sci., 70:4 (1994), 1890–1911
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl4948 https://www.mathnet.ru/rus/znsl/v192/p74
|
Статистика просмотров: |
Страница аннотации: | 159 | PDF полного текста: | 68 |
|