首页 > 其他分享 >鞅与停时定理 例题记录

鞅与停时定理 例题记录

时间:2023-12-13 20:33:36浏览次数:32  
标签:停时 势能 frac limits 定理 2A 例题 sum neq

鞅与停时定理,一个很厉害的东西,感觉像是一种势能分析。

关于它具体是什么,笔者的数学水平还不足以讲述,所以在这里推广一下:概率论科技:鞅与停时定理 - littleZ_meow 的小窝


下面的写法可能很不专业,请自行避雷

给出一种很 OI 的解释:你需要设计一个函数 \(f(x)\),有次能够得到每一个状态的势能 \(F(S)=\sum\limits_{a\in S}f(a)\),记 \(S'\) 为对于集合 \(S\) 操作一步可能达到的状态。你需要找到一个合适的函数 \(f(x)\),使得 \(F(S)+1=E(F(S'))\) 恒成立,且终止状态不会再发生任何转移,则需要操作的期望步数为 \(F(S_t)-F(S_0)\)。

也就是你要有一个势能函数,使得无论如何,每一次操作势能都期望增加 1

CF1025G Company Acquisitions

记 \(f(x)\) 表示一个选定点下面挂 \(x\) 个未选定点的势能函数。

由于和式的项数是变化的,所以我们只考虑操作了的 \(x\) 和 \(y\)。
我们有 \(f(x)+f(y)+1=\dfrac{1}{2}(f(x+1)+yf(0))+\dfrac{1}{2}(f(y+1)+xf(0))\)。

由于对于任意的 \(x\) 成立,则 \(f(x)+\dfrac{1}{2}=\dfrac{1}{2}f(x+1)+\dfrac{x}{2}f(0)\)。

令 \(f(0)=0\),可以得到 \(f(x)=2^x-1\)。

最终状态的势能为 \(f(n)=2^n-1\),初始状态的势能为 \(\sum f(a_i)\)。

CF1349D Slime and Biscuits

记 \(f(x)\) 表示有 \(x\) 块饼干的人的势能,\(A=\sum\limits_{i=1}^na_i\)。

