首页 > 其他分享 >T4 前瞻

T4 前瞻

时间:2024-10-03 17:33:26浏览次数:4  
标签:方案 连通 limits T4 权值 条边 sum 前瞻

二项式反演:

\[f(n)=\sum\limits_{i\ge n}{i\choose n}g(i)\iff g(n)=\sum\limits_{i\ge n}(-1)^{i-n}{i\choose n}f(i) \]

设 \(f(k)\) 表示在新树上钦定 \(k\) 条边与原树相同的方案数,\(g(k)\) 表示恰有 \(k\) 条边与原树相同的树的个数(答案),则只需求出 \(f\)。

考虑求 \(f(k)\)。若连上某 \(k\) 条边后形成 \(m\) 个连通块,第 \(i\) 个连通块大小为 \(a_i\),则钦定这 \(k\) 条边与原树相同的方案数为 \(n^{m-2}\prod a_i\)。

考虑 \(\prod a_i\) 的组合意义,发现就是从每个连通块里选一个点的方案数,

所以如果没有那个 \(n^{m-2}\),就是要求选定 \(k\) 条边,再从形成的每个连通块里选一个点的方案数,

把 \(n^{m-2}\) 看成形成了 \(m\) 个连通块的方案的权值,则 \(f(k)\) 就是选了 \(k\) 条边的每种方案的权值和。

Sol 1

设 \(f_{u,i,0/1}\) 表示在 \(u\) 子树中选择 \(i\) 条边,在 \(u\) 所在的连通块中是/否已经选了一个点的方案的权值和,树上背包转移即可。

空间开不下,所以把 \(u\) 的孩子 \(v\) 合并到 \(u\) 上之后,把 \(v\) 的状态占用的内存释放掉,这样空间是 \(O(n)\) 的。

Sol 2

设 \(F(x)=\sum\limits_{i=0}^{n-1}f(i)x^i\)(\(F\) 是 \(f\) 的 OGF),考虑拉插出 \(F\) 的系数 \(f\)。考虑如何求 \(F\) 的点值。

规定在之前的基础上,每连一条边方案的权值就乘上 \(x\),即连 \(k\) 条边形成 \(m\) 个连通块的方案的权值为 \(n^{m-2}x^k\),

则 \(F(x)\) 就是所有方案的权值和(没有选择边数限制),可以用上面的 DP 去掉第二维解决。

这样任取 \(n\) 个互不相同的 \(x_i\),求出对应的 \(F(x_i)\),拉格朗日插值即可算出各项系数。

拉格朗日插值:

\[F(x)=\sum\limits_{i=1}^nF(x_i)\prod\limits_{j\ne i}\dfrac{x-x_j}{x_i-x_j} \]

标签:方案,连通,limits,T4,权值,条边,sum,前瞻
From: https://www.cnblogs.com/5k-sync-closer/p/18445837

相关文章

  • 【股市前瞻】10月“金股”大揭秘:宁德时代独领风骚,还有哪些黑马股将脱颖而出?
    随着9月牛市的余温未散,投资者们纷纷将目光投向即将到来的10月股市。在这个关键时刻,券商机构发布的金股组合无疑成为了市场关注的焦点。据wind数据显示,目前已有10余家券商发布了10月金股名单,涵盖了非银金融、新能源、医药、半导体等多个热门领域。在这些备受瞩目的个股中,宁德时......
  • Study Plan For Algorithms - Part48
    1.不同的二叉搜索树II给定一个整数n,请生成并返回所有由n个节点组成且节点值从1到n互不相同的不同二叉搜索树。classSolution:defgenerateTrees(self,n:int)->List[Optional[TreeNode]]:ifn==0:return[]returnself.g......
  • Study Plan For Algorithms - Part47
    1.复原IP地址有效IP地址正好由四个整数(每个整数位于0到255之间组成,且不能含有前导0),整数之间用'.'分隔。给定一个只包含数字的字符串s,用以表示一个IP地址,返回所有可能的有效IP地址,这些地址可以通过在s中插入'.'来形成。classSolution:defrestoreI......
  • jsp“海洋生态环境保护宣传”网站设计与实现f87t4--程序+源码+数据库+调试部署+开发环
    本系统(程序+源码+数据库+调试部署+开发环境)带论文文档1万字以上,文末可获取,系统界面在最后面。系统程序文件列表用户,海洋知识,知识分类,视频专区,活动报名,报名信息,截止报名技术要求:开发语言:JSP前端使用:HTML5,CSS,JSP动态网页技术后端使用SpringBoot,Spring技术主数据......
  • SpringBoot456航空订票管理系统
    ......
  • 【网站项目】SpringBoot456航空订票管理系统
    ......
  • 题解:P11132 【MX-X5-T4】「GFOI Round 1」epitaxy
    1.做法及证明因为\(n\)一定会被包含在某一区间内,所以最后答案肯定是\(n\)的因数。先给出结论:对于\(n\)的因数\(d\),其合法的充要条件为\(d\lem\),所以我们只需要找到第一个小于等于\(m\)的\(d\)即可。接下来我们来证明。下文用\(i'\)表示以第\(i\)位开头的长度......
  • Springboot乐享游乐场管理系统的设计与实现t4xv8--程序+源码+数据库+调试部署+开发环
    本系统(程序+源码+数据库+调试部署+开发环境)带论文文档1万字以上,文末可获取,系统界面在最后面。系统程序文件列表系统功能:员工,游乐设施,设施采购,设施维修,设施损坏,商店类型,商店信息开题报告内容一、研究背景与意义随着休闲娱乐产业的快速发展,游乐场作为家庭娱乐的重要......
  • Linux挂载ext4 ramdisk
    划分一块DRAM作为ramdisk在/etc/default/grub改:GRUB_CMDLINE_LINUX="memmap=4G!4G"然后重启就可以看到/dev/pmem0,这就是划分出来的ramdisk了。格式化mkfs-text4/dev/pmem0挂载这里的挂载点设置为了/mnt/pmem。mkdir-p/mnt/pmemmount-text4/dev/pmem0/mnt/pmem......
  • gpt4最新保姆级教程
     如何使用WildCard服务注册Claude3随着Claude3的震撼发布,最强AI模型的桂冠已不再由GPT-4独揽。Claude3推出了三个备受瞩目的模型:Claude3Haiku、Claude3Sonnet以及Claude3Opus,每个模型都展现了卓越的性能与特色。其中,Claude3Opus更是实现了对GPT-4的全......