清橙A1363. 水位

问题描述
　　有一个正方形的地区，该地区特点鲜明：如果把它等分为N×N个小正方形格子的话，在每个格子内的任意地点的地表高度是相同的，并且是一个0到M之间的整数。正方形地区的外部被无限高的边界包围。
　　该地区可能会有积水。经过多年的观察，人们发现了几个关于积水的重要规律：
　　1. 每个格子要么完全没有积水，要么它内部的任意地点的水面高度都是相同的。并且水面高度一定大于地表高度。
　　2. 每个格子的水面高度在0~M之间，并且一定是整数。
　　3. 对于相邻（必须为边相邻）的两个格子，一定不会出现水自动从一个格子流向另一个格子的情况。也就是说，一定不能出现这两个格子都有水且水面高度不同，或者有水格子的水面比无水格子的地表要高的情况。
　　例如，下面图中每个格子里有两个数a/b，说明该格子的地表高度是a，水面高度是b（均为海拔高度），而没有水的格子中b以“−”表示。则左边的情况是符合规律的，而右边的情况并不符合以上规律，因为水可以由2/4的格子流向3/−的格子。

　　(图1)


　　该地区水文站的工作人员小A想知道，该地区中有多少种不同的水位情况符合规律。你能回答他的这个问题吗？
输入格式
　　输入文件的第一行包含两个正整数N和M。
　　随后的N行，每行包含N个非负整数。其中第i+1行的第j个数表示该地区第i行第j列格子的地表高度。
输出格式
　　输出文件只包含一个整数，即该地区符合规律的水位情况种数。
样例输入
4 3
1 1 1 1
1 2 2 2
1 2 3 3
1 2 3 2
样例输出
6
对样例的说明
　　符合规律的水位情况有以下六种 ：

数据规模和约定

 

 

好一个并查集

首先我们正着想，一开始都有模模糊糊的这个想法，就是划分区域，这几个区域的水一旦高于分界线的高度就会汇合，所以先计算出水位低于分界线的方案数，再算高于分界线的方案数

显然，低于这个高度的方案数是这几个区域的方案数的乘积，高于这个高度的方案数就是最高限制-这个高度，这几个区域的方案数可以递归做

但是递归又难写，时间上也不允许

所以我们从小到大枚举分界线的高度，把这个格子四周的区域合并，一直到整个区域，用并查集维护区域的信息

WA了好多次，原因是高精度数空间没开够，囧......

const
    maxn=103;
    s=10000000;
    fx:array[1..4]of longint=(1,0,-1,0);
    fy:array[1..4]of longint=(0,1,0,-1);
type
    point=record
      x,y:longint;
    end;
    big=array[0..2000]of int64;
var
    a:array[0..maxn,0..maxn]of longint;
    b:array[0..maxn*maxn]of point;
    f,h:array[0..maxn*maxn]of longint;
    ans:array[0..maxn*maxn]of big;
    n,m:longint;

operator *(var a,b:big)c:big;
var
    i,j:longint;
begin
    fillchar(c,sizeof(c),0);
    for i:=1 to a[0] do
      for j:=1 to b[0] do
        inc(c[i+j-1],a[i]*b[j]);
    c[0]:=a[0]+b[0]-1;
    for i:=1 to c[0]-1 do
      begin
        inc(c[i+1],c[i]div s);
        c[i]:=c[i]mod s;
      end;
    while c[c[0]]>=s do
      begin
        c[c[0]+1]:=c[c[0]]div s;
        c[c[0]]:=c[c[0]]mod s;
        inc(c[0]);
      end;
end;

procedure add(var a:big;b:longint);
var
    i:longint;
begin
    inc(a[1],b);
    i:=1;
    while a[i]>=s do
      begin
        inc(a[i+1],a[i]div s);
        a[i]:=a[i]mod s;
        inc(i);
      end;
    if i>a[0] then a[0]:=i;
end;

function calc(i,j:longint):longint;
begin
    exit((i-1)*n+j);
end;

function find(x:longint):longint;
begin
    if f[x]=x then exit(x);
    f[x]:=find(f[x]);
    exit(f[x]);
end;

procedure swap(var x,y:point);
var
    t:point;
begin
    t:=x;x:=y;y:=t;
end;

procedure sort(l,r:longint);
var
    i,j,y:longint;
begin
    i:=l;
    j:=r;
    y:=a[b[(l+r)>>1].x,b[(l+r)>>1].y];
    repeat
      while a[b[i].x,b[i].y]<y do
        inc(i);
      while a[b[j].x,b[j].y]>y do
        dec(j);
      if i<=j then
      begin
        swap(b[i],b[j]);
        inc(i);
        dec(j);
      end;
    until i>j;
    if i<r then sort(i,r);
    if j>l then sort(l,j);
end;

procedure print(a:big);
var
    i:longint;
    k:int64;
begin
    write(a[a[0]]);
    for i:=a[0]-1 downto 1 do
      begin
        k:=s div 10;
        while k>1 do
          begin
            if a[i]<k then write(0)
            else break;
            k:=k div 10;
          end;
        write(a[i]);
      end;
end;

procedure main;
var
    i,j,x,y:longint;
begin
    read(n,m);
    for i:=1 to n do
      for j:=1 to n do
        begin
          read(a[i,j]);
          h[calc(i,j)]:=a[i,j];
          b[calc(i,j)].x:=i;
          b[calc(i,j)].y:=j;
        end;
    sort(1,n*n);
    for i:=1 to n*n do
      begin
        f[i]:=i;
        ans[i][0]:=1;
        ans[i][1]:=1;
      end;
    for i:=1 to n*n do
      for j:=1 to 4 do
        if (b[i].x+fx[j]>0) and (b[i].x+fx[j]<=n) and (b[i].y+fy[j]>0) and (b[i].y+fy[j]<=n) then
        begin
          x:=find(calc(b[i].x,b[i].y));
          y:=find(calc(b[i].x+fx[j],b[i].y+fy[j]));
          if (h[x]>=h[y]) and (x<>y) then
          begin
            add(ans[y],h[x]-h[y]);
            ans[x]:=ans[x]*ans[y];
            f[y]:=x;
          end;
        end;
    add(ans[find(1)],m-a[b[n*n].x,b[n*n].y]);
    print(ans[find(1)]);
end;

begin
    main;
end.