4
Was sind einige effiziente Algorithmen, um festzustellen, ob ein quadratisches multivariates Polynom eine Lösung hat?
Ich weiß, dass die multivariate Polynom-Erfüllbarkeit im Allgemeinen 3-SAT entspricht; Ich frage mich jedoch, ob es im quadratischen Fall gute Techniken gibt, insbesondere, ob es eine polynomielle Zeitlösung gibt. Ich denke, die allgemeinere Frage wäre, gibt es Klassen multivariater Polynome, für die das Erfüllbarkeitsproblem effizient lösbar ist?