【转载】SUDOKU 游戏的GAMS 版本

huashi3483

随便发一个sudoku的gams代码。最主要的是请大家理解set 里面mapping 的写法。
Sets  r  rows    / r1*r9 /
( }. D" m& \0 j0 U- x      c  columns / c1*c9 /
" l& b5 m! q! m+ z+ [      b  blocks  / b1*b9 /
; G; e& b% B2 ?  J      v  values  / v1*v9 /
" g1 b* h, W2 t2 E" O# V      br(b,r)    /  b1*b3    .r1*r3,  b4*b6    .r4*r6,  b7*b9    .r7*r9 /
      bc(b,c)    / (b1,b4,b7).c1*c3, (b2,b5,b8).c4*c6, (b3,b6,b9).c7*c9 /
      brc(b,r,c) block definitions ;
2 ?& t! B* m2 e, `  x) H3 [
% `/ c  U3 [6 ^( r  Bbrc(b,r,c) = br(b,r)*bc(b,c);

9 U8 ^: }$ k) ^' |Table problem(r,c) Hard problem with non-unique solution
9 G! [! c& W1 H5 k) k    c1   c2   c3   c4   c5   c6   c7   c8   c9
r1   2              6    7
1 c- N% @3 ]" Q6 dr2            6                    2
3 }2 ~) T$ j# L3 b8 Xr3   4                             8         1
r4   5                        9    3
4 O: J: }7 {2 F# ^2 d7 @& A2 nr5        3                             5
; r* c9 A3 [" J$ qr6             2    8                        7
7 F8 t# p; @, t+ H, zr7             1
r8   7         8                   6
r9                       5    3              8 ;
/ H5 Z' G0 a* L. D) R
( d9 K4 [% P# Y/ K6 P2 m8 C' p
Binary Variable X(r,c,v) assign value to cell (defined by row and column);
Variable        W        objectiv value - anything;

- g1 F. O, w9 b! t, f; Y5 W( G' b7 Yequations eq1(r,c) exactly one value for each cell
          eq2(c,v) column entries have to be unique
          eq3(r,v) row entries have to be unique
          eq4(b,v) block entries have to be unique
          nobj     definition of objective - anything;

+ ~7 e( p, `5 v6 xX.fx(r,c,v)$(problem(r,c)=ord(v)) = 1;

eq1(r,c).. sum(v, X(r,c,v))          =E= 1;
eq2(c,v).. sum(r, X(r,c,v))          =E= 1;
% k6 _4 f9 }- g% Neq3(r,v).. sum(c, X(r,c,v))          =E= 1;
eq4(b,v).. sum(brc(b,r,c), X(r,c,v)) =E= 1;
nobj..     W =E= sum((r,c,v), X(r,c,v));

model sudoku / all /;
) p: c" o2 N8 D  z* Y4 t
4 w7 ?: A3 s: T+ ~+ ?& d$ @$ ?" ~; p5 X9 z7 ~solve sudoku minimizing w using mip;
# _  Y% m+ |1 a8 v4 R. r, q1 I% q最后说一句，其实这个模型不用求什么最大还是最小值，只要得到一个满足所有constraints的feasible solution 就可以了，所以nobj的注释写的"anything"。