8. -4.2- ソースの説明 辺
Node n1
one sig Links{
link:Node-> set Node,
ans{(n1,n2)} link{(n1,n2)}
ans:Node-> set Node
}
Link が初期状態に与えられる辺
Node n2
ans が答えを示す辺
それぞれNode1とNode2を繋ぐ
13. -5.2- 制約を与える
one n.(ans) and one n[ans] 頂点からは2つしか辺が出ない制約
ans in link ansの辺はlinkの辺の中に含まれているという制約
not n.(ans)=n[ans] 自分から自分への辺は存在しない制約
*link=*ans 閉路に存在する頂点が初期状態に存在する頂点数内に存在する制約