Merge pull request #3 from emyesme/emily

actualizacion final

Author: emyesme

README.md

@@ -3,9 +3,13 @@ CSP final project
 
 ## Estudiantes
 
-Jaime Cuartas Granada
+Jaime Cuartas Granada, 
 Emily Esmeralda Carvajal Camelo
 
+## Nota
+
+El minizinc en esta aplicación utiliza el solver Chuffed
+
 ## Instrucciones
 
 Para poder ejecutar este proyecto es necesario tener en su computador docker y docker-compose
@@ -34,7 +38,71 @@ Una vez iniciado el docker puede acceder a la aplicación a través del
 
 `localhost:8000`
 
+## Contenido de la carpeta
+
+La carpeta contiene 3 subdirectorios principales, uno con el back de la aplicación, otro con el front llamado front-minizinc y un directorio ejemplos, con ejemplos para correr la aplicación, al mismo nivel del README.md encontrará el informe en pdf del projecto.
+
+El directorio back contiene 2 subdirectorios, un directorio minizinc, con los modelos y un directorio upload donde en cada ejecución se guardarán los datos ingresados temp.dzn y la solución del mismo output.txt, si ejecutó el modelo. 
+
+El directorio front-minizinc contiene la estructura normal de un proyecto en react, en donde se puede tener acceso al codigo de la aplicación desde src/App.js.
+
+```
+.
+├── back
+│   ├── api.py
+│   ├── Dockerfile
+│   ├── minizinc
+│   │   ├── DesenfrenoDePasiones1.mzn
+│   │   └── DesenfrenoDePasiones2.mzn
+│   └── upload
+│       ├── output.txt
+│       └── temp.dzn
+├── docker-compose.yml
+├── ejemplos
+│   ├── Desenfreno1.dzn
+│   ├── Desenfreno2.dzn
+│   ├── Med1-1.dzn
+│   ├── Med1-2.dzn
+│   ├── Med1-3.dzn
+│   ├── Med1-4.dzn
+│   ├── Med2-1.dzn
+│   ├── Med2-2.dzn
+│   ├── Med2-3.dzn
+│   ├── Med2-4.dzn
+│   ├── Med2-5.dzn
+│   ├── Propia1-1.dzn
+│   ├── Propia1-2.dzn
+│   ├── Trivial1.dzn
+│   └── Trivial2.dzn
+├── front-minizinc
+│   ├── Dockerfile
+│   ├── package.json
+│   ├── package-lock.json
+│   ├── public
+│   │   ├── favicon.svg
+│   │   ├── f.jpg
+│   │   ├── index.html
+│   │   ├── logo192.png
+│   │   ├── manifest.json
+│   │   └── robots.txt
+│   ├── README.md
+│   └── src
+│       ├── App.css
+│       ├── App.js
+│       ├── App.test.js
+│       ├── index.css
+│       ├── index.js
+│       ├── logo.svg
+│       ├── serviceWorker.js
+│       └── setupTests.js
+├── informe.pdf
+└── README.md
+
+```
+
 Dato curioso, encontrará acceso al api a través del puerto `5000`.
 
 
 
+
+

back/minizinc/DesenfrenoDePasiones1.mzn

@@ -4,12 +4,12 @@
 % Emily Esmeralda Carvajal Camelo 1630436
 % Desenfreno de Pasiones
 include "globals.mzn";
+
+
 enum ACTORES;
 array[ACTORES, int] of int: Escenas;
 int: nEscenas=length(row(Escenas,1))-1;
 array[1..nEscenas] of int: Duracion;
-%array[int,1..2] of int: Disponibilidad;
-%array[int,1..2] of ACTORES: Evitar;
 
 % asserts
 
@@ -25,7 +25,6 @@ constraint assert(forall(i in index_set(Duracion))
                   (forall (j in col(Escenas,i))(j = 0 \/ j = 1)),
                   "Algun valor es invalido en la matriz Escenas");
 
-%faltan asserts de disponibilidad y evitar%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 % Dado un actor retorna el costo del actor por las escenas en que participa
 array[ACTORES] of int: Costo = [Escenas[x,nEscenas+1] | x in ACTORES];
@@ -48,63 +47,17 @@ var int : costo = (sum(j in ACTORES)(
                               PosicionDeEscena[i] <= ultima
                            then Duracion[i]
                            else 0
-                           endif)) * Costo[j]));
-  
-% Dado un actor suma los costos por las escenas en que esta                         
-array[ACTORES] of var int : TiempoDe = [(
-                       let {
-                         var int: primera = min([PosicionDeEscena[e] | e in EscenaDe[j]]);
-                         var int: ultima = max([PosicionDeEscena[e] | e in EscenaDe[j]]);
-                       }
-                       in
-                      (sum(i in 1..nEscenas)
-                          (if PosicionDeEscena[i] >= primera
-                              /\
-                              PosicionDeEscena[i] <= ultima
-                           then Duracion[i]
-                           else 0
-                           endif))) | j in ACTORES];                           
-
-%Suma la duracion de las escenas en que dos actores que estan en la lista evitar se encuentran en el mismo momento en el set                     
-%var int: evitar = (sum(j in 1..length(col(Evitar,1)))(
-%                      let {
-%                           set of int: a = EscenaDe[row(Evitar,j)[1]];
-%                           set of int: b = EscenaDe[row(Evitar,j)[2]];
-%                           var int: primera = (if sum(a intersect b) != 0
-%                                               then min([PosicionDeEscena[e] | e in a intersect b])
-%                                               else 0
-%                                               endif);
-%                           var int: ultima = (if primera != 0
-%                                              then min([max([PosicionDeEscena[e] | e in a]),
-%                                                        max([PosicionDeEscena[e] | e in b])])
-%                                              else -1
-%                                              endif);
-%                     }
-%                     in
-%                     (sum(i in 1..nEscenas)
-%                          (if PosicionDeEscena[i] >= primera
-%                              /\
-%                              PosicionDeEscena[i] <= ultima
-%                           then Duracion[i]
-%                           else 0
-%                           endif))));
-                                   
+                           endif)) * Costo[j]));                       
+                                
 % Restricciones
 
 constraint all_different(PosicionDeEscena);
 
