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

Изучается генерическая сложность проблемы проверки совместности систем уравнений над натуральными числами со сложением. Доказывается 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 02306nab a2200301 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 Рыбалов, Александр Николаевич 
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 статьи в журналах 
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 
908 |a статья 
999 |c 1144441  |d 1144441