4
Quais são alguns algoritmos eficientes para determinar se um polinômio multivariado quadrático tem uma solução?
Eu sei que, em geral, a satisfação polinomial multivariada é equivalente a 3-SAT; no entanto, gostaria de saber se existem boas técnicas no caso quadrático, especificamente se existe uma solução de tempo polinomial. Eu acho que a pergunta mais geral seria: existem classes de polinômios multivariados para os quais o …