Clingo答案集编程线交点

Question

我有一个规则，它生成以下内容

route(5,1,5,3) 
route(5,2,5,3) 
route(5,3,5,3) 
route(3,1,3,1) 
route(2,3,5,3) 
route(3,3,5,3) 
route(4,3,5,3) 
route(4,1,3,1) 
route(5,1,3,1) 
route(3,2,3,1) 
route(3,3,3,1) 
route(3,4,3,1) 
route(3,5,3,1)

以下部分是一条从5点1开始到5点3点结束的路线

route(5,1,5,3) 
route(5,2,5,3) 
route(5,3,5,3)

路线(x1，y1，x2，y2)

• x1 =x坐标第一点的
• y1=y第一点的坐标
• x2=x坐标第二点的
• y2=y坐标第二点的

F 211

我想写一个约束，这样这些路线就不会互相交叉，但我不知道如何处理这个问题。我希望在这件事上有任何帮助。

Answer 1

我用下面的规则来防止穿越路线。

(X',Y') = (X'',Y'') :- route(X,Y,X',Y'), route(X,Y,X'',Y'').