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

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

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


Вестник ТвГУ. Серия: Прикладная математика:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Тверского государственного университета. Серия: Прикладная математика, 2021, выпуск 3, страницы 5–17
DOI: https://doi.org/10.26456/vtpmk619 (Mi vtpmk619) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Теоретические основы информатики

Сложность проблемы равенства слов в многообразиях модальных алгебр

М. Н. Рыбаковabc

a ИППИ имени А.А. Харкевича РАН, г. Москва
b НИУ ВШЭ, г. Москва
c Тверской государственный университет, г. Тверь
PDF полного текста (452 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk619
Аннотация: Приводится доказательство $\mathrm{PSPACE}$-полноты проблемы равенства слов в классе всех нуль-порождённых модальных алгебр, или, эквивалентно, проблемы равенства константных слов в классе всех модальных алгебр. Также рассматривается вопрос о сложности равенства слов в произвольном многообразии модальных алгебр. Доказывается, что уже проблема равенства константных слов в многообразии модальных алгебр может быть сколь угодно трудной (включая как классы сложности, так и степени неразрешимости). Показано, как построить соответствующие многообразия.
Ключевые слова: модальная алгебра, равенство слов, вычислительная сложность.
Поступила в редакцию: 04.08.2021
Исправленный вариант: 17.08.2021
Принята в печать: 27.10.2021
Реферативные базы данных:
Тип публикации: Статья
УДК: 512.572, 510.52, 510.643
Образец цитирования: М. Н. Рыбаков, “Сложность проблемы равенства слов в многообразиях модальных алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 5–17
Цитирование в формате AMSBIB
\RBibitem{Ryb21}
\by М.~Н.~Рыбаков
\paper Сложность проблемы равенства слов в многообразиях модальных алгебр
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2021
\issue 3
\pages 5--17
\mathnet{http://mi.mathnet.ru/vtpmk619}
\crossref{https://doi.org/10.26456/vtpmk619}
\elib{https://elibrary.ru/item.asp?id=46694239}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk619
  • https://www.mathnet.ru/rus/vtpmk/y2021/i3/p5
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:183
    PDF полного текста:91
    Список литературы:18
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024