Encoding nlp encoding

Name	nlp encoding
Class Tree	[Root] Graph Problems (32) Hamilton (17) HamiltonianPath (5)
Submitter	Martin Gebser
Author	n/a
Description	nlp encoding of Hamiltonian Path
Created	2009-03-30 13:03
Modified	2009-03-09 20:42
Languages	lparse
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	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, edge(X,Y), edge(X,Y1). :- inPath(X,Y), inPath(X1,Y), X != X1, edge(X,Y), edge(X1,Y). :- vtx(X), not reached(X), not start(X). reached(X) :- inPath(Dummy,X), edge(Dummy,X).

Actions