This development has resulted from possible relaxations of NP-hard problems e.g., non-negativity proofs of multivariable polynomials Papadimitriou, 1994 for solvable problems in computational polynomial time.
Este impulso se debe principalmente a la posibilidad de realizar relajaciones de problemas considerados NP-hard e. g., la evaluación de la no negatividad de polinomios multivariables Papadimitriou, 1994, a problemas solucionables computacionalmente en tiempo polinomio.