О генерической сложности решения уравнений над бициклическим моноидом
Изучается вычислительная сложность проблемы проверки разрешимости систем уравнений над бициклическим моноидом. Этот моноид, помимо теоретического значения в топологии и теории полугрупп, имеет приложения в информатике и языках программирования, например как модель для языка Дика сбалансированных ск...
| Published in: | Прикладная дискретная математика № 67. С. 110-117 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001153955 Перейти в каталог НБ ТГУ |
| LEADER | 03184nab a2200337 c 4500 | ||
|---|---|---|---|
| 001 | koha001153955 | ||
| 005 | 20250320181338.0 | ||
| 007 | cr | | ||
| 008 | 250320|2025 ru s c rus d | ||
| 024 | 7 | |a 10.17223/20710410/67/6 |2 doi | |
| 035 | |a koha001153955 | ||
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 100 | 1 | |a Лопатин, Артем Анатольевич |9 987083 | |
| 245 | 1 | 0 | |a О генерической сложности решения уравнений над бициклическим моноидом |c А. А. Лопатин, А. Н. Рыбалов |
| 246 | 1 | 1 | |a On generic complexity of equation solving over the bicyclic monoid |
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 504 | |a Библиогр.: 11 назв. | ||
| 520 | 3 | |a Изучается вычислительная сложность проблемы проверки разрешимости систем уравнений над бициклическим моноидом. Этот моноид, помимо теоретического значения в топологии и теории полугрупп, имеет приложения в информатике и языках программирования, например как модель для языка Дика сбалансированных скобочных выражений. Доказывается NP-полнота проблемы проверки разрешимости систем уравнений над бициклическим моноидом. Также доказывается, что при P ≠ NP и P = BPP для этой проблемы не существует сильно генерического полиномиального алгоритма. Это означает, что для любого генерического полиномиального алгоритма имеется эффективный метод случайной генерации входов, на которых этот алгоритм не может решить рассматриваемую проблему. Полученный результат указывает на возможное применение данной проблемы в криптографии, где нужно, чтобы проблема взлома криптосистемы была трудной для почти всех входов. | |
| 653 | |a генерическая сложность | ||
| 653 | |a NP-полнота | ||
| 653 | |a бициклические моноиды | ||
| 655 | 4 | |a статьи в журналах | |
| 700 | 1 | |a Рыбалов, Александр Николаевич |9 298225 | |
| 773 | 0 | |t Прикладная дискретная математика |d 2025 |g № 67. С. 110-117 |x 2071-0410 |w 0210-48760 | |
| 852 | 4 | |a RU-ToGU | |
| 856 | 4 | |u https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001153955 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1153955 | ||
| 908 | |a статья | ||
| 999 | |c 1153955 |d 1153955 | ||
| 039 | |b 100 | ||