考虑 \(E(F(S'))=F(S)+1\)。

则 \(\sum\limits_{i=1}^nf(a_i)+1=\sum\limits_{i=1}^n\frac{a_i}{A}(f(a_i-1)+\frac{1}{n-1}\sum\limits_{j\neq i}(f(a_j+1)+\sum\limits_{k\neq j} f(a_k)))\)。

有 \(\sum\limits_{i=1}^nf(a_i)+1=\sum\limits_{i=1}^n(\frac{a_i}{A}f(a_i-1)+\frac{A-a_i}{A}\times \frac{1}{n-1}f(a_i+1)+\frac{A-a_i}{A}\times \frac{n-2}{n-1}f(a_i))\)。

对于任意的 \(S\) 成立。

则 \(f(x)+\frac{x}{A}=\frac{x}{A}f(x-1)+\frac{A-x}{A}\times \frac{1}{n-1}f(x+1)+\frac{A-x}{A}\times \frac{n-2}{n-1}f(x)\)。

整理得 \(f(x+1)=\left[\frac{A(n-1)}{A-x}-(n-2)\right]f(x)-\frac{(n-1)x}{A-x}f(x-1)+\frac{(n-1)x}{A-x}\)。

我们令 \(f(0)=f(1)=0\),可以直接递推出所有的 \(f(x)\)。

CF1479E School Clubs

记 \(f(x)\) 表示有 \(x\) 个人得社团的势能,\(A=\sum\limits_{i=1}^ma_i\)。

我们有 \(\sum\limits_{i=1}^mf(a_i)+1=\sum\limits_{i=1}^m\frac{a_i}{A}\left(\frac{1}{2}\left(\sum\limits_{i\neq j}f(a_j)+f(a_i-1)+f(1)\right)+\frac{1}{2}\left(\sum\limits_{j\neq i}\frac{a_j}{A}\left(f(a_j+1)+f(a_i-1)+\sum\limits_{k\neq i,k\neq j}f(a_k)\right)+\frac{a_i}{A}(\sum\limits_{j=1}^nf(a_j))\right)\right)\)

对于任意的 \(S\) 成立。

则 \(f(x)+\frac{x}{A}=\frac{A-x}{2A}f(x)+\frac{x}{2A}(f(x-1)+f(1))+\frac{x^2}{2A^2}f(x)+\frac{x(A-x)}{2A^2}f(x-1)+\frac{x(A-x)}{2A^2}f(x+1)+\frac{(A-x)(A-x)}{2A^2}f(x)\)。

为了消去常数项,我们令 \(f(1)=2\)。

整理得 \(f(x+1)=\frac{3A-2x}{A-x}f(x)-\frac{2A-x}{A-x}f(x-1)\)。

可以得到 \(f(x+1)-f(x)=\frac{2A-x}{A-x}(f(x)-f(x-1))\)。

记 \(g(x)=f(x+1)-f(x)\),则有 \(g(x)=\frac{2A-x}{A-x}g(x-1)\),由此可以 \(O(n)\) 计算出 \(f(n)\),把每个数拆成分子分母维护,注意一下常数(开一个 C++20)就可以过了。

CF850F Rainbow Balls

记 \(f(x)\) 为有 \(x\) 个球的颜色的势能,\(A=\sum\limits_{i=1}^na_i\)。

考虑 \(E(F(S'))=F(S)+1\)。

我们有 \(\sum\limits_{i=1}^nf(a_i)+1=\sum\limits_{i=1}^n\frac{a_i}{A}\left(\sum\limits_{j\neq i}\frac{a_j}{A-1}\left(f(a_i+1)+f(a_j-1)+\sum\limits_{k\neq i,k\neq j}f(a_k)\right)+\frac{a_i-1}{A-1}\sum\limits_{j=1}^nf(a_j)\right)\)。

对于任意的 \(S\) 成立。

则 \(f(x)+\frac{x}{A}=\frac{x(A-x)}{A(A-1)}f(x+1)+\frac{x(x-1)}{A(A-1)}f(x)+\frac{(A-x)x}{A(A-1)}f(x-1)+\frac{(A-x)(A-x-1)}{A(A-1)}f(x)\)。

整理得 \(f(x+1)=2f(x)-f(x-1)+\frac{A-1}{A-x}\)。

令 \(f(0)=0\)。

初始态的 \(\sum\limits_{i=1}^nf(a_i)\) 是好求的,但是我们还有求一个 \(f(A)\),这个是无法递推的。

考虑 \(f(x+1)-f(x)=f(x)-f(x-1)+\frac{A-1}{A-x}\)。

记 \(g(x)=f(x+1)-f(x)\),则 \(g(x)=g(x-1)+\frac{A-1}{A-x}\)。

有 \(g(x)=g(0)+\sum\limits_{i=1}^x\frac{A-1}{A-i}\)。

令 \(g(0)=0\),有 \(g(x)=\sum\limits_{i=1}^x\frac{A-1}{A-i}\)。

所以 \(f(x)=f(0)+\sum\limits_{i=0}^{x-1}g(i)=\sum\limits_{i=0}^{x-1}\sum\limits_{j=1}^i\frac{A-1}{A-j}\)。

所以 \(f(x)=\sum\limits_{i=1}^{x-1}\frac{(A-1)(x-i)}{A-i}\)。

所以 \(f(A)=\sum]limits_{i=1}^{A-1}\frac{(A-1)(A-i)}{A-i}=(A-1)^2\)。

这样就解决了计算 \(f(A)\) 的问题。

小结

对于后三题这种每一次调整 \(1\) 的题目,发现最后整理出来的式子都是 \((A+B)f(x)=Af(x+1)+Bf(x-1)+C\) 的形式,这提醒我们在递推有困难的时候可以考虑转成差分的形式处理,可能会有很好的效果。

标签:停时,势能,frac,limits,定理,2A,例题,sum,neq
From: https://www.cnblogs.com/Xun-Xiaoyao/p/17899759.html

相关文章

  • 亲情的欧拉定理
    欧拉定理指出产量分配净尽定理,指在完全竞争的条件下,假设长期中规模收益不变,则全部产品正好足够分配给各个要素。白话版如果总量不变的前提下产出的产品正好足够分配给各个要素增加了要素每个要素就会减少生产硬件不更新,本质不变化,分配不是无限的亲情人的的爱总量是......
  • 给祖传系统做了点 GC调优,暂停时间降低了 90%
    问题描述公司某规则引擎系统,在每次发版启动会手动预热,预热完成当流量切进来之后会偶发的出现一次长达1-2秒的YoungGC(流量并不大,并且LB下的每个节点都会出现该情况)在这次长暂停之后,每一次的年轻代GC暂停时间又都恢复在20-100ms以内2秒虽然看起来不算长吧,但规则引擎每次执行也才......
  • 微分中值定理
    微分中值定理一、罗尔定理内容如果函数\(f(x)\)满足:在\([a,b]\)上连续;在\((a,b)\)内可导;在区间端点处的函数值相等,即\(f(a)=f(b)\)。那么在\((a,b)\)内至少有一点\(\xi(a<\xi<b)\)使得函数\(f(x)\)在该点处的导数零,即\(f'(\xi)=0\)。证明由于函数\(f(x)......
  • 微分中值定理
    微分中值定理罗尔定理观察下图设曲线\(AB\)是函数\(y=f(x)(x\in[a,b])\)的图形.图中两端点的纵坐标相等,即\(f(a)=f(b)\)可以发现在曲弧线的最高点\(C\)处或最低点\(D\)处,曲线有水平的切线.记\(C\)点的横坐标为\(\xi\)那么就有\(f'(\xi)=0\).那么可以......
  • 中心极限定理
    我们在证明弱大数定理的时候运用了Markov不等式\(\Pr[\left|\dfrac{S_n}{n}\right|^2>\varepsilon^2]\leq\dfrac{E\left[\left(\frac{S_n}{n}\right)^2\right]}{\varepsilon^2}\)。现在我们考虑更一般的把\(n\)替换成\(f(n)\),我们发现只有当\(f(n)=\sqrt{n}\cdoth(n)\)时\(\dfrac......
  • SG定理证明
    前置知识有向图游戏概念。单个有向图游戏中\(\textrm{SG}\)函数的求值(\(\textrm{mex}\)运算)。以上内容请自行查阅,这里不会多说。前言本文受启发于OIWiki,采用相同的数学归纳法进行证明,但对计算的原理进行了补充,也补足了一些细节。网上许多\(\textrm{SG}\)定理的证明只......
  • 算数基本定理
    算数基本定理定理对于整数\(a>1\),必有\(a=p_1^{a_1}p_2^{a_2}\dotsp_s^{a_s}\),其中\(p_j(1\leqj\leqs)\)是两两不相等的质数,\(a_j(1\leqj\leqs)\)表示对应质数的幂次。在不计次序的意义下,该分解式是唯一的。运用于质因数分解:intDecomposition(intx,inta[]){......
  • 用零点存在定理看二次方程根的分布
    前言以前写过一篇关于二次方程根的分布问题的博文,感觉思路混乱,也不想再修改,故重新开一篇博文探讨这个问题,初次尝试用零点存在定理来分析二次方程根的分布,自编题目,有待商榷,希望多提宝贵意见。典例分析为了降低思维的难度,我们首先看这个比较特殊的例子,已知函数\(f(x)=-x^2+2x+......
  • 数学_四平方定理
    题目链接:H-数学_2023中国大学生程序设计竞赛(CCPC)新疆赛区(nowcoder.com)题意:  有数学知识可知: 本题如果根据贪心,每个先用最大的数来凑,会出错,比如12==9+1+1+1,但是答案是12==4+4+4,就会出错题解思路dp[],dp[i]表示从j<i凑到i需要的最小个数,转移方......
  • Tea总结(例题形式)
    Tea总结(例题形式)[GDOUCTF2023]Tea老规矩,pe查壳,无壳64位,拖进IDA中在Function模块中没有找到main函数,看看String里面有没有发现了fake_flag,点进去看看发现sub,跟进看到以下内容发现sub_140011339中的sub_1400117D0有有用内容那么key的值就是key[]=再跟进到sub_1400112B7下......