-%constraint forall(i in 1..length(col(Disponibilidad,1)))
-%                  (if row(Disponibilidad,i)[2] = 0
-%                  then TiempoDe[ACTORES[row(Disponibilidad,i)[1]]] > row(Disponibilidad,i)[2]
-%                  else TiempoDe[ACTORES[row(Disponibilidad,i)[1]]] <= row(Disponibilidad,i)[2]
-%                  endif);
-
-
-%solve satisfy;
+% solver
 
 solve minimize costo;
 
-%salida
+% salida
 
-output ["[ "]++["\(p) " | p in arg_sort(PosicionDeEscena)]++["]"]++["Costo: \(costo) \n"];
+output ["[ "]++["\(p) " | p in arg_sort(PosicionDeEscena)]++["]\n"]++["Costo: \(costo) \n"];
 %output["Costo: \(costo) \n"];

back/minizinc/DesenfrenoDePasiones2.mzn

@@ -3,7 +3,9 @@
 % Jaime Cuartas Granada 1632664
 % Emily Esmeralda Carvajal Camelo 1630436
 % Desenfreno de Pasiones
+
 include "globals.mzn";
+
 enum ACTORES;
 array[ACTORES, int] of int: Escenas;
 int: nEscenas=length(row(Escenas,1))-1;
@@ -24,8 +26,7 @@ constraint assert(forall(d in Duracion)(d > 0),
 constraint assert(forall(i in index_set(Duracion))
                   (forall (j in col(Escenas,i))(j = 0 \/ j = 1)),
                   "Algun valor es invalido en la matriz Escenas");
-                  
-%faltan asserts de disponibilidad y evitar%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 
 % Dado un actor retorna el costo del actor por las escenas en que participa
 array[ACTORES] of int: Costo = [Escenas[x,nEscenas+1] | x in ACTORES];
@@ -99,8 +100,7 @@ constraint forall(i in 1..length(col(Disponibilidad,1)))
                   else TiempoDe[ACTORES[row(Disponibilidad,i)[1]]] <= row(Disponibilidad,i)[2]
                   endif);
 
-
-%solve satisfy;
+%solver
 
 solve minimize 9*costo + evitar;
 

back/upload/output.txt

@@ -1,5 +1,5 @@
-[ 5 1 2 6 4 3 ]
-Tiempo compartido: 5
-Costo: 450 
+[ 1 5 8 6 4 3 9 2 7 ]
+Tiempo compartido: 11
+Costo: 729 
 ----------
-=======
+==========

back/upload/temp.dzn

@@ -1,25 +1,33 @@
-ACTORES = {Actor1, Actor2, Actor3, Actor4} ;
+ACTORES = {Actor1, Actor2, Actor3, Actor4, Actor5, Actor6} ;
 
-Escenas = [| 1,1,0,0,0,0,10
-           | 0,1,1,1,0,1,20
-           | 0,0,0,0,1,1,15
-           | 1,1,0,0,1,1,13|]; 
+Escenas = [| 0,1,0,0,0,0,1,0,0,10
+           | 0,1,1,1,0,1,1,1,1,20
+           | 1,1,1,1,0,1,0,0,1,5
+           | 0,1,1,1,0,0,1,1,1,5
+           | 1,0,0,0,1,1,0,0,0,15
+           | 0,0,0,0,1,0,0,1,0,19|]; 
 
-Duracion = [2,1,1,1,3,4];
+           
+Duracion = [2,1,1,1,3,4,2,3,1];
+
 
-Disponibilidad =[|Actor1, 5
-                 |Actor2, 8
-                 |Actor3, 0
-                 |Actor4, 10|];
+Disponibilidad =[|Actor1, 15
+                 |Actor2, 15
+                 |Actor3, 16
+                 |Actor4, 17
+                 |Actor5, 12
+                 |Actor6, 0|];
 
 Evitar =[|Actor1, Actor2
-         |Actor2, Actor3|];
-         
+         |Actor2, Actor3
+         |Actor4, Actor5
+         |Actor1, Actor6|];
 
-%Orden de las Escenas: [4, 3, 6, 2, 1, 5]
-%Costo: 450
-%Tiempo Compartido: 6
-%----------
-%==========
-%Finished in 140msec
+% Ejecución con Gecode
 
+% Orden de las Escenas: [1, 5, 8, 6, 9, 4, 3, 2, 7]
+% Costo: 729
+% Tiempo Compartido: 21
+% ----------
+% ==========
+% Finished in 1m 46s