Investigacin de operaciones, modelos o matemticos y optimizacin a o

Guillermo Durn a
Centro de Gestin de Operaciones o Departamento de Ingenier Industrial a Universidad de Chile

Seminario JUNAEB-DII Enero de 2006

Qu es la Investigacin de Operaciones? e o

Una denicin que se acerca mucho a la realidad ser la o a ciencia de la toma de decisiones. Conviven en esta disciplina profesionales de las ms diversas ramas: ingenieros, a matemticos, computadores, economistas. Todos ellos deben a aprender una tcnica fundamental: el modelamiento e matemtico. a

Un problema de produccin o

Un carpintero desea determinar la cantidad de sillas y mesas que debe producir el prximo d para maximizar su ganancia. o a Cuenta con 38m2 de madera y dispone de 7, 5 hs/hombre. Se requiere de 4m2 y 1 hora/hombre para confeccionar cada silla; y de 9, 5m2 de madera y 1 hora/hombre para confeccionar cada mesa. Se asume que se vende todo lo que se produce y que el benecio por silla es de $4, mientras que el benecio por mesa es de $8, 5. Cuntas sillas y mesas debe producir? a

Qu signica hacer un modelo matemtico? e a

Hacer un modelo matemtico es interpretar lo mejor posible la a realidad a travs de ciertas frmulas. e o Por ejemplo, en el problema de produccin planteado, o podemos denir una variable x1 , que medir el nmero de a u sillas, y una variable x2 , que medir el nmero de mesas. a u Veamos como relacionar estas variables para cumplir con las condiciones del problema.

El modelo de las sillas y las mesas

Cmo decimos en frmulas matemticas que el mximo o o a a nmero de metros cuadrados que podemos usar es 38? u 4 x1 + 9, 5 x2 38 Cmo decimos en frmulas matemticas que el mximo o o a a nmero de horas/hombre que podemos usar es 7, 5? u x1 + x2 7, 5

El modelo de las sillas y las mesas

Cmo decimos en frmulas matemticas que el mximo o o a a nmero de metros cuadrados que podemos usar es 38? u 4 x1 + 9, 5 x2 38 Cmo decimos en frmulas matemticas que el mximo o o a a nmero de horas/hombre que podemos usar es 7, 5? u x1 + x2 7, 5

El modelo de las sillas y las mesas

Cul es la funcin de utilidad que tenemos que maximizar? a o mx 4 x1 + 8, 5 x2 a Por ultimo, el nmero de sillas y de mesas debe ser positivo: u x1 0; x2 0

El modelo de las sillas y las mesas

Cul es la funcin de utilidad que tenemos que maximizar? a o mx 4 x1 + 8, 5 x2 a Por ultimo, el nmero de sillas y de mesas debe ser positivo: u x1 0; x2 0

Resumiendo: tenemos un modelo de programacin lineal o

mx 4 x1 + 8, 5 x2 a Sujeto a: 4 x1 + 9, 5 x2 38 x1 + x2 7, 5 x1 0; x2 0

Grcamente... a

7,5

4
(6,05;1,45)

7,5

9,5

Algo anda mal...

No podemos producir 6, 05 sillas y 1, 45 mesas!! Qu le falta al modelo? e Las variables tienen que tomar valores enteros: 0, 1, 2, 3, . . .

Algo anda mal...

No podemos producir 6, 05 sillas y 1, 45 mesas!! Qu le falta al modelo? e Las variables tienen que tomar valores enteros: 0, 1, 2, 3, . . .

Algo anda mal...

No podemos producir 6, 05 sillas y 1, 45 mesas!! Qu le falta al modelo? e Las variables tienen que tomar valores enteros: 0, 1, 2, 3, . . .

Tenemos entonces un modelo de programacin lineal o entera

mx 4 x1 + 8, 5 x2 a Sujeto a: 4 x1 + 9, 5 x2 38 x1 + x2 7, 5 x1 0; x2 0 x1 y x2 son enteras.

Veamos entonces la nueva solucin... o

7,5

4 (0;4)

7,5

9,5

El problema de los 4 colores

Pintar un mapa es asignarles colores a sus regiones de modo que 2 regiones lim trofes (con al menos un borde en comn) u tengan diferente color. Dibujen un mapa de modo de que no se pueda pintar con 3 colores. Dibujen un mapa de modo de que no se pueda pintar con 4 colores.

El problema de los 4 colores

Pintar un mapa es asignarles colores a sus regiones de modo que 2 regiones lim trofes (con al menos un borde en comn) u tengan diferente color. Dibujen un mapa de modo de que no se pueda pintar con 3 colores. Dibujen un mapa de modo de que no se pueda pintar con 4 colores.

El problema de los 4 colores

Pintar un mapa es asignarles colores a sus regiones de modo que 2 regiones lim trofes (con al menos un borde en comn) u tengan diferente color. Dibujen un mapa de modo de que no se pueda pintar con 3 colores. Dibujen un mapa de modo de que no se pueda pintar con 4 colores.

