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