Обзор статей

Название статьи Автор Год издания Название журнала, сборника и т.п. Основные результаты работы, которые могут быть использованы в собственном исследовании
СВОБОДНЫЕ РАЗРЕШИМЫЕ АЛГЕБРЫ В МНОГООБРАЗИЯХ С ОДНОЙ ТЕРНАРНОЙ МАЛЬЦЕВСКОЙ ОПЕРАЦИЕЙ Сучета Чакрабарти 1993 Алгебра и логика
СВОБОДНЫЕ АЛГЕБРЫ МНОГООБРАЗИЯ УНАРОВ С МАЛЬЦЕВСКОЙ ОПЕРАЦИЕЙ, УДОВЛЕТВОРЯЮЩЕЙ УСЛОВИЯМ ПИКСЛИ Усольцев В.Л. 2009 Известия высших учебных заведений. Математика В работе рассматривается многообразие VP алгебр с одной унарной и одной тернарной операцией p, удовлетворяющей тождествам Пиксли, при условии, что операции перестановочны. Дано описание конструкции свободной алгебры многообразия VP, изучено строение унарных редуктов свободных алгебр. Доказано, что в свободных алгебрах разрешима проблема равенства слов, а свободный базис определен однозначно; описаны группы автоморфизмов свободных алгебр. Аналогичные результаты получены для свободных алгебр подмногообразия многообразия VP, определенного тождествами p(p(x,y,z),y,z)= p(x,y,z) и p(x,y,p(x,y,z)) = p(x,y,z).
О ПОДПРЯМО НЕРАЗЛОЖИМЫХ УНАРАХ С МАЛЬЦЕВСКОЙ ОПЕРАЦИЕЙ УСОЛЬЦЕВ В.Л. 2005 Известия Волгоградского государственного педагогического университета
МАЛЬЦЕВСКИЕ КОЛЬЦА Туганбаев Д. А. 2008 Дискретная математика В статье определяются мальцевские кольца. Класс всех мальцевских колец строго содержит кольца рядов Мальцева-Неймана, кольца косых формальных рядов Лорана и кольца формальных псевдодифференциальных операторов. Исследуются теоретико-кольцевые свойства мальцевских колец. Оказывается, что кольца рядов Мальцева-Неймана, кольца косых формальных рядов Лорана и кольца формальных псевдодифференциальных операторов имеют близкие теоретико-кольцевые свойства, связанные с существованием фильтрации по младшей степени ряда.
ПОЛИНОМИАЛЬНОСТЬ МАЛЬЦЕВСКИХ ЗАДАЧ CSP Сучета Чакрабарти 2006 Алгебра и логика Комбинаторная задача CSP позволяет выразить в единых терминах широкий спектр задач из различных областей математики, информатики и искусственного интеллекта. Общая задача CSP является NP-полной, однако многие ограниченные версии этой задачи могут быть решены за полиномиальное время. Известно, что вычислительная сложность ограниченных задач CSP зависит лишь от множества полиморфизмов отношений, которые разрешено использовать в задаче. В случае, когда множество разрешённых отношений инвариантно относительно некоторой мальцевской операции, показывается, что соответствующая задача CSP может быть решена за полиномиальное время.

 

Назад: Информационные технологии в профессиональной деятельности