专栏文章
2020 CCPC Weihai E. So Many Possibilities... 题解 feat. minstdfx
个人记录参与者 4已保存评论 3
文章操作
快速查看文章及其快照的属性,并进行相关操作。
- 当前评论
- 3 条
- 当前快照
- 1 份
- 快照标识符
- @minz165x
- 此快照首次捕获于
- 2025/12/02 10:40 3 个月前
- 此快照最后确认于
- 2025/12/02 10:40 3 个月前
题意:有 个随从,每个随从有 的生命。一旦某个随从的生命变成 ,他就会被击杀。现在你需要进行 次伤害操作,每次操作等概率选取一个存活的随从并造成 点伤害。求最终击杀的随从数量的期望。
我一开始想把所有可能的操作序列拿出来然后怎么容斥着计算一下,然后看样例就发现它是错的,因为不同的操作序列出现的概率不同。
接下来我想要设计一个 dp, 表示 的时刻击杀的集合恰好是 的概率。这个时候可以观察到,对于每一个仍然存活的随从,它在前面 次操作中受到伤害的期望次数全部是相等的。所以我考虑枚举下一个被击杀的随从以及击杀的时间,那么这个过程中不能击杀其他的随从。因此需要容斥计算,时间复杂度 或者 ,不清楚细节也不清楚这样转移是不是对的,总之时间肯定炸了。
然后我去看了题解,发现了一个重要的观察:我并不需要保证过程中不击杀其他的随从。我设一个操作序列 表示前 步击杀了 中的随从时的操作序列,满足 且 。这里定义 表示这一步操作没有攻击 内的随从。
这样我就不需要推 dp 的时候考虑会不会误杀其他的随从了,因为可以在计算答案的时候,对于某一个状态对于所有 的位置计算这些位置无法杀死任意一个其他随从的概率(把这个东西记为 )即可。
记 是 构成的集合,那么可以设 ,其中 表示 序列出现的概率。
接下来就应该推转移了。但是我现在只知道如果下一步会击杀新的随从,转移式里会有一个组合数(从当前序列里所有的 里选出若干次给当前随从),另外我发现我又完全不会了!因此我需要请求一个特殊工具。
来自 minstdfx 的补充(UPD at 21:42)
Note: 我们定义 表示前 次操作,恰好击杀的集合是 的,不考虑与 无关的操作的概率乘数。这个东西其实就是实际概率去除以放置无关操作的方案数,因为这两者是相互独立的。
显然我们有 。
我们分两种情况讨论转移:
- 最后一次操作干掉了一个 。
那么最后一次打到 的概率是 。 在前 次操作中,有 次打中其他随从,有 次打中 ,其余都是打中别的,也就是 。挑出 个位置中的 个给 ,那么就是 种插进去的方式。所以就是这三项乘起来加一下求和。 - 最后一次操作是未命中,也就是
这个简单啊,就是 。
那么如何计算答案呢?
我们假设最终死掉的集合为 ,那么一共会有 次攻击落在其他的随从上,并且不能死任何其他的随从。因此答案为
其中 表示 次攻击落在 的集合上打不死任何随从的方案数。
如何计算 呢?我们钦点最后一个元素 ,那么
我看到这个的时候,我产生了一个问题:为什么要在转移 dp 的时候除以选择数呢?同时 fx 给到的 g 数组的定义也和我前面定义的不同,是方案数而非概率。我猜想这是因为“不同的操作序列出现的概率不同”这个问题仍然没被解决(虽然我还没完全明白为什么这样转移就可以算出正确的概率)。
补充2
其实一开始我看到你有疑问我很好奇。主要是当时我写这个的时候你可能自己定义了 ,但是完全没有把它写到文章里,所以我不知道你自己还定义了 ,我就自己定义了一个需要用到的。但是后来我发现我在编辑文章的过程中可能是因为编辑器的神秘快捷键或是什么其他原因,居然删掉了最重要的第一行,也就是说明我的 dp 代表什么意思的一行,可能造成了理解上的混乱,现在我将它补上。
接下来我相信不需要解释为什么要在转移 dp 的时候除以选择数了。
在做转移时,考察 dp 的定义,我们只需要把这种等概率选人的概率因子乘进去;而非致死的攻击到底分给了谁以及顺序怎么排的组合个数交给 g 和组合数去统计。
所以在 dp 里每插入一步操作,就必须除以当时可被选中的人数。
所以在 dp 里每插入一步操作,就必须除以当时可被选中的人数。
总时间复杂度 。
这个题有一个坑,就是有可能 ,需要防止除 。
CPPint a[20],sum[40000];
long double F[110][80000],G[110][80000],C[110][110];
void solve(){
int n,m;read(n),read(m);
rep(i,0,n-1)read(a[i]);
rep(i,0,(1<<n)-1)rep(j,0,n-1)if((i>>j)&1)sum[i]+=a[j];
rep(i,0,m)C[i][0]=C[i][i]=1;
rep(i,1,m)rep(j,1,i-1)C[i][j]=C[i-1][j]+C[i-1][j-1];
F[0][0]=1e300;
rep(i,1,m){
rep(j,0,(1<<n)-1){
int S=__builtin_popcount(j);
if(n!=S)F[i][j]+=F[i-1][j]/(n-S);
rep(k,0,n-1)if((j>>k)&1){
int R=i-sum[j];if(R<0)continue;
F[i][j]+=F[i-1][j^(1<<k)]*C[i-sum[j^(1<<k)]-1][a[k]-1]/(n-S+1);
}
}
}
G[0][0]=1;
rep(i,0,m)rep(j,1,(1<<n)-1){
int X=__builtin_ctz(j);
rep(k,0,a[X]-1)if(i>=k)G[i][j]+=C[i][k]*G[i-k][j^(1<<X)];
}
long double ans=0;
rep(i,0,(1<<n)-1){
if(sum[i]<=m)ans+=__builtin_popcount(i)*F[m][i]*G[m-sum[i]][(1<<n)-1-i];
}
printf("%.12Lf\n",ans/F[0][0]);
}
相关推荐
评论
共 3 条评论,欢迎与作者交流。
正在加载评论...