在Prolog的,我怎么能实现图形算法,以便找到以实现向图旅行商问题的所有路径?
例如:
graph
expected input expected output X -----> Y
start X X Y X Z Y -----> T
end Z Y T X Y Z T -----> Z
T Z X Y T Z Y -----> Z
Y Z X -----> Z
X Z
如你所知,在向图,有可能是一个循环。 然而,没有必要通过同一个点两次。
graph expected output
X ----> Y
Y ----> X X Y Z
Y ----> Z
为什么我elimineting这种情况下是因为;
output :
X Y X Y ... Z
^^^
god knows this length ( when program terminates )
termination is np problem