Encoding bst.2.dlv

Name	bst.2.dlv
Class Tree	[Root] Unclassified (114) BoundedSpanningTree (7)
Submitter	Martin Gebser
Author
Description	Alternative encoding for BST, based on an encoding from my (W. Faber's) 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	st(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) :- st(Y,X). differently_reached(Y,X) :- root(Y), edge(X,Y). differently_reached(Y,X) :- st(Z,Y), Z != X, edge(X,Y). :- vtx(X), #count{ Y: st(X,Y) } > D, bound(D).

Actions