Encoding tsp_opt.lp

Name	tsp_opt.lp
Class Tree	[Root] Miscellaneous (45) ASP Contest 09 (45) Verification and Evaluation Encodings and Tools (38)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description
Created	2009-03-13 21:35
Modified	2009-03-13 21:35
Languages
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	:- cycle(X,Y), not edge(X,Y), not edge(Y,X). :- cycle(X,Y), cycle(X,Z), Y != Z. reached(X) :- bound(X). reached(Y) :- reached(X), cycle(X,Y). :- vtx(X), not reached(X). cost(X,Y,C) :- edgewt(X,Y,C). cost(X,Y,C) :- edgewt(Y,X,C), { edgewt(X,Y,D) : edgewt(X,Y,D) } 0. quality(Q) :- Q = sum [ cycle(X,Y) : cost(X,Y,C) = C ]. :- quality(Q), maxweight(W), Q > W. #hide. #show quality(Q).

Actions