Em geral, decidir se uma equação diofantina tem soluções inteiras é equivalente ao problema de parada. Acredito que decidir se uma equação diofantina quadrática tem alguma solução é NP-completo. Existe alguma restrição adicional nas equações envolvidas que gera um problema de P completo?
1
Eu acho que um problema relacionado ao MDC foi mostrado P completo.
—
T ....
@ EmilJeřábek Ops, eu indevi o resultado. A solução deve estar nos racionais positivos . Ele está listado como problema A.4.2 em Um compêndio de problemas completo para P , uma tecnologia de 1991. Relatório de Greenlaw, et al.
—
Mhum 8/12
@ EmilJeřábek Obviamente, sobre os números inteiros, isso é apenas programação inteira. O que eu quis dizer é que fazer a programação linear soar como um problema do tipo equações diofantinas, dizendo que você quer uma solução racional, é um pouco enganador, porque insistir em uma solução racional não adiciona restrições ao problema. Ou seja, se você perguntasse se o sistema de equações lineares tinha uma solução sobre os reais não negativos, o problema seria exatamente o mesmo.
—
Sasho Nikolov 12/12
@SashoNikolov Não é uma restrição. Sem especificar o domínio para soluções, o problema é simplesmente mal formado , a menos que o domínio possa ser deduzido do contexto. E aqui o contexto é tal que o domínio implícito seria o número inteiro; portanto, é necessário declarar explicitamente que é algo diferente. Sim, aqui não importa se alguém escolhe os racionais, os reais ou qualquer outro campo da característica 0. A escolha de Mhum para chamá-lo de "racional" é igualmente válida como a sua escolha para chamá-lo de "real".
—
Emil Jeřábek 3.0 13/12
@ EmilJeřábek Eu concordo principalmente com o que você está dizendo. De alguma forma, estou deixando de transmitir que, para mim, a programação linear carece do aspecto teórico dos números do problema das equações diofantinas.
—
Sasho Nikolov