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