[Potassco-users] Graph Coloring encoding in iClingo

[James D. <cnj...@gm...>]

Hi all,

According to the "finite model computation" paper, I wrote one incremental
ASP (iclingo) program for graph coloring problem

#cumulative k.
{ color(X, k) } :- node(X).
:- color(X, C), color(X, k), node(X), C < k.
:- edge(X, Y), color(X, k), color(Y, k).

#volatile k.
:- node(X), { color(X, D) : D <= k} 0.

#base.
#show color/2.

I wonder if there is any more efficient iclingo encodings for the GC
problem.


Regards,
-- 
James Deng

Artificial Intelligence Research Group
University of Western Sydney
 <cnJ...@gm...>
http://cnjdeng.appspot.com