author | Alpar Juttner <alpar@cs.elte.hu> |
Sun, 05 Dec 2010 17:35:23 +0100 | |
changeset 2 | 4c8956a7bdf4 |
permissions | -rw-r--r-- |
1 /* dragon.dat, a hard Paint-By-Numbers puzzle */
3 /* To reduce the solution time the clique cuts may be used. */
5 data;
7 param m := 20;
9 param n := 20;
11 param row : 1 2 3 4 5 :=
12 1 7 1 . . .
13 2 1 1 2 . .
14 3 2 1 2 . .
15 4 1 2 2 . .
16 5 4 2 3 . .
17 6 3 1 4 . .
18 7 3 1 3 . .
19 8 2 1 4 . .
20 9 2 9 . . .
21 10 2 1 5 . .
22 11 2 7 . . .
23 12 14 . . . .
24 13 8 2 . . .
25 14 6 2 2 . .
26 15 2 8 1 3 .
27 16 1 5 5 2 .
28 17 1 3 2 4 1
29 18 3 1 2 4 1
30 19 1 1 3 1 3
31 20 2 1 1 2 . ;
33 param col : 1 2 3 4 5 :=
34 1 1 1 1 2 .
35 2 3 1 2 1 1
36 3 1 4 2 1 1
37 4 1 3 2 4 .
38 5 1 4 6 1 .
39 6 1 11 1 . .
40 7 5 1 6 2 .
41 8 14 . . . .
42 9 7 2 . . .
43 10 7 2 . . .
44 11 6 1 1 . .
45 12 9 2 . . .
46 13 3 1 1 1 .
47 14 3 1 3 . .
48 15 2 1 3 . .
49 16 2 1 5 . .
50 17 3 2 2 . .
51 18 3 3 2 . .
52 19 2 3 2 . .
53 20 2 6 . . . ;
55 end;