|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О задаче проверки принадлежности для конечных автоматов над симметрическими группами
А. А. Хашаев МГУ имени М. В. Ломоносова
Аннотация:
Рассматриваются автоматы с переходами, помеченными произвольными перестановками. Язык такого автомата состоит из композиций перестановок по всем возможным допустимым цепочкам вычислений. Задача проверки принадлежности для конечных автоматов над симметрическими группами — это задача разрешимости, в которой для данного автомата и перестановки необходимо определить, принадлежит ли перестановка языку автомата. В данной работе показано, что эта задача является NP-полной, а также предложен эффективный алгоритм решения задачи для случая сильно связного автомата.
Ключевые слова:
автоматы, группы, перестановки, вычислительная сложность.
Статья поступила: 19.01.2021
Образец цитирования:
А. А. Хашаев, “О задаче проверки принадлежности для конечных автоматов над симметрическими группами”, Дискрет. матем., 33:1 (2021), 82–90; Discrete Math. Appl., 32:6 (2022), 383–389
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1633https://doi.org/10.4213/dm1633 https://www.mathnet.ru/rus/dm/v33/i1/p82
|
|