bzoj 2469 jzoj 2198. 【中山市选2010】简单数迷

Description

　　很多人都曾经听说过数独，但你是否听说过数谜（Karuro）呢？实际上，数谜是数独的更大（且更难）的兄弟问题，而且在日本也是非常受欢迎的。
数谜问题和填字游戏类似，不过它要填的不是文字而是数字。数谜游戏的目标是用1-9填满所有空格，且这些数字相加的和满足相应的要求（或者称为“提示”），且在同一栏（“栏”是指一些水平或者竖直的连续的空格，用于提示的格子不算空格）不能填重复的数字。当所有格子按要求被填满后，这个数谜就看作被解决了。图1和图2是一个可能的数谜游戏示例。
当然，直接求解数谜问题的话会比较困难。所以现在我们需要解决的是一个更简单的数谜问题。简单数谜的形状是一个(n+1）行乘(m+1)列的矩形。而简单数谜也只有两种要求，就是行要求和列要求，且分别处于第一行和第一列，其他格子则是空格，而左上角是忽略不计的。coolzzz同学爱好简单数谜，他已经给一些简单数谜填好了其中的一些空格。现在，他想寻求你的帮助，来帮他完成这些简单数谜。如图3所示，2和9是coolzzz同学已经填好的空格，图4则是一个基于图3 的一个可能的解答。
　　

Input

　　输入包含多组测试数据。第一行包含一个正整数T，表示测试数据数目。每组数据第一行是n(n<10)和m(m<10)，表示数谜的形状的大小。接下来一行有n个整数，是相应的行要求；然后一行是m个整数，是相应的列要求。接下来的n行每行有m个小于10的非负整数，0表示该空格还没有被填数字，其他表示coolzzz同学已经填好的数字。输入数据保证未填数字的空格不会超过16个。

Output

　　对于每组测试数据，输出若干行。如果基于coolzzz已填的结果，该数谜只有一个解，则输出该解；如果不止一个解，则输出一行“Not unique.”；如果没有解，则输出一行“No answer.”。

Sample Input

3
3 3
6 6 6
6 6 6
0 0 0
0 3 0
0 0 0
2 3
10 17
5 16 6
2 0 0
0 9 0
2 2
3 5
4 4
0 0
0 0

Sample Output

Not unique.
2 7 1
3 9 5
No answer.

分析：只有16个空格没有数字，我们暴力每个格子的数字，又因为很多数字已经确定，剩下格子方案会很小。
先把第一列填完，然后填第一行，这样可以不用最后判断所有列是否匹配（其实是为了防被卡，这种题目方法就要有点奇葩）。连剪枝都不用就A了。

弱弱问一句：为什么在bzoj会格式错误……

代码：

var
 test,n,m:longint;
 map,a,ans:Array [1..10,1..10] of longint;
 x,y,s,t:array [1..10] of longint;
 b,c:array [1..10,1..10] of boolean;
 flag:longint;

function getsum(x,y:longint):longint;
 begin
  exit((x+y)*(y-x+1) div 2);
 end;

procedure check;
 begin
  if flag=1 then
   begin
    flag:=2;
    writeln('Not unique.');
    exit;
   end;
  if flag=0 then
   begin
    ans:=a;
    flag:=1;
   end;
 end;

procedure dfs(xx,yy,cc:longint);
var i:longint;
 begin
  if flag>1 then exit;
  if (xx>n) and (yy>m) then
   begin
    check;
    exit;
   end;
  if yy>m then
   begin
    if x[xx]<>s[xx] then exit;
    dfs(xx+1,xx+1,0);
    exit;
   end;
  if xx>n then
   begin
    if y[yy]<>t[yy] then exit;
    dfs(yy,yy+1,1);
    exit;
   end;
  if map[xx,yy]<>0 then
   begin
    if cc=0 then
     dfs(xx+1,yy,0)
    else
     dfs(xx,yy+1,1);
    exit;
   end;
  for i:=1 to 9 do
   if (b[xx,i]=false) and (c[yy,i]=false) then
    begin
     a[xx,yy]:=i;
     x[xx]:=x[xx]+i;
     y[yy]:=y[yy]+i;
     b[xx,i]:=true;
     c[yy,i]:=true;
     if cc=0 then
      dfs(xx+1,yy,0)
     else
      dfs(xx,yy+1,1);
     b[xx,i]:=false;
     c[yy,i]:=false;
     x[xx]:=x[xx]-i;
     y[yy]:=y[yy]-i;
    end;
 end;

procedure init;
 var i,j:longint;
begin
 readln(n,m);
 for i:=1 to n do
  read(s[i]);
 for i:=1 to m do
  read(t[i]);
 for i:=1 to 10 do
  for j:=1 to 10 do
   begin
    a[i,j]:=0;
    b[i,j]:=false;
    c[i,j]:=false;
    x[i]:=0; y[j]:=0;
   end;
 for i:=1 to n do
  for j:=1 to m do
   begin
    read(map[i,j]);
    if map[i,j]<>0 then
     begin
      b[i,map[i,j]]:=true;
      c[j,map[i,j]]:=true;
      a[i,j]:=map[i,j];
      x[i]:=x[i]+map[i,j];
      y[j]:=y[j]+map[i,j];
     end;
   end;
end;

procedure main;
 var i,j:longint;
begin
 init;
 flag:=0;
 dfs(1,1,0);
 if flag=0 then writeln('No answer.');
 if flag=1 then
  begin
    for i:=1 to n do
     begin
      for j:=1 to m do
       write(ans[i,j],' ');
      writeln;
     end;
   end;
end;

begin
 assign(input,'kakuro.in');
 assign(output,'kakuro.out');
 reset(input);
 rewrite(output);
 readln(test);
 while test>0 do
  begin
   main;
   test:=test-1;
  end;
 close(input);
 close(output); 
end.