El sistema de prueba de suma de cuadrados básico, introducido bajo el nombre de refutaciones Positivstellensatz por Grigoriev y Vorobjov , es un sistema de prueba "estático" para mostrar que un conjunto de ecuaciones y desigualdades polinómicas
donde f 1 , … , f k , h 1 , … ,
S= { f1= 0 , ... , fk= 0 , h1≥ 0 , ... , hmetro≥ 0 } ,
, no tiene solución común en
R n : una refutación de
S viene dado por polinomios
g i y
e I , j de tal manera que
- 1 = k Σ i = 1 g i f i + ∑ I ⊆ { 1 , ... , m } ∑ j e 2 IF1, ... , fk, h1, ... , hmetro∈ R [ x1, ... , xnorte]RnorteSsolyomiyo, j
(Se podría trabajar con cualquier campo realmente cerrado en lugar de
R.) Positivstellensatz de Stengle garantiza que
Stiene una refutación si y solo si no tiene solución. La principal medida de complejidad aquí es el
gradode refutación, que es el máximo de grados totales de los polinomios que aparecen bajo los signos de suma en
(∗), es decir,
gifiy
e2I,j∏i∈Ihi.
- 1 = ∑i = 1ksolyoFyo+ ∑yo⊆ { 1 , ... , m }∑jmi2yo, j∏yo ∈ yohyo.( ∗ )
RS( ∗ )solyoFyomi2yo, j∏yo ∈ yohyo
ϕSX2yo- xyoXyoϕ
Puede encontrar más información sobre la historia y el desarrollo de los sistemas SOS en http://arxiv.org/abs/1211.1958 .