Skip to content

Commit

Permalink
assig5
Browse files Browse the repository at this point in the history
  • Loading branch information
CarlsonZhuo committed Oct 12, 2016
1 parent 21189c7 commit a6eaccb
Show file tree
Hide file tree
Showing 14 changed files with 1,040 additions and 0 deletions.
10 changes: 10 additions & 0 deletions to_jin/_coursera
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
-zFiFHvFEeaKXRKaKDVZfw
To Jin
5
puuLD, to_jin.mzn, ./data/to_jin_0.dzn, 60, To Jin 1
KV1ju, to_jin.mzn, ./data/to_jin_1.dzn, 60, To Jin 2
1jMof, to_jin.mzn, ./data/to_jin_2.dzn, 60, To Jin 3
oP3LI, to_jin.mzn, ./data/to_jin_3.dzn, 600, To Jin 4
nSb44, to_jin.mzn, ./data/to_jin_12.dzn,200, To Jin 5
1
7BiwI, to_jin.mzn, To Jin Model
31 changes: 31 additions & 0 deletions to_jin/data/to_jin_0.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
nrow = 5;
ncol = 5;

start_row = 5;
start_col = 5;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 8;

terrain = [| P, P, P, P, M
| P, C, M, P, P
| P, P, C, P, P
| P, R, P, C, F
| M, R, F, P, P |];


Jin = [| true, true, true, false, false
| true, false, false, false, false
| true, false, false, false, false
| false, false, false, false, false
| false, false, false, false, false |];


soldier = [| 3,1,4,8,1
| 2,1,9,5,4
| 6,1,4,8,1
| 3,1,7,1,2
| 6,1,2,4,1 |];


maxstep = 8;
31 changes: 31 additions & 0 deletions to_jin/data/to_jin_1.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
nrow = 6;
ncol = 6;

start_row = 1;
start_col = 1;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 50;

terrain = [| P, P, P, R, C, F
| P, M, M, F, M, C
| P, M, P, F, F, P
| P, M, P, M, M, C
| P, M, P, M, P, F
| P, P, P, M, P, F |];

Jin = [| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, true, false, false
| false, false, false, true, true, true |];

soldier = [| 0,0,0,0,0,0
| 0,0,0,5,0,0
| 0,0,0,0,1,0
| 0,0,0,0,0,1
| 0,0,0,0,0,0
| 0,0,0,0,0,0 |];

maxstep = 20;
37 changes: 37 additions & 0 deletions to_jin/data/to_jin_10.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
nrow = 8;
ncol = 8;

start_row = 5;
start_col = 5;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 50;

terrain = [| P, P, C, R, R, F, C, F
| P, M, M, R, M, C, M, P
| F, M, P, F, F, P, P, P
| F, M, P, M, M, R, M, F
| F, M, P, M, P, F, M, R
| P, C, P, R, P, F, M, P
| P, P, P, M, C, F, M, P
| P, P, P, M, P, P, P, P |];

Jin = [| true, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false |];

soldier = [| 0,0,0,0,0,0,4,5
| 0,0,0,5,0,0,0,1
| 0,0,0,0,1,0,1,2
| 0,0,0,0,0,1,6,1
| 0,0,5,3,0,0,2,1
| 1,4,0,9,9,8,0,1
| 4,2,0,0,0,2,3,3
| 0,0,0,0,0,0,0,0 |];

maxstep = 12;
109 changes: 109 additions & 0 deletions to_jin/data/to_jin_12.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,109 @@
nrow = 30;
ncol = 30;

start_row = 15;
start_col = 15;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 50;

terrain = [| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
| P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P, P
|];

Jin = [|
false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false
|];


soldier = [|
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
| 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
|];

maxstep = 5;
31 changes: 31 additions & 0 deletions to_jin/data/to_jin_2.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
nrow = 6;
ncol = 6;

start_row = 1;
start_col = 1;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 50;

terrain = [| P, P, P, R, C, F
| P, M, M, F, M, C
| P, M, P, F, F, P
| P, M, P, M, M, C
| P, M, P, M, P, F
| P, C, P, M, P, F |];

Jin = [| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, true, false, false
| false, false, false, true, true, true |];

soldier = [| 0,0,0,0,0,0
| 0,0,0,5,0,0
| 0,0,0,0,1,0
| 0,0,0,0,0,1
| 0,0,0,0,0,0
| 0,0,0,0,0,0 |];

maxstep = 20;
37 changes: 37 additions & 0 deletions to_jin/data/to_jin_3.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
nrow = 8;
ncol = 8;

start_row = 1;
start_col = 1;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 50;

terrain = [| P, P, P, R, C, F, F, F
| P, M, M, F, M, C, M, P
| P, M, P, F, F, P, P, P
| P, M, P, M, M, C, M, M
| P, M, P, M, P, F, R, R
| P, C, P, M, P, F, F, P
| P, P, P, M, C, F, F, P
| P, P, P, M, P, P, P, P |];

Jin = [| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, true, true, true, false, false |];

soldier = [| 0,2,3,0,0,0,4,5
| 0,0,0,5,0,0,3,6
| 0,5,0,0,1,0,1,2
| 0,0,0,0,0,1,6,1
| 0,0,5,3,0,0,2,1
| 1,4,0,0,0,8,0,1
| 4,2,0,0,0,2,3,3
| 0,0,0,0,0,0,0,0 |];

maxstep = 20;
37 changes: 37 additions & 0 deletions to_jin/data/to_jin_4.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
nrow = 8;
ncol = 8;

start_row = 1;
start_col = 1;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 25;

terrain = [| P, P, P, R, C, F, F, F
| P, M, M, F, M, C, M, P
| P, M, P, F, F, P, P, P
| P, M, P, M, M, C, M, M
| P, M, P, M, P, F, R, R
| P, C, P, R, P, F, F, P
| P, P, P, M, C, F, F, P
| P, P, P, M, P, P, P, P |];

Jin = [| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, false, false, false, false, false
| false, false, false, true, true, true, false, false |];

soldier = [| 0,2,3,0,0,0,4,5
| 0,0,0,5,0,0,3,6
| 0,5,0,0,1,0,1,2
| 0,0,0,0,0,1,6,1
| 0,0,5,3,0,0,2,1
| 1,4,0,9,9,8,0,1
| 4,2,0,0,0,2,3,3
| 0,0,0,0,0,0,0,0 |];

maxstep = 20;
31 changes: 31 additions & 0 deletions to_jin/data/to_jin_8.dzn
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
nrow = 6;
ncol = 6;

start_row = 1;
start_col = 6;

delay = [ 1, 9, 3, 1, 2 ];
timelimit = 22;

terrain = [| F, P, P, R, F, F
| P, M, M, F, M, F
| P, M, P, F, F, P
| P, R, P, M, M, F
| P, M, P, F, P, F
| P, F, P, F, P, F |];

Jin = [| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| false, false, false, false, false, false
| true, false, false, false, false, false |];

soldier = [| 1,3,4,2,1,3
| 3,1,2,5,1,3
| 1,2,4,3,1,2
| 4,3,2,1,4,1
| 1,5,0,2,4,1
| 1,1,1,0,3,7 |];

maxstep = 20;
Loading

0 comments on commit a6eaccb

Please sign in to comment.