Encoding wbds_decision.gringo

Name	wbds_decision.gringo
Class Tree	[Root] Unclassified (114) WeightBoundedDominatingSetSuite (4)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	A Gringo encoding of the Weight-Bounded Dominating Set problem.
Created	2009-03-10 14:13
Modified	2009-03-10 14:26
Languages	Gringo 2.0.2
Language Features	Cardinality constraints Choice rules Weight constraints
Compatible Instance Classes	WeightBoundedDominatingSetSuite
Input Predicates	bound/1 edge/2 edgewt/3 minweight/1 vtx/1
Output Predicates	in/1
Encoding Parameter
Standalone	No
Tags	ASP Contest 09 (Martin Gebser)
Attributes
Content	{ in(X) } :- vtx(X). :- not inneighbor(X), not in(X), vtx(X). inneighbor(X) :- W [ in(Y) : edgewt(Y,X,WE) : edge(Y,X) = WE ], minweight(W), vtx(X). inneighbor(X) :- W [ in(Y) : edgewt(X,Y,WE) : edge(X,Y) = WE ], minweight(W), vtx(X). % the size of the dominating set is at most k :- K+1 { in(X) : vtx(X) }, bound(K). #hide. #show in(X).

Actions