Secara umum memutuskan apakah persamaan diophantine memiliki solusi bilangan bulat setara dengan masalah penghentian. Saya percaya bahwa memutuskan apakah persamaan diophantine kuadratik memiliki solusi apa pun adalah NP-complete. Apakah ada batasan lebih lanjut pada persamaan yang terlibat yang menghasilkan masalah P-complete?
cc.complexity-theory
linear-algebra
polynomials
Yakub Edelman
sumber
sumber
Jawaban:
Tidak, sejauh yang saya tahu masalah diaphantine secara umum tidak dapat dipastikan sehingga setara dengan penghentian masalah, jika persamaan dibatasi menjadi kuadrat maka np-complete, dan persamaan diaphantine linier dapat direduksi menjadi masalah pemrograman bilangan bulat dan Untuk persamaan linear Diophantine persamaan, solusi integral ada jika dan hanya jika, GCD koefisien dari dua variabel membagi istilah konstan dengan sempurna.
sumber