Encoding dlv encoding

Name	dlv encoding
Class Tree	[Root] Graph Problems (32) Hamilton (17) HamiltonianPath (5)
Submitter	Martin Gebser
Author	n/a
Description	dlv encoding of Hamiltonian Path
Created	2009-03-30 13:03
Modified	2009-03-09 20:39
Languages	dlv
Language Features
Compatible Instance Classes	HamiltonianPath
Input Predicates	edge/2 start/1 vtx/1
Output Predicates	inPath/2
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% Like hampath, but with domain predicates inside the constraints and % the reached rule. inPath(X,Y) :- not outPath(X,Y), start(X), edge(X,Y). outPath(X,Y) :- not inPath(X,Y), start(X), edge(X,Y). inPath(X,Y) :- not outPath(X,Y), reached(X), edge(X,Y). outPath(X,Y) :- not inPath(X,Y), reached(X), edge(X,Y). :- inPath(X,Y), inPath(X,Y1), Y != Y1. :- inPath(X,Y), inPath(X1,Y), X != X1. :- vtx(X), not reached(X), not start(X). reached(X) :- inPath(Dummy,X).

Actions