Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Tutorial ZIMPL-SCIP
ICN344 - Gesti on de Operaciones II

Profesores: Pablo Escalona R. - Luis Y an ez S. Ayudante: Juan Pablo Oyarzo A.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Contenidos

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Introducci on

ZIMPL: Zuse Institute Mathematical Programming Language Es un lenguaje que se utiliza para traducir el modelo matem atico de un problema a un formato que puede ser le do y resuelto por alg un programa especializado. SCIP: Solving Constraint Integer Programs Es un programa capaz de resolver problemas de gran tama no de manera eciente.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Introducci on

ZIMPL: Zuse Institute Mathematical Programming Language Es un lenguaje que se utiliza para traducir el modelo matem atico de un problema a un formato que puede ser le do y resuelto por alg un programa especializado. SCIP: Solving Constraint Integer Programs Es un programa capaz de resolver problemas de gran tama no de manera eciente.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Generaci on de archivo .zpl

El c odigo del modelo debe escribirse en un editor de texto como WordPad o Block de Notas. El archivo se guarda con el formato .zpl.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Formato

Cada archivo .zpl contiene 6 tipos de declaraciones. Sets Parameters Variables Objective Constrains Function denitions

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

En SCIP

Para resolver el problema en SCIP, es necesario ejecutar las siguientes declaraciones: read archivo.zpl. Esto compila el problema y muestra la cantidad de variables y restricciones que posee. optimize. Esto resuelve el problema y encuentra soluci on, si la hay. display sol. Las variables que no aparecen tienen valor 0. write sol archivo.txt. Para que la soluci on aparezca en un archivo, puede ser .txt o .xls.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

En SCIP

Para resolver el problema en SCIP, es necesario ejecutar las siguientes declaraciones: read archivo.zpl. Esto compila el problema y muestra la cantidad de variables y restricciones que posee. optimize. Esto resuelve el problema y encuentra soluci on, si la hay. display sol. Las variables que no aparecen tienen valor 0. write sol archivo.txt. Para que la soluci on aparezca en un archivo, puede ser .txt o .xls.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

En SCIP

Para resolver el problema en SCIP, es necesario ejecutar las siguientes declaraciones: read archivo.zpl. Esto compila el problema y muestra la cantidad de variables y restricciones que posee. optimize. Esto resuelve el problema y encuentra soluci on, si la hay. display sol. Las variables que no aparecen tienen valor 0. write sol archivo.txt. Para que la soluci on aparezca en un archivo, puede ser .txt o .xls.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

En SCIP

Para resolver el problema en SCIP, es necesario ejecutar las siguientes declaraciones: read archivo.zpl. Esto compila el problema y muestra la cantidad de variables y restricciones que posee. optimize. Esto resuelve el problema y encuentra soluci on, si la hay. display sol. Las variables que no aparecen tienen valor 0. write sol archivo.txt. Para que la soluci on aparezca en un archivo, puede ser .txt o .xls.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

El problema del transporte

Se tienen I posibles plantas productoras que deben satisfacer la demanda de J clientes. Dado un costo de construcci on de cada planta y un costo de transporte desde cada planta a cada cliente, se debe decidir qu e plantas construir y cu antas unidades de producto transportar desde cada planta a cada cliente.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

El problema del transporte

Se tienen I posibles plantas productoras que deben satisfacer la demanda de J clientes. Dado un costo de construcci on de cada planta y un costo de transporte desde cada planta a cada cliente, se debe decidir qu e plantas construir y cu antas unidades de producto transportar desde cada planta a cada cliente.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

El modelo es el siguiente:

min
x;y i,j

cij xij +
i

bi y i

(1)

sujeto a xij yi capi

j

i j

(2) (3) (4)

xij dj
i

xij 0

i, j i

yi {0, 1}

(5)

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Resolvamos la siguiente instancia:

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Problema del cami on con capacidades

Un comerciante posee un cami on con una capacidad de 50 m3 , en el cual desea transportar los siguientes objetos para su venta: refrigeradores, colchones, sillas y mesas, cada uno de los cuales le generar a un margen de ganancias. Sin embargo, debido a restricciones de pesaje en la carretera, la carga dentro del cami on no debe superar las 2 toneladas. El comerciante tiene en stock una cantidad limitada de cada producto, por lo que no puede enviar m as que eso y tampoco puede enviar fracciones de ning un producto. Ayude al comerciante a decidir qu e cantidad de cada producto enviar de modo de obtener la m axima ganancia.

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

La informaci on con la que cuenta se resume en la siguiente tabla:

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

El modelo es el siguiente:

max
x i

ui xi

(6)

sujeto a vi xi capV
i

(7) (8) (9)

pi xi capP
i

xi si xi Z
+

i i

(10)

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Conjuntos Objetos: i {refrigerador, colch on, silla, mesa} Par ametros vi pi si ui capV capP : : : : : : Volumen que ocupa una unidad del objeto i Peso unitario del objeto i Cantidad del objeto i en stock Utilidad que genera llevar una unidad del objeto i Capacidad del cami on en volumen Capacidad del cami on en peso

Variables de decisi on xi : Cantidad del objeto i a transportar

Tutorial ZIMPL-SCIP

Introducci on Formato Declaraciones en SCIP Ejemplo Ejercicio propuesto

Soluci on optima: objective value: xi #1 xi #3 xi #4 6 40 12 1060

(obj:60) (obj:10) (obj:25)

Tutorial ZIMPL-SCIP