Ejemplos: BIP conjunto que abarca Problema

Un hospital ER tiene que mantener a los médicos de guardia, de modo que una persona cuali fi cado

está disponible para llevar a cabo todos los procedimientos médicos que podrían ser necesarios (hay una

lista ocial de tales procedimientos). Para cada uno de varios médicos disponibles para los servicios de

guardia, el salario adicional que necesitan para ser pagado, y qué procedimientos se pueden llevar a

cabo, es conocido. El objetivo de elegir los médicos para que cada procedimiento está cubierto, a un

costo mínimo.

Ejemplo:
Doc 1 Doc 2 Doc 3 Doc 4 Doc 5 Doc 6
procedimiento 1 x x
procedimiento 2 x x
procedimiento 3 x x
procedimiento 4 x x
procedimiento 5 x x x
procedimiento 6 x

OIE 518: Introducción a IP, Invierno 2012 formulaciones BIP página 16 c Marina A. Epelman

Cubiertas de establecer la formulación de problemas

Representación de datos: matriz de incidencia. Con metro procedimientos y norte

médicos disponibles, los datos se pueden representar como UN 2 R metro ⇥ norte, dónde

un ij = 1 si el médico j puede realizar el procedimiento yo y un ij = 0 en caso contrario. También, deje do j, j = 1, . . . ,

norte el sueldo adicional que tendrá que ser pagado en médico j para el servicio de guardia.

Variables: x j = 1 si el médico j es de guardia, y 0 en caso contrario
Formulación:

min PAG nj = 1 do j x j (Salarios pagados)

st PAG nj = 1 un ij x j 1, i = 1, . . . , m ( Al menos un médico debe
x j 2 { 0, 1}, j = 1, . . . , norte realizar el procedimiento yo )

OIE 518: Introducción a IP, Invierno 2012 formulaciones BIP página 17 c Marina A. Epelman

se nos da un conjunto M. j = 1. . x 2 { 0. . T es el conjunto de los médicos de guardia. Epelman problema relacionado: conjunto de embalaje Una vez más. . . En este problema que estábamos buscando una cobertura mínima juego de pesas: 8 <: X 9 =. norte} tal que [ j 2 T METRO j = METRO. . . . . . j = 1. . . norte son norte subconjuntos de METRO. norte} de tal manera que METRO j \ METRO k =. j 6 = k. y pesos de los subconjuntos. . x máx do j: T es una empaquetadura do j x j: Hacha • e. do j. Invierno 2012 formulaciones BIP página 19 c Marina A. y do j es médico j 'S salario. METRO es todo el conjunto de los procedimientos. Epelman . = min 8 <: norte 9 = . . norte son norte subconjuntos de METRO. j = 1. M j ✓ M. k 2 T. . y pesos de los subconjuntos. Establecer un problema que abarca: declaración formal Supongamos que se nos da un conjunto M. . OIE 518: Introducción a IP. . El peso máximo establecido los problemas de acumulación: 8 <: X 9 =. j = 1. M j ✓ M. . x min do j: T es una cubierta do j x j: Hacha e. para todos j. 1} norte T j2T j=1 dónde UN es la matriz de incidencia por encima de. norte Set de juntas: Una colección T ✓ { 1. y mi es un vector de 1 de. x 2 { 0.. . En el ejemplo anterior. METRO j es el conjunto de procedimientos médico j puede llevar a cabo. Invierno 2012 formulaciones BIP página 18 c Marina A. . . . do j. . 1} norte T j2T j=1 OIE 518: Introducción a IP. norte Conjunto de cubierta: Una colección T ✓ { 1. = máx 8 <: norte 9 =. tenga en cuenta que debe ser una cubierta de METRO. . .

