En general, decidir si una ecuación de diofantina tiene alguna solución entera es equivalente al problema de detención. Creo que decidir si una ecuación de diofantina cuadrática tiene alguna solución es NP-completo. ¿Existe una restricción adicional en las ecuaciones involucradas que produce un problema P-completo?
cc.complexity-theory
linear-algebra
polynomials
Jacob Edelman
fuente
fuente
Respuestas:
No, hasta donde yo sé, el problema de la diafantina en general es indecidible, por lo tanto equivalente al problema de detención, si las ecuaciones están restringidas a ser cuadráticas, entonces es np-completo, y la ecuación de diafantina lineal puede reducirse a un problema de programación entero y para la ecuación lineal de diofantina. ecuaciones, existen soluciones integrales si y solo si, el MCD de coeficientes de las dos variables divide el término constante perfectamente.
fuente