Qu es un problema combinatorial? e
Es un problema en el que deben contarse una cierta cantidad de casos, conguraciones, conjuntos, etc.

Ejemplos de problemas combinatoriales

El problema de programacin entera y el problema de los 4 o colores son ejemplos de problemas combinatorios. Otro ejemplo: De cuntas formas diferentes pueden sentarse ustedes en a esta sala? Ser dif hacer esa cuenta? a cil Hagmosla juntos... a

Qu es un problema de optimizacin? e o

Es un problema en el cual, de un conjunto de objetos cada uno con un valor, se busca el objeto con mejor valor. Los criterios de mejor pueden ser muy diversos. 10 pares de zapatos con precios y calidades diferentes. Cul a compro?

Qu es un problema de optimizacin? e o

Es un problema en el cual, de un conjunto de objetos cada uno con un valor, se busca el objeto con mejor valor. Los criterios de mejor pueden ser muy diversos. 10 pares de zapatos con precios y calidades diferentes. Cul a compro?

Qu es un problema de optimizacin? e o

Es un problema en el cual, de un conjunto de objetos cada uno con un valor, se busca el objeto con mejor valor. Los criterios de mejor pueden ser muy diversos. 10 pares de zapatos con precios y calidades diferentes. Cul a compro?

Qu es un problema de optimizacin combinatorial? e o

Es un problema donde se busca la mejor opcin entre un o conjunto de un nmero nito de elementos. u Los elementos pueden ser generados mediante reglas que denen el problema.

Ejemplos de problemas de optimizacin combinatorial o

Ruteo de veh culos. Planicacin de la produccin. o o Asignacin de tareas. o Localizacin. o Procesamiento de tareas. Cortes de materia prima. Asignacin de tripulaciones. o Planicacin de vuelos. o Licitaciones.

Problema del vendedor viajero (PVV)

Un viajero debe recorrer cierta cantidad de ciudades y volver nalmente a la ciudad donde vive. Cul es el mejor recorrido? a El ms corto (tambin podr a e amos preferir el ms rpido). a a

Recorridos con cuatro ciudades

Recorridos con cinco ciudades

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Recorridos con ms de cinco ciudades a

Cuntos recorridos tengo en un caso con 10 ciudades? a 181440 Cuntos recorridos tengo en un caso con 50 ciudades? a 3041409320171337804361260816606476884437764156896 05120000000000 Cuntos recorridos tengo en un caso con 100 ciudades? a 4666310772197207634084961942813335024535798413219 0810734296481947608799996614957804470731988078259 1431268489604136118791255926054584320000000000000 000000000 Cuntos recorridos tengo en un caso con n ciudades? a (n 1)! 2

Cmo se resuelve un problema de optimizacin o o combinatorial?

Diferentes opciones: Contando todos los casos y eligiendo el mejor: fuerza bruta. Encontrando una solucin relativamente buena pero sin o tener garant de que es la mejor. a Encarando problemas ms chicos pero con la certeza de que a encuentro la solucin ptima. o o Buscando mediante mtodos inteligentes encontrar la e solucin ptima, an en problemas grandes. o o u

Cmo se resuelve un problema de optimizacin o o combinatorial?

Diferentes opciones: Contando todos los casos y eligiendo el mejor: fuerza bruta. Encontrando una solucin relativamente buena pero sin o tener garant de que es la mejor. a Encarando problemas ms chicos pero con la certeza de que a encuentro la solucin ptima. o o Buscando mediante mtodos inteligentes encontrar la e solucin ptima, an en problemas grandes. o o u

Cmo se resuelve un problema de optimizacin o o combinatorial?

Diferentes opciones: Contando todos los casos y eligiendo el mejor: fuerza bruta. Encontrando una solucin relativamente buena pero sin o tener garant de que es la mejor. a Encarando problemas ms chicos pero con la certeza de que a encuentro la solucin ptima. o o Buscando mediante mtodos inteligentes encontrar la e solucin ptima, an en problemas grandes. o o u

Cmo se resuelve un problema de optimizacin o o combinatorial?

Diferentes opciones: Contando todos los casos y eligiendo el mejor: fuerza bruta. Encontrando una solucin relativamente buena pero sin o tener garant de que es la mejor. a Encarando problemas ms chicos pero con la certeza de que a encuentro la solucin ptima. o o Buscando mediante mtodos inteligentes encontrar la e solucin ptima, an en problemas grandes. o o u

Fuerza bruta

Este enfoque consiste en listar todos los casos y para cada uno calcular su costo, identicando de este modo el caso de costo ms conveniente. a Podr amos pensar que como tenemos computadores muy ecientes y rpidos no tendremos inconveniente en resolver a problema tan grandes como se nos presenten. Error! Estamos ante gigantes enormemente ms fuertes que a nuestros poderosos computadores.

Fuerza bruta

