О генерической сложности решения уравнений над натуральными числами со сложением

Изучается генерическая сложность проблемы проверки совместности систем уравнений над натуральными числами со сложением. Доказывается NP-полнота этой проблемы, предлагается полиномиальный генерический алгоритм её решения. Доказывается, что при Р = NP и Р = ВРР для проблемы проверки совместности...

Full description

Bibliographic Details
Published in:Прикладная дискретная математика № 64. С. 72-78
Main Author: Рыбалов, Александр Николаевич
Format: Article
Language:Russian
Subjects:
Online Access:http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144441
Перейти в каталог НБ ТГУ
LEADER 02505nab a2200325 c 4500
001 koha001144441
005 20240925162858.0
007 cr |
008 240925|2024 ru s c rus d
024 7 |a 10.17223/20710410/64/6  |2 doi 
035 |a koha001144441 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Рыбалов, Александр Николаевич  |9 298225 
245 1 0 |a О генерической сложности решения уравнений над натуральными числами со сложением  |c А. Н. Рыбалов 
246 1 1 |a On the generic complexity of solving equations over natural numbers with addition 
336 |a Текст 
337 |a электронный 
504 |a Библиогр.: 10 назв. 
520 3 |a Изучается генерическая сложность проблемы проверки совместности систем уравнений над натуральными числами со сложением. Доказывается NP-полнота этой проблемы, предлагается полиномиальный генерический алгоритм её решения. Доказывается, что при Р = NP и Р = ВРР для проблемы проверки совместности систем уравнений над натуральными числами с нулём не существует сильно генерического полиномиального алгоритма. Для сильно генерического полиномиального алгоритма нет эффективного метода случайной генерации входов, на которых этот алгоритм не может решить проблему. 
653 |a генерическая сложность 
653 |a линейные уравнения 
653 |a натуральные числа 
655 4 |a статьи в журналах  |9 971627 
773 0 |t Прикладная дискретная математика  |d 2024  |g  № 64. С. 72-78  |x 2071-0410  |w 0210-48760 
852 4 |a RU-ToGU 
856 4 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144441 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1144441 
908 |a статья 
039 |b 100 
999 |c 1144441  |d 1144441