norte Partición conjunto: Una colección T ✓ { 1. y pesos de los subconjuntos. Invierno 2012 formulaciones BIP página 20 c Marina A. Deje que el conjunto de estas ciudades sea N = { 1. x 2 { 0. . norte}. . Máximo (o mínimo) establecer peso problema de la partición: 8 <: X 9 =. M j ✓ M. Variables: x ij = 1 si el candidato va de la ciudad yo directamente a la ciudad j. PAG nj = 1 do ij x ij Función objetiva: min PAG ni = 1 limitaciones: x ij 2 { 0. norte} que es tanto una cubierta y una empaquetadura. se nos da un conjunto M. x máx do j: T es una partición do j x j: ax = e. Epelman BIP Ejemplos: Traveling Salesman Problem (TSP) El candidato a la nominación presidencial le gustaría visitar la sede de todos los condados de un estado en los días previos a la bancada. . n subconjuntos de M. . . El tiempo que se tarda en viajar desde la ciudad yo a la ciudad j es do ij. Invierno 2012 TSP página 21 c Marina A. 0 en caso contrario ( x ii no están definidos). y volviendo a la capital del estado. . . 1} norte T j2T j=1 OIE 518: Introducción a IP. OIE 518: Introducción a IP. norte. Encontrar el orden en el que se debe hacer de su tour. . partiendo de. . . j 2 N ( entra j exactamente una vez) (2) i: i 6 = j Soluciones que satisfacen las limitaciones anteriores pueden conducir a subtours. . j = 1. . do j. yo 2 N ( Hojas yo exactamente una vez) (1) j: j 6 = yo x x ij = 1. Epelman . problema relacionado: configurar la partición Una vez más. así como a fi nal en un tiempo mínimo. 1} 8 yo 6 = j. x x ij = 1. = máx 8 <: norte 9 =. parando exactamente una vez en cada condado . . . . . j = 1.

0 en caso contrario. do j. (2). 8 S ⇢ N. ¿Cuántas variables y restricciones tienen estas formulaciones? OIE 518: Introducción a IP. subtours eliminando en TSP Observación: Dejar S ser un subconjunto estricto no vacío de NORTE. 2 y 3 son. una barra de chocolate. . Cualquier recorrido debe dejar S al menos una vez: x x x ij 1. (4) (la formulación eliminación subtour). . . j = 1. . En cualquier viaje. Epelman restricciones lógicas modelados con variables binarias yo datos binarios problema de la mochila: b. puede tener x j = 0 para uno de más j = 1. norte yo Los artículos 1. podemos hacer hogueras. (3) (la formulación de corte set) o ( 1). tiene que haber una subtour! x x x ij • | S | 1 de S ⇢ NORTE. respectivamente. a j.si los tres son llevados en un viaje. yo Nueva variable: y = 1 si podemos hacer hogueras. (2). 2 • | S | • norte 1 (4) yo 2 S j2S Restricciones (1). entonces x 1 = x 2 = x 3 = 1 yo Si y = 0. Invierno 2012 TSP página 22 c Marina A. Epelman . 0 en caso contrario deberá agregar la siguiente lógica de la formulación: yo Si y = 1. S 6 =. junto con las restricciones binarias en las variables. y un paquete de galletas integrales . 3 (por qué no debe tener ?) Añadir esta restricción al modelo de mochila: yo x 1 + x2+ x3 3y OIE 518: Introducción a IP. no hay más de | S | 1 aristas nodos de conexión de S. y si hay más de | S | 1 aristas nodos de conexión de S. una bolsa de malvaviscos. cuya utilidad es s 6 = do 1 + do 2 + do 3 Variables: yo x j = 1 si el artículo j está lleno. (3) yo 2 S j 62 S Observación: Dejar S ser un subconjunto no vacío de norte con cardinalidad 2 • | S | • norte 1. son formulaciones válidas del TSP. 2. Invierno 2012 TSP página 23 c Marina A.

