次を生成するルールがあります
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 = 2 点目の x 座標
- y2 = 2 点目の y 座標
これらのルートが交差しないように制約を書きたいのですが、この問題へのアプローチ方法がわかりません。この件で何か助けていただければ幸いです。