当前位置: 首页 > news >正文

拉格朗日反演定理(LIFT)

最近没什么心情更新博客,原来的文章可能永远都不会修改
由于学校组合数学课即将学到拉反,所以预习一下
拉反的描述:给定一个形式幂级数\(F(x)\)满足方程关系\(x=\frac{F(x)}{G(F(X))}\),它是代数组合学最重要的定理之一。
\(F\)可能没有解析解,有时我们想要求出\(F\)的某项系数可以使用拉反(必须满足\(G\)的常数项为\(0\)):\([x^n]H(F(x))=\frac{1}{n}[x^{n-1}]H'(x)G(x)^n\)
拉反存在解析和组合证明,但是这里先不写(而且组合证明考试也不会考)。
应用:例1:数列\(\{a_i\}\)满足\(a_0=1,a_{n+1}=\sum_{i+j+k=n}a_i+a_j+a_k\),求\(a_n\)
解:假设\(a\)的母函数为\(F(x)\),根据题意有\(F(x)=xF(x)^3+1,\frac{F(x)-1}{F(x)^3}=x\)
\(G(x)=F(x)-1\),得到\(\frac{G(x)}{(G(x)+1)^3}=x\)。由于\(a_0=1,[x^0]G(x)=0\)
根据拉反令\(H(x)=1\),得知\([x^n]G(x)=\frac{1}{n}[x^{n-1}](x+1)^{3n}=\frac{1}{n}\binom{3n}{n-1}\)
例2(ABC222H):转化后得到方程\(F=x(F+(F+1)^2)^2\)
所以\(\frac{F}{(F+(F+1)^2)^2}\),根据拉反得知\([x^n]F(x)=\frac{1}{n}[x^{n-1}](x+(x+1)^2)^{2n}\)
\(=\frac{1}{n}[x^{n-1}]\sum_{i=0}^{2n}\binom{2n}{i}x^i(x+1)^{4n-2i}\)
\(=\frac{1}{n}\sum_{i=0}^{2n}\binom{2n}{i}[x^{n-1}]x^i(x+1)^{4n-2i}\)
\(=\frac{1}{n}\sum_{i=0}^{n-1}\binom{2n}{i}[x^{n-1-i}](x+1)^{4n-2i}\)
\(=\frac{1}{n}\sum_{i=0}^{n-1}\binom{2n}{i}\binom{4n-2i}{n-1-i}\),显然可以在\(O(n)\)时间内计算。
例3:证明\((a+b)(a+b+n)^{n-1}=\sum_{k=0}^n\binom{n}{k}a(a+k)^{k-1}b(b+n-k)^{n-k-1}\)
考虑计算\(e^{(a+b)F(x)}\)\(F(x)=xe^{F(x)}\)
首先把\(e^{(a+b)F(x)}\)当做一个整体运用拉反,得到\([x^n]e^{(a+b)F(x)}=\frac{1}{n}[x^{n-1}](a+b)e^{(a+b)x}e^{nx}\)
\(=\frac{1}{n}[x^{n-1}](a+b)e^{(a+b+n)x}=\frac{1}{n}(a+b)(a+b+n)^{n-1}\frac{1}{(n-1)!}\)
然后显然\(e^{(a+b)F(x)}=e^{aF(x)}e^{bF(x)}\)
\([x^n]e^{aF(x)}e^{bF(x)}=\sum_{i=0}^n([x^i]e^{aF(x)})([x^{n-i}]e^{bF(x)})\)
首先计算\([x^i]e^{aF(x)}\),根据拉反可以得到\([x^i]e^{aF(x)}=\frac{1}{i}[x^{i-1}]\)
例4:证明

http://www.rkmt.cn/news/3591.html

相关文章:

  • 深入解析:中国AI云市场报告:阿里云份额达35.8%,高于2至4名总和
  • 暑假周进度总结
  • 万能欧几里得算法
  • 直播软件源码,聊聊Java的异常机制问题 - 云豹科技
  • 2025 项目管理到底用什么软件?
  • 我就是我不一样的烟火
  • Win11纯净版D盘出现黄色感叹号的问题
  • Windows下查看主板序列号命令
  • Java开发者无需Python!JBoltAI让AI应用开发像搭积木一样简单
  • 黑窗
  • Python天猫订单数据与日化商品销售数据RFM模型应用可视化分析
  • JBoltAI重塑智能检索:问题重写与混合检索如何破解企业RAG应用瓶颈
  • JBoltAI文档提取技术:企业智能升级的数据解锁之道
  • 视频讲解|Python用ResNet残差神经网络在大脑出血CT图像描数据预测应用
  • [能源化工] 面向锂电池RUL预测的开源项目全景速览
  • 基于Python+Vue开发的鲜花商城管理系统源码+运行
  • 【ARM Cache 及 MMU 系列文章 6.5 -- 如何进行 Cache miss 统计?】
  • CF482C Game with Strings
  • 0912模拟赛总结
  • 相机标定
  • 深度学习隐私测试框架PrivacyRaven全面解析
  • 华硕灵耀双屏不定时死机,开机蓝屏 其一解决方法
  • 完整教程:Java 抽象(abstract)关键字
  • 自建rustdesk服务器,不填写中继地址无法连接的解决
  • 2025.9.13——1黄
  • 数据结构与算法-30.图-拓扑排序
  • CF1796E Colored Subgraphs
  • 更灵活易用、延迟超低、更多情感语音支持!地表最强 Voice Agent 开源框架再进化!丨TEN Framework 更新
  • 详细介绍:【干货收藏】Transformer架构深度拆解:大模型入门核心指南
  • PsExec