y y j= 0 en caso contrario. Ejemplo MIP: limitaciones disyuntivos restricciones disyuntivas permiten modelizar. d t . periodo producedin cantidad t yo s t . ejemplo Radioterapia: "Dejar T el conjunto de píxeles en un tumor. Al menos el 95% de estos píxeles necesita recibir una dosis de 80 Gy o más alto “.dosis suministrada a píxel j 2 T y j = 1 Si 80 re j • 0. Variables: re j 0 .período horizonte para un solo producto.la demanda en el periodo t. de una colección de restricciones. Invierno 2012 formulaciones MIP página 24 c Marina A. j 2 T Aquí. una (o varias fi cada pre-especificado) tienen que ser satisfechas. inventario inicial es 0. por lo que cualquier dosis re j la satisfacción de otras restricciones del problema satisface 80 re j • METRO para todos j 2 T. 1}. j 2 T y j 2 { 0. Epelman . representación requisito: PAG j2Tyj 0.95 ⇤ | T | 80 re j • METRO( 1 y j). M> 0 es un número suciently grande. Invierno 2012 formulaciones MIP página 25 c Marina A. Variables: yo x t . Los datos para el problema es el siguiente: marido t . Epelman MIP Ejemplo: porción de encolado uncapacitated (ULS) Tenemos que decidir sobre el plan de producción para la próxima norte. en forma de un PIM. El coste de producción en el periodo t. los requisitos que especifican que. OIE 518: Introducción a IP. como una función de la cantidad de x producido: (0 Si x = 0 F t + pag t x Si x> 0.costo de almacenamiento en unidad de tiempo t. inventario total al final del periodo t yo y t = 1 si la producción se lleva a cabo en el periodo t OIE 518: Introducción a IP. re j 0.

. y F j de la construcción de depósito j son dados. . Invierno 2012 formulaciones MIP página 27 c Marina A.continuó Formulación min PAG nt = 1 pag t x t + PAG nt = 1 marido t s t + PAG nt = 1 F t y t st s t 1 + x t = re t + s t. muchos Uncapacitated dimensionamiento (ULS) . x ij . . . 1}. t = 1. Variables: y j = 1 si Depot j está construído. . también conocido como “la gran M” es un a priori límite superior x t. t = 1. . norte (Forzar restricciones) s t. y la forma de utilizarlos para servir a los clientes. . la demanda de cada cliente puede ser a fi satisfecho por múltiples depósitos. . En este caso. norte (Balance de inventario) x t • Mi t. . t = 1. metro} de los clientes. norte. . . j 2 N ( Forzar restricciones) x ij 0 8 yo 2 M. . . costos do ij de abastecer toda la demanda del cliente yo de depósito j. tenemos que decidir qué depósitos para abrir.fracción de la demanda del cliente yo suministrado por depot j Formulación: x min x do ij x ij + x Fjyj yo 2 METRO j 2 norte j 2 norte st PAG j 2 norte x ij = 1 8 yo 2 M ( satis Demand fi ed) x ij • y j 8 yo 2 M. Epelman . . . . Invierno 2012 formulaciones MIP página 26 c Marina A. 1} 8 j 2 norte OIE 518: Introducción a IP. x t 0. . . yo M> 0. . yo METRO tiene que ser lo suficientemente grande como para no imponer adicional restricciones de x t 's yo Los valores que son demasiado grandes causan diculties numéricos cuando una el problema está resuelto yo considerar cuidadosamente la selección de METRO en una implementación OIE 518: Introducción a IP. . y j = 0 en caso contrario. ns 0 = 0 yo restricciones “st 0” garantizar la demanda se satisface en cada período. . . Epelman MIP Ejemplo: ubicación de la instalación uncapacitated (UFL) Dado un conjunto de depósitos potenciales N = { 1. norte} y un conjunto M = { 1. . y t 2 { 0. t = 1. j 2 N y j 2 { 0. .

