Encoding dominating-set.lparse

Name	dominating-set.lparse
Class Tree	[Root] Unclassified (114) WeightBoundedDominatingSetSuite (4)
Submitter	Martin Gebser
Author	Lengning Liu and Miroslaw Truszczynski
Description	Authors: Lengning Liu and Miroslaw Truszczynski Affiliation: University of Kentucky Email: {lliu1, mirek}@cs.uky.edu
Created	2009-03-30 13:03
Modified	2009-03-10 14:09
Languages	lparse
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
Attributes
Content	{ in(X) } :- vtx(X). :- not inneighbor(X), not in(X), vtx(X). %inneighbor(X) :- W [ in(Y) : edge(Y, X) = weight(edgewt(Y, X)) ], minweight(W), vtx(X). %inneighbor(X) :- W [ in(Y) : edge(X, Y) = weight(edgewt(X, Y)) ], minweight(W), 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).

Actions