bzoj-2797 Squarks

题意：

有一个长度为n不降的数列，每次取两个不同的数相加，共有n(n-1)/2个和；

现给出这些和，要求还原出这个数列；

可能有多种情况，按字典序从大到小输出；

n<=300；

题解：
首先我们列出表格之后可以发现，数列中最小的数和次小的数一定分别是x[1]+x[2]和x[1]+x[3]；

而为了解出解，我们还需要一个x[2]+x[3]，但是它可能为第[3,n]小的数；

它只可能比x[1]+x[4],x[1]+x[5]......x[1]+x[n]小；

这样的话，我们枚举这些数，解出x[1],x[2],x[3]之后，对于这组x[1],x[2],x[3]我们就可以确定其是否有解，且存在解一定唯一；

因为当从那些数中删掉x[1]+x[2],x[1]+x[3],x[2]+x[3]之后，数列中最小的数是x[1]+x[4]；

我们就直接解出x[4]，然后依据这个再删去x[1]+x[4],x[2]+x[4],x[3]+x[4]；

数中最小的值又变成了x[1]+x[5]，以此类推解出所有数，或遇到不合法情况；

注意除了没数可删以外还有一种不合法情况是最初的三个方程无整数解；

时间复杂度O(n^3)；

到这里我们忽略了一个问题，题中要求按字典序输出；

虽说可以排序，但是事实上我们如果按照[3,n]的顺序枚举x[2]+x[3]，依次得到每个答案都是字典序了；

因为我们已知x[1]+x[2],x[1]+x[3]，所以我们是不可能得到x[1]相同的两组不同解的；

而每次枚举的数都在增大，所以x[1]也是单调增的，故字典序单调增；

代码：

#include<set>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#define N 310
#define iter multiset<int>::iterator
using namespace std;
typedef long long ll;
int a[N*N],ans[N][N],top=1;
multiset<int>st;
bool slove(int x)
{
	if(a[1]+a[2]+x&1)
		return 0;
	int temp=a[1]+a[2]+x>>1;
	ans[top][1]=temp-x;
	ans[top][2]=temp-a[2];
	ans[top][3]=temp-a[1];
	return 1;
}
int main()
{
	int n,m,i,j,k,x,y;
	scanf("%d",&n);
	m=n*(n-1)>>1;
	for(i=1;i<=m;i++)
		scanf("%d",a+i);
	sort(a+1,a+m+1);
	for(k=3;k<=n;k++)
	{
		if(k!=3&&a[k]==a[k-1])
			continue;
		if(!slove(a[k]))	continue;
		st.clear();
		for(i=3;i<=m;i++)
			if(i!=k)
				st.insert(a[i]);
		bool flag=1;
		for(i=4;i<=n;i++)
		{
			iter it=st.begin();
			ans[top][i]=*it-ans[top][1];
			for(j=1;j<i;j++)
			{
				while(it!=st.end()&&*it<ans[top][j]+ans[top][i])
					it++;
				if(it==st.end()||*it!=ans[top][j]+ans[top][i])
				{
					flag=0;
					break;
				}
				st.erase(it++);
			}
			if(!flag)
				break;
		}
		if(flag)
			top++;
	}
	printf("%d\n",--top);
	for(i=1;i<=top;i++)
	{
		for(j=1;j<=n;j++)
		{
			printf("%d ",ans[i][j]);
		}
		puts("");
	}
	return 0;
}