4
¿Cuáles son algunos algoritmos eficientes para determinar si un polinomio multivariado cuadrático tiene una solución?
Sé que, en general, la satisfacción polinómica multivariada es equivalente a 3-SAT; Sin embargo, me pregunto si hay buenas técnicas en el caso cuadrático, específicamente si hay una solución de tiempo polinomial. Supongo que la pregunta más general sería: ¿hay alguna clase de polinomios multivariados para los que el problema …