Encoding wst.2.dlv

Name	wst.2.dlv
Class Tree	[Root] Unclassified (114) WeightedSpanningTree (3)
Submitter	Martin Gebser
Author
Description	Encoding based on a spanning tree encoding in my diploma thesis.
Created	2009-03-30 13:03
Modified	2008-11-29 00:10
Languages	dlv
Language Features
Compatible Instance Classes
Input Predicates
Output Predicates
Encoding Parameter
Standalone	No
Tags
Attributes
Content	# by Wolfgang Faber # based on a spanning tree encoding in my diploma thesis wstedge(X,Y) :- reached(X), not differently_reached(Y,X), edge(X,Y). vtx_outgoing(X) :- edge(X,_). root(X) v nroot(X) :- vtx_outgoing(X). :- #count{X:root(X)} < 1. :- #count{X:root(X)} > 1. :- vtx(X), not reached(X). reached(X) :- root(X). reached(X) :- wstedge(Y,X). differently_reached(Y,X) :- root(Y), edge(X,Y). differently_reached(Y,X) :- wstedge(Z,Y), Z != X, edge(X,Y). :- vtx(X), #sum{ W,Y: wstedge(X,Y), wtedge(X,Y,W) } > D, bound(D).

Actions