求数独答案

求数独答案~

　　7 8 6 5 1 4 3 2 9
　　2 4 9 3 7 6 5 8 1
　　1 5 3 2 8 9 4 7 6
　　4 6 5 1 3 7 8 9 2
　　8 3 1 9 5 2 6 4 7
　　9 2 7 6 4 8 1 5 3
　　5 1 4 7 9 3 2 6 8
　　6 9 8 4 2 1 7 3 5
　　3 7 2 8 6 5 9 1 4

　　附解题程序代码
　　program zk;{20:16 -22:12}
　　const n=9;
　　var
　　i,j,a,b,c,t,p:longint;
　　map:array [1..9,1..9] of longint;
　　hang,lie,gong:array [1..9,1..9] of boolean;
　　h,l,g:array [1..9] of longint;
　　ok:boolean;
　　wei:array [1..9,1..9] of longint=((1,1,1,2,2,2,3,3,3),(1,1,1,2,2,2,3,3,3),(1,1,1,2,2,2,3,3,3),(4,4,4,5,5,5,6,6,6),(4,4,4,5,5,5,6,6,6),(4,4,4,5,5,5,6,6,6),(7,7,7,8,8,8,9,9,9),(7,7,7,8,8,8,9,9,9),(7,7,7,8,8,8,9,9,9));
　　lin,lll:array [1..10] of longint;
　　procedure print;
　　var
　　a,b:longint;
　　begin
　　for a:=1 to 9 do
　　begin
　　for b:=1 to 9 do
　　write(map[a,b],' ');
　　writeln;
　　end;
　　end;

　　procedure sou(k,z:longint);
　　var
　　s:longint;
　　begin
　　if z=10 then begin inc(k); z:=1; end;
　　if (k=10) and (z=1) then begin print; ok:=true; exit; end;
　　if k=10 then exit;
　　if map[lin[k],lll[z]]=0
　　then
　　for s:=1 to 9 do
　　if (hang[lin[k],s]=false) and (gong[wei[lin[k],lll[z]],s]=false) and (lie[lll[z],s]=false) then
　　begin
　　map[lin[k],lll[z]]:=s;
　　hang[lin[k],s]:=true; lie[lll[z],s]:=true; gong[wei[lin[k],lll[z]],s]:=true;
　　sou(k,z+1);
　　if ok then exit;
　　hang[lin[k],s]:=false; lie[lll[z],s]:=false; gong[wei[lin[k],lll[z]],s]:=false;
　　map[lin[k],lll[z]]:=0;
　　end else
　　else sou(k,z+1);
　　end;


　　begin
　　assign(input,'sudoku.in');
　　assign(output,'sudoku.out');
　　reset(input);
　　rewrite(output);
　　readln(t);
　　for p:=1 to t do
　　begin
　　for i:=1 to 9 do
　　begin
　　lin[i]:=i;
　　lll[i]:=i;
　　end;
　　fillchar(hang,sizeof(hang),false);
　　fillchar(lie,sizeof(lie),false);
　　fillchar(gong,sizeof(gong),false);
　　fillchar(h,sizeof(h),0);
　　fillchar(l,sizeof(l),0);
　　fillchar(g,sizeof(g),0);
　　ok:=false;
　　for i:=1 to 9 do
　　begin
　　for j:=1 to 9 do
　　begin
　　read(map[i,j]);
　　if map[i,j]0 then
　　begin
　　hang[i,map[i,j]]:=true; inc(h[i]);
　　lie[j,map[i,j]]:=true; inc(l[j]);
　　gong[wei[i,j],map[i,j]]:=true; inc(g[wei[i,j]]);
　　end;
　　end;
　　readln;
　　end;
　　for i:=1 to n do
　　for j:=i to n do
　　if h[i]<h[j] then
　　begin
　　c:=h[i]; h[i]:=h[j]; h[j]:=c;
　　c:=lin[i]; lin[i]:=lin[j]; lin[j]:=c;
　　end;
　　for i:=1 to n do
　　for j:=i to n do
　　if l[i]<l[j] then
　　begin
　　c:=l[i]; l[i]:=l[j]; l[j]:=c;
　　c:=lll[i]; lll[i]:=lll[j]; lll[j]:=c;
　　end;
　　sou(1,1);
　　end;
　　close(output);
　　close(input);
　　end.

在1列,有数对46去除本列包含该数对数字的候选数
在第一排第3个方框,有隐形数对27,去除本方框包含该数对数字的候选数
在7列,有数对27去除本列包含该数对数字的候选数
排除法（非逻辑算法）:[A,1]不能是数字7，[A,1]=1 //关键是这一步。。。
在第一排第2方框,[B,4] 的候选数1是该方框唯一候选数
在第二排第1方框,[D,2] 的候选数1是该方框唯一候选数
在第二排第1方框,[F,2] 的候选数2是该方框唯一候选数
在B行,[B,3] 的候选数5是该行唯一候选数
[C,1]=7,
[C,7]=2,
[C,5]=3
[D,1]=5,
[D,5]=2,
[D,4]=3,
[D,7]=6,
[F,6]=4,
[E,6]=5,
[C,6]=6,
[A,6]=2,
[A,4]=4,
[A,2]=6,
[B,2]=8,
[B,7]=3,
[C,3]=4,
[C,9]=8,
[F,1]=6,
[F,7]=8,
[E,8]=7,
[D,8]=9,
[F,8]=3,

完成。。。


163 482 759
285 179 346
794 536 218

517 328 694
348 965 172
629 714 835

972 651 483
436 897 521
851 243 967

前面已经回答过了，见参考资料

直观法可解
152 937 648
789 146 235
463 852 917

624 385 791
837 691 524
591 274 386

375 419 862
946 728 153
218 563 479

*-----------------------------------------------*
| 1 5 2| 9 3 7| 6 4 8|
| 7 8 9| 1 4 6| 2 3 5|
| 4 6 3| 8 5 2| 9 1 7|
|--------------+-------------+--------------|
| 6 2 4| 3 8 5| 7 9 1|
| 8 3 7| 6 9 1| 5 2 4|
| 5 9 1| 2 7 4| 3 8 6|
|--------------+-------------+--------------|
| 3 7 5| 4 1 9| 8 6 2|
| 9 4 6| 7 2 8| 1 5 3|
| 2 1 8| 5 6 3| 4 7 9|
*-----------------------------------------------*

---

求数独答案视频