Реферат: Изучается вычислительная сложность проблемы проверки разрешимости систем уравнений над бициклическим моноидом. Этот моноид, помимо теоретического значения в топологии и теории полугрупп, имеет приложения в информатике и языках программирования, например как модель для языка Дика сбалансированных скобочных выражений. Доказывается NP-полнота проблемы проверки разрешимости систем уравнений над бициклическим моноидом. Также доказывается, что при P= NP и P = BPP для этой проблемы не существует сильно генерического полиномиального алгоритма. Это означает, что для любого генерического полиномиального алгоритма имеется эффективный метод случайной генерации входов, на которых этот алгоритм не может решить рассматриваемую проблему. Полученный результат указывает на возможное применение данной проблемы в криптографии, где нужно, чтобы проблема взлома криптосистемы была трудной для почти всех входов.

Библиографическая ссылка: Лопатин А.А. , Рыбалов А.Н.
О генерической сложности решения уравнений над бициклическим моноидом
Прикладная дискретная математика (Prikladnaya Diskretnaya Matematika). 2025. №67. С.110-117. DOI: 10.17223/20710410/67/6 WOS РИНЦ OpenAlex

Даты:

Опубликована в печати:	12 мар. 2025 г.
Опубликована online:	12 мар. 2025 г.

Идентификаторы БД:

Web of science:	WOS:001483854800007
РИНЦ:	80437730
OpenAlex:	W4408924542

Цитирование в БД: Пока нет цитирований

Альметрики: