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

Рыбаков, М.Н. (2021) Сложность проблемы равенства слов в многообразиях модальных алгебр. Вестник ТвГУ. Серия: Прикладная математика (3). С. 5-17. ISSN 1995-0136

PDF - Опубликованная версия
481kB

Абстракт

Приводится доказательство PSPACE-полноты проблемы равенства слов в классе всех нуль-порождённых модальных алгебр, или, эквивалентно, проблемы равенства константных слов в классе всех модальных алгебр. Также рассматривается вопрос о сложности равенства слов в произвольном многообразии модальных алгебр. Доказывается, что уже проблема равенства константных слов в многообразии модальных алгебр может быть сколь угодно трудной (включая как классы сложности, так и степени неразрешимости). Показано, как построить соответствующие многообразия

Абстракт (англ.)

The paper deals with the word problem for modal algebras. It is proved that, for the variety of all modal algebras, the word problem is PSPACEcomplete if only constant modal terms or only 0-generated modal algebras are considered. We also consider the word problem for different varieties of modal algebras. It is proved that the word problem for a variety of modal algebras can be

Тип объекта:	Статья
Сведения об авторах:	Рыбаков Михаил Николаевич ведущий научный сотрудник ИППИ имени А. А. Харкевича РАН; доцент факультета математики НИУ ВШЭ; доцент кафедры функционального анализа и геометрии Тверского государственного университета.
Ключевые слова:	модальная алгебра, равенство слов, вычислительная сложность
Ключевые слова (англ.):	modal algebra, word equality problem, computational complexity
Категории:	5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.5 Теория алгоритмов и вычислимые функции > 510.52 Сложность алгоритмов 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.64 Неклассические, формальные логические системы 5 Математика. Естественные науки > 51 Математика > 512 Алгебра
Подразделения:	Институты, НИИ > Институт проблем передачи информации РАН, Москва Университеты > Тверской государственный университет
ID Code:	10828
Deposited By:	С.Б. Федорова
Deposited On:	08 Ноя 2021 12:21
Последнее изменение:	08 Ноя 2021 12:21

Repository Staff Only: item control page