'Diberikan , apakah ada , ' adalah -complete.
Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?
'Diberikan , apakah ada , ' adalah -complete.
Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?
Jawaban:
Ditambahkan kemudian: Seperti disebutkan dalam komentar, batas atas NP adalah sepele jika a, b, dan c positif, seperti yang diminta.
Teorema 1.2 dalam makalah ini menunjukkan bahwa memutuskan apakah persamaan diophantine yang diberikan dalam dua variabel memiliki solusinya adalah dalam NP.
sumber