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

Содержание
Введение
0.1 Алгебра, алгоритмы и сложность.
0.2 Предварительные сведения. о
0.3 Проблема проверки тождеств в алгебрах.
0.4 Задача проверки тождеств для конечных полугрупп.
0.5 Постановка задач
0.6 Результаты диссертации .
0.7 Апробация результатов.
0.8 Список обозначений
1 Пример 0простой полугруппы с полной задачей проверки тождеств
1.1 Некоторые свойства полугруппы М.
1.2 Необходимые сведения о задачах на графах
1.3 Минимальность М среди сложных 0простых полугрупп .
1.4 Графовые конструкции в задаче 4
1.5 Условия выполнения тождества в полугруппе М.
1.6 Взаимосвязь задач 4 и В vНот Ix
1.7 Сведение задачи В vНот Я ех к задаче 4
1.8 Взаимосвязь задачи о ретракции графов,
задачи v и задачи v
1.9 Представление полугруппы М с помощью преобразований 3
элементного множества.
2 Сведение задачи проверки тождеств в полугруппах к задаче проверки тождеств в группах
3 Сложность проверки тождеств в полной полугруппе преобразований
4 Сложность проверки тождеств в полугруппе преобразований ранга 2
4.1 Легкость проверки тождеств в Тгп при пф 3.
4.2 Сложность проверки тождеств в Тг3.
Список литературы