[CF1517C]Fillomino 2

题目

传送门 to CF

思路

考虑从左往右确定每一个连通块，显然要尽量给右边留空间，那就优先往左填，左边没有就往下走，这样每个连通块都是一个路径。

我感觉这个做法有点假，就想拿一组数据去 $\mathrm{h}\mathrm{a}\mathrm{c}\mathrm{k}$ 掉。结果发现，恰好没法 $\mathrm{h}\mathrm{a}\mathrm{c}\mathrm{k}$，因为连通块 大小不能一样。于是我就试着去证明。

事实上，对于所有已经填了数字的列，其 “轮廓” 是不断向上抬升的。换句话说，如果 $(i,j)$ 没填数字、$(i-1,j)$ 填了数字（正上方），那么 $(i-1,j-1)$ 填了数字（左上方）。

如何证明？考虑归纳法说明，在已有的轮廓基础上，所有会使得轮廓不再具有上述性质的位置，都不可能作为当前连通块 “路径” 的终点。因为这些长度都是出现过的。

你会发现这很好证明。因为连通块的大小就是路径长度，而路径长度是曼哈顿距离，也就是说，“等距线” 是平行于主对角线的。给一张图吧。

原轮廓线的 “禁区” 就是红色部分。新的连通块是蓝色阴影部分。假设新的连通块延伸到一个转角处，那么恰好新的 “禁区” 都被满足了。其他的情形类似。

代码

#include <cstdio>
#include <iostream>
#include <vector>
#include <cstring>
#include <algorithm>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}

const int MaxN = 505;
int bel[MaxN][MaxN];

int main(){
	rep(i,0,MaxN-1) bel[i][0] = -1;
	int n = readint();
	for(int i=1; i<=n; ++i){
		int p = readint(), id = p;
		for(int x=i,y=i; p; --p){
			bel[x][y] = id;
			if(!bel[x][y-1]) -- y;
			else ++ x; // move ahead
		}
	}
	rep(i,1,n) rep(j,1,i)
		printf("%d%c",bel[i][j]," \n"[j==i]);
	return 0;
}