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

Изучается генерическая сложность проблемы проверки совместности систем уравнений над натуральными числами со сложением. Доказывается 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