(!**************************************************************** CP example problems =================== file eulerkn3.mos ````````````````` Euler knight problem. Finding a tour on a chess-board for a knight figure, such that the knight moves through every cell exactly once and returns to its origin. - Alternative implementation using a 'cycle' constraint - (c) 2008 Artelys S.A. and Fair Isaac Corporation Creation: 2007, rev. Mar. 2013 *****************************************************************!) model "Euler Knight Moves" uses "kalis" parameters S = 8 ! Number of rows/columns NBSOL = 1 ! Number of solutions sought end-parameters forward procedure calculate_successors(p: integer) forward procedure print_solution(sol: integer) N:= S * S ! Total number of cells setparam("KALIS_DEFAULT_LB", 0) setparam("KALIS_DEFAULT_UB", N) declarations PATH = 0..N-1 ! Cells on the chessboard succ: array(PATH) of cpvar ! Successor of cell p end-declarations ! Calculate set of possible successors forall(p in PATH) calculate_successors(p) ! Each cell is visited once, no subtours cycle(succ) ! Search for up to NBSOL solutions solct:= 0 while (solct<NBSOL and do solct+=1 cp_show_stats end-do Calculate possible successors procedure declarations SuccSet: set of integer Set end-declarations xp :=p div S yp mod in xq yq delta_x delta_y if (delta_x<=2) (delta_y<=2) (delta_x+delta_y=3) then SuccSet +={q} end-if end-procedure Solution printing writeln("Solution=", sol, " thispos:=0 nextpos:=getval(succ(0)) ct:=1 while>0) do
   write(thispos, if(ct mod 10 = 0, "\n ", ""), " -> ") 
   val:=getval(succ(thispos))
   thispos:=nextpos
   nextpos:=getval(succ(thispos))
   ct+=1
  end-do
  writeln("0")
 end-procedure

end-model