Codeforces 1060 F. Shrinking Tree

题目链接 (opens new window)

一道思维好题啊...感觉这种类型的题很检验基本功是否扎实(像我这样的就挂了)。

题意:你有一棵n个点的树,每次随机选择一条边,将这条边的两个端点合并,并随机继承两个点标号中的一个,问对于每一个点来说,最终剩下的那个点标号等于它的标号的概率。n50,用浮点数方式输出。

碰到浮点数输出的题就很怕卡精,不过这道题似乎不卡,担心卡精可以开longdouble(还要吐槽一句cf的C++11longdouble的输出好像不是很资瓷...还要转double输出)。

好了现在开始讲做法吧。我们的大体思想是每一个点分别求解答案。对于每一个点,用某种方法算出它最终被留下的方案数,那么再除以(n1)!显然就是答案。不过要注意的一点是因为标号的继承是随机的,因此对于同一种删边顺序,得到的结果可能不同,因此我们算出的其实是所有顺序下这个点保留的概率的总和(可能是浮点数),但是为了接下来表达的简便,不妨不严谨的称其为方案数。

现在来关心怎么求出每一个点被留下的方案数,我们将要求答案的点x当作树的根,并用sizei表示以i为根的子树的大小。考虑树形dp,我们用fi,j表示当根节点的标号继承到i点时,如果i的子树还剩下j条边,根节点的标号最终被保留下来的方案数。那么fx,n1就是我们想要的答案。

我们先来解决一个小问题:

假设我们将当前节点u的子树划分为两部分,并且已经知道了左半部分还剩i条边时的方案数a和右半部分还剩j条边时的方案数b,如何求解它们对整棵子树还剩i+j条边的方案数的贡献?

显然左右两部分的子树对对方是没有影响的,因此我们可以将左右的方案合并。只要剩下的左边的i条边和右边的j条边在之后删除的相对顺序不变,那么一定会得到同一种结果,因此这部分合并的方案数就是(i+ji)种(即在删除序列的i+j个空位种选i个给左边的边)。

同时我们还要注意已经删除的边,在真实的操作序列中它们也同样需要合在一起。因此和上面相似,我们假设左边原来一共有x条边,右边原来一共有y条边,那么这部分合并的方案数就是(x+yijxi)

综上所述,它们的贡献应该是ab(i+ji)(x+yijxi)

那么沿着刚刚的想法继续思考,我们或许可以采取如下策略dp:对于某一棵以u为根的子树,不考虑任何子树时有fu,0=1。假如我们有一种方法,可以计算出一个单点在只考虑一棵子树时的答案,那么我们的问题就做完了,因为我们在新考虑一棵子树的时候,我们可以先计算只考虑它时的答案而将其视为我们刚刚所讲的“右半部分”,将之前已经计算完的部分视为“左半部分”,就可以直接按照之前所讲的方法合并。

现在我们只要解决如何计算只考虑u的某一棵子树时的答案,设其根为v。显然我们可以枚举i,表示我们想要求其还剩下i条边时的答案,设其为gi,接着再枚举j,考虑fv,jgi的贡献。分三类情况讨论:

1、假设j<i,显然合法的过程应该是这样的:v的子树中合并到还剩i1条边时,根的标号继承到了u上,接着v的子树中的边继续合并到只剩j条边,接着根的标号再从u继承到了v上。注意到u的标号继承到v上发生的概率是12,因此此时fv,jgi的贡献是12fv,j

2、假设j=i,显然合法的过程应该是这样的:v的子树原来共有sizev1条边,如果要剩下i条边,应该删除sizev1i条边,而uv的连边也应该随着这些边的删除一起被删除,考虑被删除的sizev1i条边组成的序列,uv的连边可以插入到sizevi个空位(因为两端也是可以的)中的任何一个。同时我们可以发现如此一来,当根节点的标号继承到u时,uv的连边已经消失,因此就不需要考虑那12的概率了,贡献是(sizevi)fv,j

3、假设j>i,画图考虑一下就发现这是没有合法方案的,贡献是0

于是我们终于完成了最后一块拼图,得到了可行的解法。最后总结一下做法,我们分别计算每一个答案,接着进行树形dp。对于每一个新考虑的儿子,我们先计算只考虑这个子树的情况,接着将其与原有答案进行合并。计算一下复杂度,在每一个点更新它对父亲的贡献时似乎至多是O(n2)的,但是考虑合并两个大小为xy的子树,代价可以做到O(xy),这等价于两个子树之间的点对数。因此一次dp的复杂度应该是总点对数即O(n2),因此总复杂度是O(n3)的。不过代码里我偷了个懒写了O(n4)的做法,反正n50因此也是不要紧的。

我的代码:

#include<cstdio>
#include<vector>
using std::vector;
typedef long double ldb;
const int N=55;
int n;
vector<int> G[N];
int size[N];
ldb fact[N];
ldb dp[N][N],tmp[N],g[N];
inline ldb choose(int n,int m)
{
	return fact[n]/(fact[m]*fact[n-m]);
}
void dfs(int now,int father)
{
	register int i,j;
	dp[now][0]=1;size[now]=1;
	for(auto x:G[now])
	{
		if(x==father)
			continue;
		dfs(x,now);
		for(i=0;i<=size[x];i++)
		{
			g[i]=0;
			for(j=1;j<=size[x];j++)
				if(j<=i)
					g[i]+=0.5*dp[x][j-1];
				else
					g[i]+=dp[x][i];
		}
		for(i=0;i<size[now]+size[x];i++)
			tmp[i]=0;
		for(i=0;i<size[now];i++)
			for(j=0;j<=size[x];j++)
				tmp[i+j]+=dp[now][i]*g[j]*choose(i+j,i)*choose(size[now]-1-i+size[x]-j,size[now]-1-i);
		for(i=0;i<size[now]+size[x];i++)
			dp[now][i]=tmp[i];
		size[now]+=size[x];
	}
	return;
}
signed main()
{
	int x,y;
	register int i;
	scanf("%d",&n);
	fact[0]=1;
	for(i=1;i<=n-1;i++)
		fact[i]=fact[i-1]*i;
	for(i=1;i<=n-1;i++)
	{
		scanf("%d%d",&x,&y);
		G[x].push_back(y);
		G[y].push_back(x);
	}
	for(i=1;i<=n;i++)
	{
		dfs(i,0);
		printf("%.9lf\n",(double)(dp[i][n-1]/fact[n-1]));
	}
	return 0;
}