set G:= 6 7 8 9; # Conjunto de grados. set C:= A ; # Conjunto de cursos. set M:= NAT BIO QUI FIS SOC ECO POL FIL PAZ REL ETC ART EDF INF LEC LEN ING MAT GEO EST; # Conjunto de materias. set H:= 1 2 3 4 5 6 7 8; # Conjunto de horas de un dia de clase. set D:= lu ma mi ju vi; # Conjunto de dias de una semana de clase. set P:= PP PS PT Ing1 Ing2 Mat1 Mat2 Mat3 Mat4 Len1 Len2 Len3 Inf1 Soc1 Soc2 Nat1 Nat2 EdF1; # Conjunto de profesores. set Cg[6]:= A ; set Cg[7]:= A; set Cg[8]:= A; set Cg[9]:= A; set Hg[6]:= 1 2 3 4 5 6 7 ; set Hg[7]:= 1 2 3 4 5 6 7 8; set Hg[8]:= 1 2 3 4 5 6 7 8; set Hg[9]:= 1 2 3 4 5 6 7 8; set Mg[6]:= BIO QUI SOC REL ETC ART EDF INF LEC LEN ING MAT GEO EST ; set Mg[7]:= BIO QUI FIS SOC PAZ REL ETC ART EDF INF LEC LEN ING MAT GEO EST ; set Mg[8]:= BIO QUI FIS SOC PAZ REL ETC ART EDF INF LEC LEN ING MAT GEO EST ; set Mg[9]:= BIO QUI FIS SOC PAZ REL ETC ART EDF INF LEC LEN ING MAT GEO EST ; param pmp (tr): /*materias que puede dar el profesor p*/ PP PS PT Ing1 Ing2 Mat1 Mat2 Mat3 Mat4 Len1 Len2 Len3 Inf1 Soc1 Soc2 Nat1 Nat2 EdF1:= NAT 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 BIO 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 QUI 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 FIS 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 SOC 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 ECO 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 POL 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 FIL 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 PAZ 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 REL 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 ETC 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 ART 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 EDF 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 INF 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 LEC 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 LEN 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 ING 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 MAT 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 GEO 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 EST 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0; param HReqxm: NAT BIO QUI FIS SOC ECO POL FIL PAZ REL ETC ART EDF INF LEC LEN ING MAT GEO EST:= 6 0 3 1 0 5 0 0 0 0 1 3 2 2 1 3 3 4 5 1 1 7 0 4 1 1 5 0 0 0 1 1 2 1 2 3 3 5 4 5 1 1 8 0 3 1 1 4 0 0 0 2 1 2 1 2 2 3 5 5 5 2 1 9 0 3 1 1 4 0 0 0 1 2 2 2 2 3 3 4 4 6 1 1; param GP: /*profesores que pueden dar clase en el grado i*/ 6 7 8 9:= PP 0 0 0 0 PS 0 0 0 0 PT 0 0 0 0 Ing1 0 0 0 0 Ing2 1 1 1 1 Mat1 0 0 0 0 Mat2 0 0 0 1 Mat3 0 1 1 1 Mat4 1 1 0 0 Len1 0 0 0 0 Len2 1 1 1 0 Len3 0 0 0 1 Inf1 1 1 1 1 Soc1 1 1 1 1 Soc2 0 1 1 1 Nat1 0 1 0 0 Nat2 1 0 1 1 EdF1 1 1 1 1;