[AGC005C Tree Restoring] [贪心构造]

[题目大意]

青木君很喜欢数列和树。

一天，高桥君给了他一个长度为N的数列a1, a2, …, aN，这让青木有了构造一棵树的冲动。

他想要构造一棵树，其中i号点与其它点的树上距离的最大值恰好等于ai（假设树边长度均为1）。

请问是否存在这样一棵树符合要求。

[想法]

这种题目可以从极端情况入手，而这里的极端就是树的直径。

（1）因为任何树都存在至少一条直径，所以一定存在一对相等且最大的a[u]和a[v]，其中u和v是直径的两端，如果不存在，输出Impossible；

（2）找到直径后，直径上的所有点的a[i]都可以推出，如果给出的a序列中找不到对应的值，输出Impossible；

（3）接下来，其余点都相当于挂在直径这条链的两侧（不允许挂在u和v上，否则直径会更长）。

         （3-1）显然，如果这些点的a[i]值没有大于直径的一半（向上取整）mid，它们不可能挂在链的外侧，所以输出Impossible；

         （3-2）否则，一定可以构造出符合条件的悬挂方式：由于剩余点的a[i]∈[mid+1,a[u]]，所以一定可以在直径上找到一个距离u恰好为a[i]-1的点x，将i和x连接，使得a[i]符合要求。同时，所有点都是直接悬挂的，所以不会产生更长的链，可以发现其它点的a[i]仍然符合要求。

注意一个小坑点：a={1,1}，这种情况显然应该输出Possible，但是程序考虑不周的话可能会出现小BUG，如果莫名WA，可以试试这个样例。

#include <cstdio>
#include <algorithm>
#define rep(i,j,k) for (i=j;i<=k;i++)
using namespace std;
const int N=1e5+5;
int n,i,d,a[N],cnt[N];
int main()
{
	scanf("%d",&n);
	rep(i,1,n) {
		scanf("%d",&a[i]);
		cnt[a[i]]++;
	}
	sort(a+1,a+1+n);
	if (a[n-1]!=a[n]) {
		printf("Impossible\n");
		return 0;
	}
	cnt[a[n]]-=2;
	rep(i,1,a[n]-1)
	{
		d=max(i,a[n]-i);
		if (cnt[d]<1) {
			printf("Impossible\n");
			return 0;
		}
		cnt[d]--;
	}
	rep(i,1,(a[n]+1)/2)
		if (cnt[i]) {
			printf("Impossible\n");
			return 0;
		}
	printf("Possible\n");
	return 0;
}