Método de planos de corte

En matemática, y más en concreto en optimización, el método de los planos de corte es un procedimiento para encontrar soluciones enteras de un problema lineal. Fue introducido por Gomory.

Funciona resolviendo un programa lineal no entero, después comprobando si la optimización encontrada es también una solución entera. Si no es así, es añadida una nueva restricción que corta la solución no entera pero no corta ningún otro punto de la región factible. Esto se repite hasta que se encuentra la solución entera óptima $X^*\,$.

Interpretación geométrica, una restricción es equivalente a un hiperplano, permitiendo solo soluciones en uno de los lados del plano.

Cortes de Gomory

Tengo una solución x admisible y tengo una base B asociada a x tal que

$\begin{bmatrix}B & F \end{bmatrix}\begin{bmatrix}x_b \\ x_f \end{bmatrix}=b \Rightarrow Bx_b+Fx_f =b\Rightarrow$

$\Rightarrow x_b=B^{-1}b-B^{-1}Fx_f=\bar b\$ $- \bar A\ x_f \Rightarrow$ $x_b+ \bar A\ x_f= \bar b\$

Si tengo una solución fraccionaria entonces tengo un elemento enésimo de x fraccionario.

$(1)\,$

$x_n + \sum_{j \in\ \zeta\ }^N$ $\bar a_{n,j}x_j= \bar b_n$

$\begin{bmatrix} \\ x_b \\ \\ \end{bmatrix}$$+ \begin{bmatrix} & &\\ & \bar A\ & \\ & &\end{bmatrix}$$\begin{bmatrix} x_f \end{bmatrix}$$= \begin{bmatrix} \\ \bar b\ \\ \\ \end{bmatrix}$

$( 2 ) \,$

$x_n + \sum_{j \in\ \zeta\ }^N$ $\left \lfloor \bar a_{n,j}x_j \right \rfloor \le \;$ $\left \lfloor \bar b_n \right \rfloor$

es un corte o formulación entera del corte de Gomory.

Véase también

• Ramificación y poda (Branch and Bound))

Enlaces externos

• Método de Ramificar y Acotar Método de Branch and Bound: Ramificar y Acotar