Im Allgemeinen entspricht die Entscheidung, ob eine diophantinische Gleichung ganzzahlige Lösungen enthält, dem Stoppproblem. Ich glaube, dass die Entscheidung, ob eine quadratische Diophantin-Gleichung eine Lösung hat, NP-vollständig ist. Gibt es eine weitere Einschränkung der beteiligten Gleichungen, die ein P-vollständiges Problem ergibt?