4
Apa sajakah algoritma efisien untuk menentukan apakah polinomial multivariat kuadrat memiliki solusi?
Saya tahu bahwa secara umum, kepuasan polinomial multivariat setara dengan 3-SAT; Namun, saya bertanya-tanya apakah ada teknik yang baik dalam kasus kuadratik, khususnya jika ada solusi waktu polinomial. Saya kira pertanyaan yang lebih umum adalah, adakah kelas polinomial multivarian yang masalah kepuasannya dapat dipecahkan secara efisien?