题面

题意:(感觉题面写的题意是错的?)有\(n\)种能量不同的圈,设当前拥有的圈的集合为\(S\),则:

1,每天有\(p\)概率失去一个能量最小的圈。特别的,如果\(S = \varnothing\),那么这个概率为0.

2,否则将得到一个满足\(能量 \le S_{min}\)的圈。

求\(S\)内的能量和大于\(T\)的期望天数。

题解:出于期望要倒推的考虑,我们设\(f[i]\)表示从状态\(i\)到合法状态的期望。

一个能量和大于\(T\)的状态为合法状态,显然有\(f[合法状态] = 0\),现在我们要求的是\(f[\varnothing].\).

令\(last(i)\)表示状态\(i\)通过删去一个圈可以到达的状态。\(next(i)\)表示状态\(i\)通过获得一个圈可以到达的状态。我们可以列出如下等式:

\[f[i] = 1 + p \cdot f[last(i)] + (1 - p) \frac{1}{|next(i)|}\sum{f[next(i)]}
\]

高斯消元?但状态好像太多了,,,权值和为\(50\)的不同集合个数大概在\(1e5\)的级别,\(n^{3}\)不可能过。所以我们考虑优化。

因为对于一个集合\(S\),去掉一个圈可以到达的状态是唯一确定的,因此\(last(s)\)只有一个,但\(next(s)\)有多个。

所以如果我们将\(last(s)\)视作\(s\)的父亲,\(next(s)\)视作\(s\)的儿子,那么我们可以发现,以状态之间的关系为边,可以构建出一棵树。

如果我们可以把\(f[i]\)表示为\(k \cdot f[fa(i)] + b\)的形式,那么对于任意一个点,我们将它子树所表示出的所有式子带入消值,可以使得当前点的式子中最多只有\(f[i]\)和$f[fa(i)]$2个状态。

我们考虑用归纳法来证明这是可行的:

1,对于叶子节点(合法状态),因为它本身就没有儿子,因此一开始就只有自己和父亲2个状态,显然可以表示成所需状态。

2,对于非叶节点,考虑证明当儿子满足条件时,这个节点一定满足条件。

\[f[i] = 1 + p \cdot f[last(i)] + (1 - p) \frac{1}{|next(i)|}\sum{f[next(i)]}
\]

其中\((1 - p) \frac{1}{|next(i)|}\)是一个定值,我们设它为\(G\).那么:

\[f[i] = 1 + p \cdot f[last(i)] + G\sum{f[next(i)]}
\]

变成高斯消元的形式:

\[f[i] - p \cdot f[last(i)] - G\sum{f[next(i)]} = 1
\]

其中,因为\(i\)的儿子,也就是\(next(i)\)会被转化为\(k \cdot f[i] + b\)的性质,因此当我们把\(next(i)\)全都带入进来后,剩下的式子应该是类似这样的.其中\(f[i]\)的系数和常数项被改变,于是得到:

\[k_{1}f[i] = k_{2} + p \cdot f[last(i)]
\]

稍微化简一下可以得到:

\[f[i] = \frac{p}{k_{1}} f[last(i)] + \frac{k_{2}}{k_{1}}
\]

设\(t_{1} = \frac{p}{k_{1}}, t_{2} = \frac{k_{2}}{k_{1}}\),则:

\[f[i] = t_{1}f[last(i)] + t_{2}
\]

考虑一点细节上的东西:

\[f[i] - p \cdot f[last(i)] - G\sum{f[next(i)]} = 1
\]

考虑将\(f[next(i)] = af[i] + b\)带入原式会产生什么样的影响。

\[-G(af[i] + b) = -Gaf[i] - Gb
\]

设\(f[i]\)的系数为\(k_{1}\),常数项为\(k_{2}\).

\[f[i] - p \cdot f[last(i)] -Gaf[i] - Gb = 1
\]

显然我们只需要将\(k_{1} -= Ga, k_{2} += Gb\)即可

