1 votos

Relajaciones SOS para la optimización polinómica

No entiendo cómo funciona la relajación SOS (Suma de Cuadrados) para la optimización polinómica en algunos casos.

Por ejemplo, consideremos el problema de optimización polinómica:

\begin{equation} \begin{array}{c} minimize \hspace{1cm} p(\mathbf{x}) \\ s.t. \hspace{1cm} \mathbf{x} \in K, \\ \end{array} \end{equation} donde $K$ es un conjunto semialgebraico, y $\mathbf{x} \in \mathbb{R}^n.$

Este problema equivale a \begin{equation} \begin{array}{c} maximize \hspace{1cm} \rho \\ s.t. \hspace{0.5cm} p(\mathbf{x}) -\rho \geq 0 \\ \hspace{1cm} \mathbf{x} \in K. \\ \end{array} \end{equation}

Utilizando la relajación SOS, el problema de optimización puede escribirse como

\begin{equation} \begin{array}{c} maximize \hspace{1cm} \rho \\ s.t. \hspace{0.5cm} p(\mathbf{x}) -\rho \in \Sigma \\ \hspace{1cm} \mathbf{x} \in K, \\ \end{array} \end{equation} donde $\Sigma$ es el conjunto de polinomios SOS.

Mi pregunta es: si $p(\mathbf{x}) -\rho $ no puede escribirse como un polinomio SOS, ¿sigue funcionando la relajación para resolver dicho problema? Si es así, ¿cómo funciona un algoritmo específico (el método del punto interior, por ejemplo) en ese caso?

Gracias de antemano.

-1voto

Faisal Puntos 1167

En primer lugar, si $K$ se describe mediante desigualdades polinómicas, creo que es mejor incluirlas también en el preorden. Si no se puede escribir como SOS entonces se obtendrá un resultado conservador. Puede haber un comportamiento misterioso del solucionador SDP que puede llegar al valor máximo real incluso si no tiene el certificado SOS. Recuerdo haberlo leído en alguna parte. Pero los autores (gigantes de la optimización en realidad) sólo dicen que piensan que es muy misterioso...

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X