根据期望的可加性,我们可以算出每一位客人的期望等待时间,将他们累加

即 每一位客人所有可能情况的时间之和 / n!

设S= 每一位客人所有可能情况的时间之和

如果有f(i,p)种方案使客人i是恰好第p个进入花亭的,那对S的贡献为(n-p+1)* t[i] * f(i,p)

所以问题转变为计算f(i,p),客人i是恰好第p个进入花亭的方案数

这个恰好很难算

所以转化为在前p个进入花亭的客人中有i,最后f(i,p)减f(i,p-1)就得到了恰好是第p个

若前k+p-1个客人中至少有k-1个客人的用时比第i个客人的用时多,那么客人i可以在前p个进入花亭

所以问题又转化为了计算dp(i,j,l),在i个客人里至少有j个客人的用时比第l个客人用时多,且第i个客人一定在这i个客人里的方案数

换个状态定义会更好算:

用时相同的客人谁先进谁后进对答案没有影响

将客人的用时映射到1——n

dp(i,j,l),在1——n里选i个数至少有j个数比l大 且 不能选l的方案数

可以得到方程:(把f换成dp)

有了dp(i,j,l),再来算f(i,p)

前面说了若前k+p-1个客人中至少有k-1个客人的用时比第i个客人的用时多,那么客人i可以在前p个进入花亭

假设t[i]映射到了c

所以f(i,p)= dp[k+p-1-1][k-1][c]*(k+p-1)*(n-(k+p-1))!

因为客人i要占据一个位置,这个位置有(k+p-1)种选择,

在客人i之后的客人可以随意组合,所以是全排列

#include<cstdio>
#include<iostream>
#include<algorithm> using namespace std; #define N 301
#define M 1000001 const int mod=1e9+; int t[N];
int v[M],rk[N]; int C[N][N];
int fac[N]; int dp[N][N][N];
int f[N][N]; void read(int &x)
{
x=; char c=getchar();
while(!isdigit(c)) c=getchar();
while(isdigit(c)) { x=x*+c-''; c=getchar(); }
} int Pow(int a,int b)
{
int res=;
for(;b;a=1LL*a*a%mod,b>>=)
if(b&) res=1LL*a*res%mod;
return res;
} int main()
{
freopen("strategy.in","r",stdin);
freopen("strategy.out","w",stdout);
int n,k;
read(n); read(k);
for(int i=;i<=n;++i) read(t[i]),v[t[i]]++;
for(int i=;i<M;++i) v[i]+=v[i-];
for(int i=;i<=n;++i) rk[i]=v[t[i]]--;
C[][]=;
fac[]=;
for(int i=;i<=n;++i)
{
C[i][]=;
fac[i]=1LL*fac[i-]*i%mod;
for(int j=;j<=i;++j) C[i][j]=(C[i-][j-]+C[i-][j])%mod;
}
for(int i=;i<=n;++i)
{
for(int j=;j<=i;++j)
for(int l=;l<=n;++l)
dp[i][j][l]=1LL*C[n-l][j]*C[l-][i-j]%mod*fac[i]%mod;
//选i个数恰好有j个数比l大的方案数
for(int j=i;j>=;--j)
for(int l=;l<=n;++l)
{
dp[i][j][l]+=dp[i][j+][l];
dp[i][j][l]-=dp[i][j][l]>=mod ? mod : ;
}
//选i个数至少有j个数比l大的方案数
}
int c,m,h;
int ans=;
for(int i=;i<=n;++i)
{
c=rk[i];
for(int j=;j<=n;++j) // 第i个人是前j个进入花亭的
{
m=min(k+j-,n);
h=k--max(,k+j--n);
f[i][j]=1LL*dp[m-][h][c]*m%mod*fac[n-m]%mod;
}
for(int j=n;j;--j)
{
f[i][j]-=f[i][j-];
if(f[i][j]<) f[i][j]+=mod;
ans=(ans+1LL*f[i][j]*(n-j+)%mod*t[i]%mod)%mod;
// printf("%d\n",ans);
}
}
ans=1LL*ans*Pow(fac[n],mod-)%mod;
printf("%d",ans);
}