#include<bits/stdc++.h>
using namespace std;
#define R register int
#define AC 55
#define ld double int n, T;
int v[AC];
ld p, t1[AC][AC], t2[AC][AC]; inline int read()
{
int x = 0;char c = getchar();
while(c > '9' || c < '0') c = getchar();
while(c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
return x;
} void pre()
{
T = read(), n = read();
for(R i = 1; i <= n; i ++) v[i] = read();
sort(v + 1, v + n + 1);
memset(t1, 0, sizeof(t1));
memset(t2, 0, sizeof(t2));
} void dfs(int x, int lim)
{
if(x > T) return;
if(t1[x][lim] > 0 || t2[x][lim] > 0) return ;//记忆化?但这样的话就需要初始化了
//printf("%d %d\n", x, lim);
ld p1 = x ? p : 0;//在计算之前要修改概率
ld k1 = 1, k2 = 1, G = (1.0 - p1) * (1.0 / lim);
//printf("???%lf\n", G);
for(R i = 1; i <= lim; i ++)
{
int now = x + v[i];
if(now > T) continue;//如果不加这个判断的话,数组就要开100,,,因为now可以到100.。。
dfs(now, i);
k1 -= G * t1[now][i], k2 += G * t2[now][i];
}
t1[x][lim] = p / k1, t2[x][lim] = k2 / k1;
} void work()
{
while(scanf("%lf", &p) != EOF)
{
pre(), dfs(0, n);
printf("%.3lf\n", t2[0][n]);
}
} int main()
{
// freopen("in.in", "r", stdin);
work();
// fclose(stdin);
return 0;
}

[JLOI2012]时间流逝 树上高斯消元 概率期望的更多相关文章

  1. bzoj 2784 [JLOI2012]时间流逝——树上高斯消元

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=2784 一个状态可以加很多个能量圈,但减少能量圈的情况只有一种.所以可以用树来刻画. 然后就变 ...

  2. LOJ 2542 「PKUWC2018」随机游走 ——树上高斯消元(期望DP)+最值反演+fmt

    题目:https://loj.ac/problem/2542 可以最值反演.注意 min 不是独立地算从根走到每个点的最小值,在点集里取 min ,而是整体来看,“从根开始走到点集中的任意一个点就停下 ...

  3. 【BZOJ-3143】游走 高斯消元 + 概率期望

    3143: [Hnoi2013]游走 Time Limit: 10 Sec  Memory Limit: 128 MBSubmit: 2264  Solved: 987[Submit][Status] ...

  4. BZOJ3270 博物馆(高斯消元+概率期望)

    将两个人各自所在点视为状态,新建一个图.到达某个终点的概率等于其期望次数.那么高斯消元即可. #include<iostream> #include<cstdio> #incl ...

  5. 洛谷P4457/loj#2513 [BJOI2018]治疗之雨(高斯消元+概率期望)

    题面 传送门(loj) 传送门(洛谷) 题解 模拟赛的时候只想出了高斯消元然后死活不知道怎么继续--结果正解居然就是高斯消元卡常? 首先有个比较难受的地方是它一个回合可能不止扣一滴血--我们得算出\( ...

  6. 【BZOJ3143】【HNOI2013】游走 && 【BZOJ3270】博物馆 【高斯消元+概率期望】

    刚学完 高斯消元,我们来做几道题吧! T1:[BZOJ3143][HNOI2013]游走 Description 一个无向连通图,顶点从1编号到N,边从1编号到M. 小Z在该图上进行随机游走,初始时小 ...

  7. 【BZOJ-3270】博物馆 高斯消元 + 概率期望

    3270: 博物馆 Time Limit: 30 Sec  Memory Limit: 128 MBSubmit: 292  Solved: 158[Submit][Status][Discuss] ...

  8. bzoj 2784 时间流逝 —— 树上高斯消元

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=2784 其实转移是一棵树,从根到一个点表示一种能量圈状态,当能量值大于 T 是停止,也就是成为 ...

  9. 【JLOI 2012】时间流逝(期望,树上高斯消元)

    题目链接 这是一道传统的期望题,可是有一些套路值得我去掌握. 我们用$s$来表示一种状态,就是当前拥有的能量圈,是一个正整数拆分的形式. 用$f_{s}$表示如果遇到果冻鱼后丢掉了最小的能量圈后的状态 ...

随机推荐

  1. Walle代码发布

    一.概述 Walle 一个web部署系统工具,配置简单.功能完善.界面流畅.开箱即用!支持git.svn版本管理,支持各种web代码发布,PHP,Python,JAVA等代码的发布.回滚,可以通过we ...

  2. 查询数据库所有表和字段及其注释(mysql)

    #查询某个库所有表 select * from information_schema.TABLES where table_schema = '数据库' #查询某个库所有表的字段 select * f ...

  3. 八、Django之Models(译)

    模型(Models) 模型是你的数据的唯一的.确定的信息源. 它包含你所储存数据的必要字段和行为. 通常,每个模型对应数据库中唯一的一张表. 基础: 每个模型都是一个Python类,它们都是djang ...

  4. iOS开发之多线程技术—GCD篇

    本篇将从四个方面对iOS开发中GCD的使用进行详尽的讲解: 一.什么是GCD 二.我们为什么要用GCD技术 三.在实际开发中如何使用GCD更好的实现我们的需求 一.Synchronous & ...

  5. python数据可视化——matplotlib 用户手册入门:pyplot 画图

    参考matplotlib官方指南: https://matplotlib.org/tutorials/introductory/pyplot.html#sphx-glr-tutorials-intro ...

  6. 福利,一张图看懂IT售前工程师修炼之道

    职场中的新人如何自我定位? 如何深刻理解IT售前这个职位? 如何从IT售前菜鸟成长为IT售前专家? 推荐这本书<IT售前工程师修炼之道> 本书精华内容 售前的重要性 售前要有逻辑能力 售前 ...

  7. TCP半开连接与半闭连接

    半打开(Half-Open)连接和半关闭(Half-Close)连接.TCP是一个全双工(Full-Duplex)协议,因此这里的半连接"半"字就是相对于全双工的"全&q ...

  8. PSP Daily软件Alpha版本——基于NABCD评论,及改进建议

    1.根据(不限于)NABCD评论作品的选题: 此软件的用户人群较为明确,即:用户(软件工程课上学生)记录例行报告.写每周PSP表格和统计的需求.潜在用户还有未来该课堂的学生和需要用PSP方法记录任务完 ...

  9. Thunder团队第七周 - Scrum会议6

    Scrum会议6 小组名称:Thunder 项目名称:i阅app Scrum Master:苗威 工作照片: 宋雨在照相,所以不在相片中. 参会成员: 王航:http://www.cnblogs.co ...

  10. VIM字符编码基础知识

    1 字符编码基础知识 字符编码是计算机技术中最基本和最重要的知识之一.如果缺乏相关知识,请自行恶补之.这里仅做最简要的说明. 1.1 字符编码概述 所谓的字符编码,就是对人类发明的每一个文字进行数字 ...