Дискретная математика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Дискретная математика, 2021, том 33, выпуск 1, страницы 82–90
DOI: https://doi.org/10.4213/dm1633
(Mi dm1633)
 

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О задаче проверки принадлежности для конечных автоматов над симметрическими группами

А. А. Хашаев

МГУ имени М. В. Ломоносова
Список литературы:
Аннотация: Рассматриваются автоматы с переходами, помеченными произвольными перестановками. Язык такого автомата состоит из композиций перестановок по всем возможным допустимым цепочкам вычислений. Задача проверки принадлежности для конечных автоматов над симметрическими группами — это задача разрешимости, в которой для данного автомата и перестановки необходимо определить, принадлежит ли перестановка языку автомата. В данной работе показано, что эта задача является NP-полной, а также предложен эффективный алгоритм решения задачи для случая сильно связного автомата.
Ключевые слова: автоматы, группы, перестановки, вычислительная сложность.
Статья поступила: 19.01.2021
Англоязычная версия:
Discrete Mathematics and Applications, 2022, Volume 32, Issue 6, Pages 383–389
DOI: https://doi.org/10.1515/dma-2022-0033
Тип публикации: Статья
УДК: 519.713
Образец цитирования: А. А. Хашаев, “О задаче проверки принадлежности для конечных автоматов над симметрическими группами”, Дискрет. матем., 33:1 (2021), 82–90; Discrete Math. Appl., 32:6 (2022), 383–389
Цитирование в формате AMSBIB
\RBibitem{Kha21}
\by А.~А.~Хашаев
\paper О задаче проверки принадлежности для~конечных автоматов над~симметрическими группами
\jour Дискрет. матем.
\yr 2021
\vol 33
\issue 1
\pages 82--90
\mathnet{http://mi.mathnet.ru/dm1633}
\crossref{https://doi.org/10.4213/dm1633}
\transl
\jour Discrete Math. Appl.
\yr 2022
\vol 32
\issue 6
\pages 383--389
\crossref{https://doi.org/10.1515/dma-2022-0033}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/dm1633
  • https://doi.org/10.4213/dm1633
  • https://www.mathnet.ru/rus/dm/v33/i1/p82
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Дискретная математика
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024