Este enfoque consiste en listar todos los casos y para cada uno calcular su costo, identicando de este modo el caso de costo ms conveniente. a Podr amos pensar que como tenemos computadores muy ecientes y rpidos no tendremos inconveniente en resolver a problema tan grandes como se nos presenten. Error! Estamos ante gigantes enormemente ms fuertes que a nuestros poderosos computadores.

Fuerza bruta

Este enfoque consiste en listar todos los casos y para cada uno calcular su costo, identicando de este modo el caso de costo ms conveniente. a Podr amos pensar que como tenemos computadores muy ecientes y rpidos no tendremos inconveniente en resolver a problema tan grandes como se nos presenten. Error! Estamos ante gigantes enormemente ms fuertes que a nuestros poderosos computadores.

Un caso con cincuenta ciudades

Supongamos que quiero resolver el problema del viajante de comercio para 50 ciudades. Cunto creen que tardar un buen computador en evaluar a a todos los posibles recorridos? Arriesguen! 1 minuto, 1 hora, 1 d 1 ao, 1 siglo, ms de 1 siglo. a, n a

Resultados

31557600000 cantidad de segundos en un siglo. 6000000000 personas en el mundo (una computadora por persona). 1000000000000 (un billn) de evaluaciones por segundo. o
1.606274.093599.924056.519539.306224 cantidad de siglos en evaluar todos los casos para 50 ciudades. 200000000 edad del universo en siglos segn algunas teor u as cosmolgicas. o

Mtodos aproximados: Heur e sticos.

Tratan de orientarse en el universo de todas las posibles soluciones en busca de la mejor. Un inconveniente que tienen es que en la mayor de los a problemas combinatoriales en general no puedo estar seguro de que encontr la mejor solucin. e o

Mtodos aproximados: Heur e sticos.

Tratan de orientarse en el universo de todas las posibles soluciones en busca de la mejor. Un inconveniente que tienen es que en la mayor de los a problemas combinatoriales en general no puedo estar seguro de que encontr la mejor solucin. e o

Mtodos exactos. e

Intentan descartar familias enteras de posibles soluciones para acelerar la bsqueda y llegar a la conclusin de que la mejor u o solucin que encontraron en realidad es la ptima. o o Un inconveniente que tienen es que son muy lentos, pudiendo resolver slo problemas pequeos o problemas grandes con o n ciertas caracter sticas particulares. Cmo trabajan los mtodos exactos inteligentes? o e

Mtodos exactos. e

Intentan descartar familias enteras de posibles soluciones para acelerar la bsqueda y llegar a la conclusin de que la mejor u o solucin que encontraron en realidad es la ptima. o o Un inconveniente que tienen es que son muy lentos, pudiendo resolver slo problemas pequeos o problemas grandes con o n ciertas caracter sticas particulares. Cmo trabajan los mtodos exactos inteligentes? o e

Mtodos exactos. e

Intentan descartar familias enteras de posibles soluciones para acelerar la bsqueda y llegar a la conclusin de que la mejor u o solucin que encontraron en realidad es la ptima. o o Un inconveniente que tienen es que son muy lentos, pudiendo resolver slo problemas pequeos o problemas grandes con o n ciertas caracter sticas particulares. Cmo trabajan los mtodos exactos inteligentes? o e

Asignemos un operario distinto a cada uno de los siguientes 3 trabajos

Trabajo 1

3 5 9 9 2

Operario 1

Trabajo 2

Operario 2

Trabajo 3

1 2

Operario 3

Asignemos un operario distinto a cada uno de los siguientes 3 trabajos

Trabajo 1
3 5 9 3 5 9

Trabajo 2
8 2 9 2 9 8 8 2 9 2

Trabajo 3
2 7 2 1 7 1 2 7
13 12

1
8

13 12 16

8 25 18

Soluciones ptimas para el PVV o

En 1954 Dantzig, Fulkerson y Johnson resolvieron un caso de 49 ciudades del PVV. Resolvieron signica que D,F&J estaban seguros de que la solucin que presentaban era la mejor de un conjunto de 60 o decillones de soluciones posibles.

Solucin record (en 2001) de 15112 ciudades de Alemania o

Resuelta en una red de 110 mquinas en las a universidades de Rice y Princeton, por Applegate, Bixby, Chvtal y Cook. a Tiempo total de cmputo de o 22.6 aos de una PC de 500 n MHz. Longitud total de aproximadamente 66.000 Km (Un poco ms de una a vuelta y media a la tierra por el ecuador).

Solucin record (en 2004) de 24978 ciudades de Suecia o

Resuelta por Applegate, Bixby, Chvtal, Cook y a Helsgaun. Longitud total de aproximadamente 72.500 Km.

Solucin record actual (2005) o

Cook, Espinoza y Goycoolea: 33810 ciudades!

Agradecimientos

A los doctores Flavia Bonomo y Pablo Coll, de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires, por facilitarme parte del material para la preparacin de o esta charla.