cdqz2017-test10-柚的策略(期望DP & 组合数学)的更多相关文章

  1. [CSP-S模拟测试]:chemistry(期望DP+组合数学)

    题目传送门(内部题27) 输入格式 第一行有$4$个整数$n,k,p,q$.第二行有$n$个整数$a_i$.接下来有$n-1$行,每行有两个整数$u,v$,表示$u$与$v$之间通过化学单键连接. 输 ...

  2. 概率期望dp

    对于概率dp,我一直都弄得不是特别明白,虽然以前也有为了考试去突击过,但是终究还是掌握得不是很好,所以决定再去学习一遍,把重要的东西记录下来. 1.hdu4405 Description 在一个 \( ...

  3. 2018.08.30 花园(期望dp)

    题目背景 SCOI2017 DAY2 T1 题目描述 小 A 的花园的长和宽分别是 L,H .小 A 喜欢在花园里做游戏.每次做游戏的时候,他都先把花园均匀分割成 L×H 个小方块,每个方块的长和宽都 ...

  4. 【bzoj5197】[CERC2017]Gambling Guide 期望dp+堆优化Dijkstra

    题目描述 给定一张n个点,m条双向边的无向图. 你要从1号点走到n号点.当你位于x点时,你需要花1元钱,等概率随机地买到与x相邻的一个点的票,只有通过票才能走到其它点. 每当完成一次交易时,你可以选择 ...

  5. [BZOJ4872][六省联考2017]分手是祝愿(期望DP)

    4872: [Shoi2017]分手是祝愿 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 516  Solved: 342[Submit][Statu ...

  6. 【BZOJ4872】[Shoi2017]分手是祝愿 数学+期望DP

    [BZOJ4872][Shoi2017]分手是祝愿 Description Zeit und Raum trennen dich und mich. 时空将你我分开.B 君在玩一个游戏,这个游戏由 n ...

  7. 【bzoj4872】[Shoi2017]分手是祝愿 数论+期望dp

    题目描述 Zeit und Raum trennen dich und mich. 时空将你我分开. B 君在玩一个游戏,这个游戏由 n 个灯和 n 个开关组成,给定这 n 个灯的初始状态,下标为从 ...

  8. P3750 [六省联考2017]分手是祝愿 期望DP

    \(\color{#0066ff}{ 题目描述 }\) Zeit und Raum trennen dich und mich. 时空将你我分开. B 君在玩一个游戏,这个游戏由 \(n\) 个灯和 ...

  9. BZOJ4872 [六省联考2017]分手是祝愿 【期望dp】

    题目 Zeit und Raum trennen dich und mich. 时空将你我分开.B 君在玩一个游戏,这个游戏由 n 个灯和 n 个开关组成,给定这 n 个灯的初始状态,下标为 从 1 ...

随机推荐

  1. [转帖]知乎专栏:正确使用 Docker 搭建 GitLab 只要半分钟

    正确使用 Docker 搭建 GitLab 只要半分钟 https://zhuanlan.zhihu.com/p/49499229 很多程序员在内网搭建 gitlab 都搭建的坑坑洼洼,不支持 htt ...

  2. Jfrog 与 jenkins Sonarqube的 测试样例 (From jfrog 培训)

    1. 获取jfrog 仓库地址 sonar的地址 jenkins的地址. 本次例子的地址为: jenkins地址:http://10.24.101.99:8080/ artifactory地址: ht ...

  3. QC

    IQC:Incoming Quality Control 意思是来料的质量控制  来料 IPQC:InPut Process Quality Control 过程质量控制   来料 FQC:Final ...

  4. 查询数据SELECT 之单表查询

    一.单表查询的语法与关键字的执行优先级""" # 单表查询# 单标查询完整与法:# select distinct(关键字,代表查询的意思,后面跟)字段1,字段2...( ...

  5. matplotlib绘图pie

    #!/usr/bin/env python # -*- coding: utf-8 -*- # @Time : 2018/5/28 16:05 # @Author : zhang chao # @Fi ...

  6. Delphi中封装ADO之我重学习记录

    delphi adodataset ctstatic 数据是缓存在服务器端还是客户端 答:客户端,开启本地缓存功能后,就能数据在本地批量修改后,再批量提交,减少了网络传送   原创,专业,图文 Del ...

  7. CF527D

    题面 这题还挺水的,把那个式子稍微变形一下就可以的到xi-wi>=xj+wj,易知:若把每个点看做一条线段,左端点是xi-wi,右端点是xi+wi,就只要求最多的不重叠的线段数就可以了,然后就是 ...

  8. Spark_RDD之RDD基础

    1.什么是RDD RDD(resilient distributed dataset)弹性分布式数据集,每一个RDD都被分为多个分区,分布在集群的不同节点上. 2.RDD的操作 Spark对于数据的操 ...

  9. [IOI2018]狼人——kruskal重构树+可持久化线段树

    题目链接: IOI2018werewolf 题目大意:给出一张$n$个点$m$条边的无向图,点和边可重复经过,一个狼人初始为人形,有$q$次询问,每次询问要求人形态只能处于编号不小于$L$的点,狼形态 ...

  10. LCT模板(指针版)

    本来是想做THUWC2017的泰勒展开xLCT题的-- 然后觉得数组写很麻烦-- 然后就决定挑战指针版-- 然后写得全是BUG-- 与BUG鏖战三千年后,有了这个指针版LCT板子! #include ...