В целом решение о том, имеет ли диофантово уравнение какое-либо целочисленное решение, эквивалентно проблеме остановки. Я считаю, что решение о том, имеет ли какое-либо решение квадратное диофантово уравнение, является NP-полным. Существует ли дополнительное ограничение на используемые уравнения, которое приводит к P-полной задаче?
cc.complexity-theory
linear-algebra
polynomials
Джейкоб Эдельман
источник
источник
Ответы:
Нет, насколько я знаю, проблема диафорина в общем неразрешима, что эквивалентно задаче остановки, если уравнения ограничены квадратичными, то она np-полная, а линейное уравнение диаферина может быть сведено к задаче целочисленного программирования и для линейного уравнения Диофанта Уравнения, интегральные решения существуют тогда и только тогда, когда ГКД коэффициентов двух переменных делит постоянный член идеально.
источник