4 二次多変量多項式に解があるかどうかを判断するための効率的なアルゴリズムは何ですか？ 一般に、多変量多項式の充足可能性は3-SATと同等であることを知っています。ただし、2次の場合に優れた手法があるかどうか、特に多項式の時間解があるかどうかは疑問です。 より一般的な質問になると思いますが、充足可能性の問題が効率的に解決できる多変量多項式のクラスはありますか？ 8 cc.complexity-theory polynomials polynomial-time quadratic