Problemas lineales (forma estándar) min cTx s.a Ax = b x ? 0 Estudiaremos sus propiedades especiales Métodos específicos de solución: Método Simplex Métodos de puntos interiores Programación lineal
Programación lineal Propiedades especiales del problema La región factible es convexa Toda solución local es global Las condiciones necesarias de primer orden son suficientes Propiedad de convexidad: x e y factibles, A (?x +(1-?)y ) = ?Ax + (1-?)Ay = ?b + (1-?)b = b ?x +(1-?)y ? 0
Programación lineal Propiedades especiales del problema La región factible es un politopo : Figura limitada por hiperplanos Elementos de un politopo: Caras, aristas, vértices Algunos de estos elementos son importantes para el cálculo de la solución Cómo identificarlos: caracterización algebraica
Programación lineal Teorema básico: “Si existe una solución del problema lineal, existe un vértice solución” Importancia de los vértices: Basta con buscar soluciones en vértices (número finito) Método Simplex: Probar vértices eficientemente hasta encontrar la solución
Programación lineal Justificación: Resultado básico (teor. de representación) Todo punto de un conjunto convexo puede expresarse como combinación convexa de n+1 puntos extremos del conjunto x = ?i ?i xi , ?i ?i = 1, ?i ? 0 cT x = ?i ?i cTxi ? mini cTxi
Programación lineal Caracterización algebraica de vértices Representación gráfica solo válida si n ? 3 Caracterización general basada en la de otras partes de un politopo Caras, aristas, etc.
Programación lineal Partes de un politopo, Ax ? b Caras: subconjuntos de hiperplanos Vértices: Puntos intersección de al menos n caras Aristas: Segmentos intersección de n – 1 caras Comienzan y acaban en un vértice Vértices contiguos: unidos por una misma arista
Programación lineal Caracterización algebraica: Caras: {x | ?j ajTx = bj , Ax ? b } Vértices: existe una partición de A y b, Ab bb A = b = An bn Ab ? ?n?n, bb ? ?n, det(Ab ) ? 0, Ab x = bb , An x ? bn
Programación lineal Vértices de Ax = b, x ? 0, A ? ?m?n Siempre existen m restricciones activas, Ax = b Necesitamos n – m restricciones activas en x ? 0 En un vértice al menos n – m variables deben ser iguales a cero: variables no básicas Variables distintas de cero: variables básicas
Programación lineal Ejemplo: min 2×1 + x2 – x3 + 3×4 s.a x1 + 2×2 – x3 + x4 + x5 = 3 2×1 + 4×2 + x3 + 2×4 – x5 = 12 x1 + 4×2 + x3 – x4 + 2×5 = 9 x ? 0 Comprobar si son vértices: ( 1 1 2 1 1 )T , ( -3 4 0 0 -2 )T , ( 9/2 1/4 5/2 0 1/2 )T , ( 3 1 2 0 0 )T
Programación lineal Procedimiento básico Método Simplex: Suponemos conocido un vértice factible Comprobamos si es solución: Comprobar condiciones necesarias y suficientes Si no lo es, buscamos un vértice contiguo mejor Criterio de selección entre vértices contiguos
Programación lineal Método Simplex: Aspectos básicos: ¿Cómo podemos calcular un vértice factible? ¿Qué debemos comprobar para saber si un vértice es solución? ¿Cómo podemos escoger un vértice contiguo mejor?
Programación lineal Comprobar si un vértice es óptimo: Paso 1. ¿Es un vértice factible? ¿Es factible? ¿Tiene al menos n – m variables iguales a cero? Paso 2. ¿Es solución? Condiciones de óptimo Signo de los multiplicadores
Programación lineal Condiciones de óptimo en un vértice Problema en forma estándar Versión más eficiente de las condiciones Sistema de ecuaciones de tamaño reducido Basado en partición de variables para un vértice factible xb cb x = c = A = ( B N ) xn cn
Programación lineal Derivación de condiciones de óptimo Condiciones generales de extremo Condición basada en ausencia de descenso Estudiar las direcciones factibles en el vértice Estudiar solo las aristas que salen del vértice Determinar si la función objetivo decrece Vértice solución: si la f. objetivo no decrece a lo largo de ninguna arista
Programación lineal Condiciones necesarias y suficientes: Ax = b , x ? 0 c = AT? + ? ? ? 0 , ?Tx = 0 Para comprobar si un punto es solución: Factibilidad Existencia de multiplicadores Signo de multiplicadores ?
Programación lineal Ejemplo: min 2×1 + x2 – x3 + 3×4 s.a x1 + 2×2 – x3 + x4 + x5 = 3 2×1 + 4×2 + x3 + 2×4 – x5 = 12 x1 + 4×2 + x3 – x4 + 2×5 = 9 x ? 0 Comprobar si ( 3 1 2 0 0 )T es solución
Página siguiente |