Una formulación alternativa para UFL Mismas variables: y j = 1 si Depot j está construído.fracción de la demanda del cliente yo suministrado por depot j formulación alternativa: x min x do ij x ij + x Fjyj yo 2 METRO j 2 norte j 2 norte st x x ij = 1 8 yo 2 METRO (Demanda satis fi ed) j 2 norte x x ij • mi j 8 j 2 N ( Combinado limitaciones forzar) yo 2 METRO x ij 0 8 yo 2 M. y yo No hay valores no factibles satisfacen la descripción matemática (Antes. Invierno 2012 formulaciones MIP página 28 c Marina A. OIE 518: Introducción a IP.perspectiva geométrica De manera informal. x ij . Epelman . una formulación es una descripción matemática de un conjunto de (factible) valores de variables tales que yo Todos los valores del conjunto factible satisfacen la matemática descripción. Invierno 2012 Fuerza de formulaciones página 29 c Marina A. se utilizó el “modelo” y los términos “formulación” de manera intercambiable. j 2 N y j 2 { 0. pero ahora hay que tener más cuidado. Formulación para un conjunto Un poliedro PAG ✓ R n + p es un formulación para un conjunto X ⇢ Z norte ⇥ R pag si y solo si X = P \ ( Z norte ⇥ R pag). Epelman “Formulación” . y j = 0 en caso contrario.) Poliedro Un subconjunto de R n ( que se puede) descrito por un conjunto finito de restricciones lineales P = {x 2 R n: Hacha • segundo} es un poliedro. 1} 8 j 2 norte OIE 518: Introducción a IP.

