# OJO!!
# todavia no anda. creo que hay problemas con la funcion vabs()

# n es la cantidad de vertices
param n:=5;
# V es el conjunto de vertices
set V:={1 to n};
# x[i] es el color que tiene el vertice i
var x[V] integer >=0 <=n-1;
# k es una variable auxiliar que representa la cantidad de colores
var k integer >=0 <=n-1;
# a es la matriz de adyacencia
param a[V*V]:=
  |1,2,3,4,5|
|1|0,1,0,0,0|
|2|1,0,1,0,0|
|3|0,1,0,1,0|
|4|0,0,1,0,1|
|5|0,0,0,1,0|;
#param a[V*V]:=
  #|1,2,3,4,5|
#|1|0,1,1,1,1|
#|2|1,0,1,1,1|
#|3|1,1,0,1,1|
#|4|1,1,1,0,1|
#|5|1,1,1,1,0|;

# minimizamos la cantidad de colores
minimize fobj: k+1;
# sujeto a que estoy usando menos que k colores
subto ccol: forall <i> in V: k-x[i]>=0;
# y a que es un coloreo valido
subto valido: forall <i,j> in V*V with a[i,j]==1 and i<j :
				  vabs(x[i]-x[j])>=1;