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

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

PDF - Published Version
481kB

Abstract

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

Abstract (en)

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

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

Repository Staff Only: item control page