В целом решение о том, имеет ли диофантово уравнение какое-либо целочисленное решение, эквивалентно проблеме остановки. Я считаю, что решение о том, имеет ли какое-либо решение квадратное диофантово уравнение, является NP-полным. Существует ли дополнительное ограничение на используемые уравнения, которое приводит к P-полной задаче?
1
Я думаю, что проблема, связанная с gcd, была показана P завершена.
—
T ....
@ EmilJeřábek Ой, я неправильно указал результат. Решение должно быть в положительных рациональных. Это перечислено как проблема A.4.2 в Компендиуме проблем, выполненных для P , Tech Tech 1991 года. Отчет Greenlaw, et al.
—
mhum
@ EmilJeřábek Конечно, над целыми числами это просто целочисленное программирование. Я имел в виду, что создание линейного программирования звучит как проблема типа диофантовых уравнений, говоря, что вы хотите рационального решения, немного вводит в заблуждение, потому что настаивание на рациональном решении не добавляет ограничений к проблеме. Т.е. если бы вы спросили, есть ли у системы линейных уравнений решение по неотрицательным вещественным значениям, проблема была бы точно такой же.
—
Сашо Николов
@SashoNikolov Это не ограничение. Без указания домена для решения, проблема является просто некорректной , если домен не может быть выведен из контекста. И здесь контекст таков, что подразумеваемая область будет целыми числами, поэтому нужно явно заявить, что это нечто иное. Да, здесь не имеет значения, выбирает ли кто-то рациональное, реальное или любое другое поле характеристики 0. Выбор Мхума назвать его «рациональным» одинаково действителен, так же как ваш выбор назвать его «реальным».
—
Эмиль Йержабек
@ EmilJeřábek Я в основном согласен с тем, что вы говорите. Что-то я не могу передать, так это то, что мне в линейном программировании не хватает теоретико-числового аспекта проблемы диофантовых уравнений.
—
Сашо Николов