4 x 1 + 3 x 2 + 2 x 3 + x 4 • 4. 1). 1} 4: 83 x 1 + 61 x 2 + 49 x 3 + 20 x 4 • 100} = {(0. en el sentido de la anterior definición OIE 518: Introducción a IP. Invierno 2012 Fuerza de formulaciones página 30 c Marina A. 0. 0). (3. 2). 3)}. 0. 0. 2). Epelman . (0. 2) a partir del conjunto? yo La región factible de una IP o una MIP siempre tiene una formulación. 0. (2. (0. 0. 1. 1. 1). (1. Invierno 2012 Fuerza de formulaciones página 31 c Marina A. (0. yo ¿Cuáles son posibles formulaciones para X ( en el sentido de la anterior definición)? yo ¿Qué pasa si quitamos punto (2. 1. 0. 0. 83 x 1 + 61 x 2 + 49 x 3 + 20 x 4• 100} PAG 2 = { x 2 R 4: 0 • x • mi. 0. 1)} Los siguientes son formulaciones para X: P 1 = { x 2 R 4: 0 • x • mi. 0). 0). (0. x 1 + x 2 + x 3 • 1. 4 x 1 + 3 x 2 + 2 x 3 + x 4 • 4} PAG 3 = { x 2 R 4: 0 • x • mi. Las formulaciones para un conjunto 2D Consideremos el conjunto X = {( 1. Epelman Las formulaciones para un “conjunto de mochila” Considere la región factible del siguiente problema 0 1 mochila: X = {x 2 { 0. (2. 2). (2. (1. 0. 1). (0. 0). 0. 1). (3. x 1 + x 4 • 1} OIE 518: Introducción a IP. 1). 1.

PAG 1 y PAG 2. P 1 es un mejor formulación de PAG 2 Si PAG 1⇢ PAG 2. PAG 3 ⇢ PAG 2 ⇢ PAG 1. PAG 3 ⇢ PAG para cualquier formulación PAG de este sistema! OIE 518: Introducción a IP. yo Nota: x ⇢ PAG. Invierno 2012 Fuerza de formulaciones página 33 c Marina A. yo Nota: algunas formulaciones no se pueden comparar. Empezamos a menudo mediante la resolución de la la relajación lineal de este problema: (LP) z RP = max { do T x: x 2 PAG}.definición Dado un conjunto x ✓ R norte y dos formulaciones. Epelman relajaciones LP . Invierno 2012 Fuerza de formulaciones página 32 c Marina A. mejores formulaciones conducen a una mejor límites en z IP OIE 518: Introducción a IP. y de hecho. Entonces z IP • z LP 1 • z LP 2 . Cuando es una formulación mejor que otro? Una mejor formulación .saltando por delante ¿Qué es esta definición de una formulación mejor basado en? yo Suponer PAG ⇢ R norte es una formulación para x ⇢ Z norte. Resolver (IP) z IP = max { do T x: x 2 X} = max { do T x: x 2 PAG \ Z norte}. yo Para las formulaciones de la mochila anteriores. Epelman . asi que z IP • z LP yo Suponer PAG 1 ✓ PAG 2 son ambas formulaciones para X. que es un LP. para X.

j. el casco convexo de S. X ✓ conv ( X) ✓ PAG. x x ij • mi j 8 j j 2 norte yo 2 METRO x ij 0 8 yo . Reclamación: conv ( X) es la mejor formulación para X: yo conv ( X) es un poliedro yo Para cualquier PAG que es una formulación para X. Invierno 2012 Fuerza de formulaciones página 35 c Marina A. ¿PAG? es una formulación para X. . . yo 0 i = 1. .1 conv ( S) es un poliedro Si S es finito. x ij • y j 8 i. OIE 518: Introducción a IP. y dejar y j = k / m 8 j. Epelman . x t} ✓ S}. PAG ti = 1 i = 1. j j 2 norte x ij 0 8 yo . Por lo tanto. . yo Dejar ( x. . Entonces ( x. y) 2 PAG 2 \ PAG 1 Conclusión: formulación PAG 1 es mejor que PAG 2. . . PAG 1 ✓ PAG 2. yo Supongamos. formulaciones de comparación para UFL PAG 1 = {( x. por simplicidad. y) 2 PAG 1. Invierno 2012 Fuerza de formulaciones página 34 c Marina A. y) 2 R mn + n: x x ij = 1 8 yo . 0 • y j • 1 8 j}. es decir. j. 0 • y j • 1 8 j}. Entonces PAG yo 2 METRO x ij • PAG yo 2 METRO y j = mi j. denotado por conv ( S). Que cada depósito de servir k clientes. PAG 2 = {( x. . Epelman ¿Cuál sería la mejor formulación? yo Dejar x ser el conjunto de soluciones factibles de algunos IP (o MIP). P? ✓ PAG casco convexo Dado un conjunto S ✓ R norte. asignando x ij = 1 apropiadamente. yo ŻQué es la mejor formulación para ¿X? Un poliedro ¿PAG? st yo x ⇢ ¿PAG?. con k 2 y número entero. t sobre todos los subconjuntos finitos { x 1. o si es el conjunto de soluciones factibles de algunos MIP ( no es cierto para un conjunto arbitrario S!). OIE 518: Introducción a IP. proposición 1. Se define como conv ( S) = {x: x = PAG ti = 1 yo x yo . y yo Para cualquier PAG que es una formulación para X. y) 2 R mn + n: x x ij = 1 8 i. que m = kn.

resolver (IP) z IP = max { do T x: x 2 X} = max { do T x: x 2 PAG \ Z norte}.2 Todos los puntos extremos de conv ( X) quedarse en cama X. Invierno 2012 Fuerza de formulaciones página 36 c Marina A. que es un LP. Las propiedades adicionales de la formulación ideales yo Recordemos: dada PAG ⇢ R norte . yo Solución x LP se encontrará en un punto extremo de PAG. y si x LP 2 X. Empezamos a menudo mediante la resolución de la la relajación lineal de este problema: (LP) z RP = max { do T x: x 2 PAG}. proposición 1.una formulación para x ⇢ Z norte. luego encontramos la solución óptima de (IP) acaba resolviendo (RP). Epelman . ¿Quiere esto decir que estamos listos con el estudio de programación entera? OIE 518: Introducción a IP.