Encoding graph_colouring.enc.asp

Name	graph_colouring.enc.asp
Class Tree	[Root] Graph Problems (32) Coloring (3) 3D ASP Competition (1)
Submitter	Barbara Nardi
Author	Yuliya Lierler and Marcello Balduccini
Description
Created	2012-04-11 15:36
Modified	2012-04-11 18:30
Languages	ASP-Core
Language Features	Disjunction
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% Guess colours. chosenColour(N,C) \| notChosenColour(N,C) :- node(N), colour(C). % At least one color per node. :- node(X), not colored(X). colored(X) :- chosenColour(X,Fv1). % Only one color per node. :- chosenColour(N,C1), chosenColour(N,C2), C1!=C2. % No two adjacent nodes have the same colour. :- link(X,Y), X<Y, chosenColour(X,C), chosenColour(Y,C).

Actions