APRENDIENDO ZIMPL - SCIPIN3701 Modelamiento y Optimizacin
Semestre Primavera 2009
Por Vctor Bucarey Lpez
Qu es SCIP? Qu es ZIMPL? SCIP es la sigla de (solving constraint
integer programs) Es un solver de para problemas de programacin
enteros y continuos. ZIMPL es el lenguaje de programacin
Cmo ocupar ZIMPL-SCIP?PASO 1: Preparando los archivos Descargar
los archivos Descomprimir la carpeta zimpl-scip A los archivos
scip-1.1.0.mingw32_nt5.1.x86.gnu.opt.spx.rar y zimpl.rar , pulsar
el boton derecho y elegir la opcin Extraer Aqu .
Paso 2: Generar un archivo *.zpl Y para explicar los cdigos UN
EJEMPLO!
Paso 2: Generar un archivo *.zpl Una dieta diaria satisfactoria
debe contener al menos 2000 [kCal], 55 [g] de protenas y 800 [mg]
de Calcio. Se pide formular un modelo que permita determinar una
dieta satisfactoria de mnimo costo partir de los alimentos
indicados en el Cuadro:
Paso 2: Generar un archivo *.zpl
Paso 2: Generar un archivo *.zpl Primero el modelamiento
Paso 2: Generar un archivo *.zpl
Paso 2: Generar un archivo *.zpl
Paso 2: Generar un archivo *.zpl En un archivo realizaremos
nuestro archivo ZIMPL: Primero crearemos un conjunto de ndices:
Paso 2: Generar un archivo *.zpl Luego los parmetros a
utilizarEntre corchetes colocamos el conjunto de los ndices anlogo
a colocar : Ei , Para Todo i alimentos Definir parmetros como
param
Paso 2: Generar un archivo *.zpl Segundo definir las
variables:
Podemos definir nuestras variables: Enteras := integer
Binarias:= Binary Positivas:= >=0
Paso 2: Generar un archivo *.zplFuncin Objetivo:
Paso 2: Generar un archivo *.zplRestricciones
Nombre de la restriccin
Paso 2: Generar un archivo *.zplRestricciones
Paso 2: Generar un archivo *.zpl Ahora que tenemos nuestro
archivo listo, lo guardamos con extensin *.zpl. Por ejemplo,
dieta.zpl
Paso 3: Compilar Abrir el programa:
scip-1.1.0.mingw32_nt5.1.x86.gnu.opt.spx
Paso 3: Compilar Escribir el comando read acompaado del nombre
del archivo que tenemos nuestro problema:
Paso 4: ResolverLlamar al comando optimize
Paso 5: Ver la solucinPara ver la solucin, llamamos al comando:
display sol
Paso 5: Ver la solucin Las variables omitidas en el informe
valen cero.
Qu pasa si .? Tenemos una restriccin que dependa de 3 ndices:
Por ejemplo:
Para mayor informacin revisar el manual ZIMPL que est en la
carpeta *.rar.
