「总结」$dp1$
大概就是做点题。
先列一下要做的题目列表,从\(UOJ\)上找的。
129寿司晚宴
348州区划分
370滑稽树上滑稽果
457数树
22外星人
37主旋律
300吉夫特
196线段树
311积劳成疾
量子态的棋盘(咕咕咕)
题目交流通道(咕咕咕)
1.寿司晚宴
这个题还是不错的,之前学长讲过一次。
不过不记得了。还是被根号算法教做人了。
首先数据范围是500。
考虑这里面的质因子个数有多少个。
事实上很多,早就超过了20个。
而考虑\(\sqrt{n}\)以下的最多有多少个呢?
事实上只有\(8\)个。
而任何一个小于\(n\)的数必然至多含有一个大于\(\sqrt{n}\)的质因子。
那么我们考虑状压这\(8\)个质因子。
设\(dp[s][t]\)为第一个人和第二个人已经选择了的质因子集合直接将没有大于\(\sqrt{n}\)质因子的数字加入贡献。
剩下的我们可以发现只有一个人可以含有某个大于\(\sqrt{n}\)的质因子或者两个人都不含。
这样将全部的最大质因子大于\(\sqrt{n}\)的数先\(dp\)一次压在一起在当成一个数来进行\(dp\)就可以了。
是一个\(dp\)嵌套。
最后统计答案就可以了。
2.州区划分
事实上是\(FMT\)的板子题。
设分成了\(T\)个部分,每个部分的集合为\(S_i\)
首先我们要求的是:
\]
事实上可以直接\(dp\)。
但是\(dp\)之前首先要判断一下集合的合法性,就是判断是否是一个联通的欧拉回路。
怎么做?
设\(su[s]=\sum\limits_{i\in S}w_i\)
设\(dp[s]\)为当前已经处理的集合为\(S\)的答案。
那么初始化:
\(dp[0]=1\)
要求的是\(dp[mx]\)
枚举当前添加进来的集合是\(T\),得到转移方程。
\]
这样直接转移枚举子集的复杂度是\(3^n\)的。
肯定吃不消。
我们考虑如何优化这个过程呢?
这个过程事实上是一个裸的子集并卷积。
直接\(FMT\)即可。
复杂度是\(O(n^22^n)\)
3.滑稽树上滑稽果
说是个树就是骗你的。
如果树上存在一条链,那么显然把剩余的部分接到链的后面更加优秀。
然后呢?
我们把全部果子都有的位置先拿出来因为这些位置最后必然是1,设为\(k\)。
然后让全部果子都异或\(k\),这样最终的与和必然是0。
设\(dp[s]\)为当前与和为\(s\)的情况下的最小代价。
初始化\(dp[a[i]]=a[i]\)。
这样我们来枚举每个果子然后判断转移即可。
考虑如何判断是否可以转移。
我们枚举当前集合的一个子集\(t\)。
然后判断是否存在一个果子可以刚好与掉这一部分子集。
那么我们需要判断的其实是这个果子是否是与掉部分的补集的子集。
但是其实仍然需要判断是否是当前剩余部分\(s-t\)的超集。
然后发现这样其实无所谓。
由于最优决策必然会转移,而这种决策如果是不合法的(能够与掉更大的集合却没有与掉),其实是不优秀的转移,会被更加优秀的转移所覆盖掉(因为最终需要的结果只有一个是\(dp[0]\),所有的转移最终都会收敛到\(0\)的位置)。
那么需要判断的只有一个了,就是是当前枚举的与掉的补集的子集,这个好判断。
其实就是判断一个是否存在一个\(a_i\)是某个集合的子集。直接用\(FMT\)进行一次子集合并就可以了。
然后紧接着考虑判重问题。
如果一个状态转移了很多次同一个果子怎么办?
其实也无所谓。
因为转移多了的话必定是转移到当前的集合上面来。
这样\(dp[s]=min(dp[s],dp[s]+s)\)
最优结果是不会发生变化的。
4.数树
可以用类似生成树计数的方式来做,不过这里考虑用组合意义来解题。
先考虑第一问。
其实是最简单的。
我们只需要把重边加入并查集,最后判断有几个集合即可。
然后直接快速幂就行了。
第二问是解题的关键部分。
首先有一个很显然的结论:
\]
我们考虑对于每种树所作出的贡献,我们设有\(r\)条重边。
那么枚举这个树为\(T\),得到。
\]
然后我们考虑这个组合意义。
实际上是对于这个重边集合的每个子集\(S\),都作出\((y^{-1}-1)^{|S|}\)的贡献。
这样我们换个方式直接枚举边集,考虑有多少个生成树的重边集合是包含这个子集的,设包含边集\(E\)的方案为\(F(E)\)。
那么:
\]
我们设这个边集所形成的点集为\(m\)个,并且每个联通块的大小用\(\{a_i\}\)来表示。
利用\(prufer\)序列得到:
\]
就是说我现在让\(n\)个点生成一个\(m-2\)长度的\(prufer\)序列,相当于将每个点分配给\(m\)个联通块作为代表元素,而同时,每个联通块都有\(a_i\)个点,每个点都有可能作为代表元素,所以有了后面的\(\prod\)。
这样接着推柿子:
ans&=y^n\sum\limits_{E}(y^{-1}-1)^{|E|}F(E)\\
&=y^n\sum\limits_{E}(y^{-1}-1)^{|E|}n^{m-2}\prod\limits_{i=1}^{m}a_i\\
&=y^n\sum\limits_{E}(y^{-1}-1)^{n-m}n^{m-2}\prod\limits_{i=1}^{m}a_i\\
&=y^n(y^{-1}-1)^nn^{-2}\sum\limits_{E}((y^{-1}-1)^{-1}n)^{m}\prod\limits_{i=1}^{m}a_i\\
&=(1-y)^nn^{-2}\sum\limits_{E}\prod\limits_{i=1}^{m}a_i(y^{-1}-1)^{-1}n\\
\end{aligned}\]
边数等于点数-连通块数。
考虑后面这个东西的组合意义。
就是在要求把树分成\(m\)个联通块的情况下在每个连通块中选择一个特殊点作为染色点,然后每个联通块要乘上的贡献是\(n(y^{-1}-1)^{-1}\)
这样问题就变得简单起来了。
我们做一次\(dp\)就可以解决了。
我们设\(dp[x][0/1]\)为当前点为\(x\),\(x\)及其归并的子树中\(x\)所在的联通块(已经/还未)存在关键点的贡献总和。
设\(w=n(y^{-1}-1)^{-1}\)
初始化:\(dp[x][0]=1,dp[x][1]=w\)
这样有转移方程:
\]
\]
这样就可以\(O(n)\)的得到答案了。
第三问要用到生成函数了。
我们考虑一下对于每个生成树,我们仍然考虑他的边集所做的贡献。
这样的话仍然枚举一次生成树:
\]
仍然枚举边集,考虑被计算的次数:
ans&=(1-y)^{n}n^{-2}\sum\limits_{E}F(E)\prod\limits_{i=1}^{m}a_i(y^{-1}-1)^{-1}n\\
&=(1-y)^nn^{-2}\sum\limits_{E}n^{m-2}\prod\limits_{i=1}^{m}a_i^2(y^{-1}-1)^{-1}n\\
&=(1-y)^{n}n^{-4}\sum\limits_{E}\prod\limits_{i=1}^{m}a_i^2(y^{-1}-1)^{-1}n^2\\
&=(1-y)^{n}n^{-4}\sum\limits_{E}((y^{-1}-1)^{-1}n^2)^{m}\prod\limits_{i=1}^{m}a_i^2\\
P(m)&=((y^{-1}-1)^{-1}n^2)^{m}\\
ans&=(1-y)^{n}n^{-4}\sum\limits_{E}P(m)\prod\limits_{i=1}^{m}a_i^2\\
\end{aligned}\]
这样我们设立一个指数生成函数\(G(x)\)。
我们让\(e_i=P(i)i^2i^{i-2}\),这个是什么呢?
我们用一个大小为\(i\)的联通块进行组合,这样我们得到了的贡献就是\(i^2\),而这种情况存在的内部的方案有\(i^{i-2}\)种(\(prufer\))序列。
而我们让:
\]
这样的话就是一个联通块的方案和贡献合并的生成函数了。
我们考虑一棵树的某些边集能够形成多个连通块,所以这张图的生成函数是多个连通块的组合。
于是我们设有\(n\)个点的树的贡献生成函数为\(F(x)\)。
因为必然至少有一个联通块,并且每个联通块内部已经有所编号,那么联通块是没有编号的,所以除掉阶乘,那么有:
\]
这样直接用一个\(exp\)就可以算出来了。
答案就是:
\]
复杂度是\(O(nlogn)\)的。
5.外星人
这个题好像还挺简单的。
首先我们知道如果一个比较小的数比一个比较大的数更加靠前的话。
那么后边那个比较大的数其实是没有用的。
这样我们按照从小到大排序,然后枚举每个数是否起作用就可以转移了。
当然最小的那个数必须要其作用。
然后考虑如何\(dp\)方案。
设\(dp[i][j]\)为在考虑前\(i\)个人的情况下,当前答案为\(j\)的方案数。
这样可以得到转移方程:
\]
后面那个表示当前这个不起作用,那么他所在的位置就有\(n-i\)种(后面的都比他要小随便插入进去就可以了)。
6.主旋律
clj出的神题。。
神如骨髓。
首先回顾一下简单一点的版本。
巨神兵。
一个简单的有向图\(DAG\)计数。
我们设\(dp[S]\)为集合\(S\)形成一个\(DAG\)的方案数。
那么我们试着构造分层图。
这样的话我们考虑枚举最后一层,即入度为\(0\)的方案。
转移的话就是:
\]
为什么呢?
因为我们枚举的\(T\)不一定是全部不的入度为0的点。
这样的话可能出现如下情况:
\(A\)先入\(DAG\),\(B\)后入和\(B\)先入\(A\)后入,而具体的连边方式是不变的。
那么这样就必须要减去\(AB\)同时出现的方案。
这样的话就是一个奇加偶减了。
也就是上面那个容斥系数。
现在这个呢?
其实本质上是一样的。
就是从枚举点集变成了枚举强联通。
我们设\(g[S]\)为集合\(S\)中奇数个互不相交的强联通的方案\(-\)偶数个互不相交的强联通的方案。
设\(dp[S]\)为\(S\)的强联通生成方案。
设\(c\)为某个集合的边数。
这样就有简单的转移了。
\]
也就是我们枚举一个新的强联通加入当前集合,由于\(g[0]=0\),所以还要加入只有一个强联通的方案,可以枚举1这个点所在的缩点 \(DAG\) 0入度层。
根据上面那个条件来说有:
\]
\]
我们枚举的是\(DAG\)的点集,而这些点是不能被连入边的,
同时剩余的部分\(S-T\)只需要随意的删减边即可,缩点之后必然形成若干个\(DAG\)。
我们按照奇偶来划分的话,就必然使得这个\(dp\)满足最上面\(DAGdp\)的容斥系数。
相当于在带着容斥系数\(dp\)。
而我们的\(dp[S]\)就是总的方案数减去缩点后为一个点数大于\(1\)的\(DAG\)的方案数。
注意这里的转移似乎出现了环。实际上不是这样的。
因为容斥减去的必然不能含有整个集合缩为一个强联通的方案。
所以当时的\(g[S]\)必须暂时的不加入\(dp[S]\),而求出\(dp[S]\)之后再将之加入。
复杂度就是\(n3^n\)的。
加入一些卡常技巧就可以通过了。
7.吉夫特
怎么说\(O(n^2)\)的\(dp\)还是挺简单的。
我们改变一下那个取模的式子。
是怎么样的呢?
\]
这样其实就可以发现必须要求\(n\)在二进制下的每一位都要大于等于\(m\)。
这样可以进行一个\(O(n^2)\)的\(dp\)了。
然后对于位置,枚举当前点的超集进行\(dp\),就可以通过了。
8.线段树
浙江题质量真高啊,完全没思路的说。
首先我们需要求得数组是:
\]
表示位置\(i\)最终大小是排名为\(j\)的数的方案。
那么:
\]
其中\(w[j]\)表示大小为\(j\)的数是多少。
考虑怎么求\(su[i][j]\)。
我们设\(dp[T][l][r]\)为对于某一个位置\(x\)来说,第\(T\)轮的时候其能控制的不大于自己的极大区间为\([l,r]\)的方案数。
设\(c[l][r]=(l(l-1)/2+l-1)+((r-l+1)(r-l)/2+r-l+1)((n-r)(n-r-1)/2+n-r)\)
也就是不跨过\(l,r\)的区间个数了。
设一开始用单调栈跑出来的极大区间为\([L,R]\)。
那么:
\]
有转移:
\]
什么意思呢?
有三种转移:
一种是不改变区间,也就是修改的区间不跨过\(l,r\)。
一种是改变区间的左侧,也就是说要修改掉\([i,l-1]\)这段区间,而\(a[i-1]\)一定是大于当前位置的,因为极大区间不能继续扩展了,所以左侧的\(i-1\)个位置均可以作出贡献。
一种是缩小区间的右侧,也就是说要修改掉\([r+1,i]\)。这段区间,而\(a[i+1]\)大于当前位置,所以一样的右侧的\(n-i\)个位置都可以作贡献。
这样就可以较为简单的求出\(su\)数组了。
9.积劳成疾
设\(dp[i][j]\)为长度为\(i\),值域为\([1,j]\)的乘积总和。
设\(c[i][j]\)为长度为\(i\)的数组中,每个长度为\(k\)的区间有多少个覆盖了\(j\)位置。
那么有转移:
\]
首先\(j\)这个值可以不出现,这样的总和为\(dp[i][j-1]\)。
然后如果出现了。
我们就枚举他出现的第一个位置\(k\)。
这样这个位置为最大值的情况下有\(w_j^{c[i][k]}\)的贡献。
同时左右两侧的区间贡献分别为\(dp[k-1][j-1]\)和\(dp[i-k][j]\),由于枚举了第一次出现的位置,所以左侧值域是\([1,j-1]\),而右侧可以再次出现,所以值域是\([1,j]\)。
注意特判没有区间出现的情况,计算贡献的时候按照方案来算即可。
答案是\(dp[n][n]\)。
「总结」$dp1$的更多相关文章
- Linux 小知识翻译 - 「RAID」
最近术语「RAID」变得比较有名.「RAID」是指将多个HDD组合起来使用,从而提高存储可靠性的一种技术. 那么,关于 RAID 中的 「RAID 0」「RAID 1」「RAID 5」等各种「RAID ...
- 正则表达式从入门到放弃「Java」
正则表达式能做什么? 正则表达式可以用来搜索.编辑或处理文本. 「都懂它可以处理文本,可到底是怎么回事?」 正则表达式的定义 百度百科:正则表达式是对字符串操作的一种逻辑公式,就是用事先定义好的一些特 ...
- Scala 学习(10)之「集合 」
数组 定长数组 Array:采用()访问,而不是[],下标从 0 开始. val array1 = new Array[String](5) //创建数组 println(array1) //返回数组 ...
- JavaScript OOP 之「创建对象」
工厂模式 工厂模式是软件工程领域一种广为人知的设计模式,这种模式抽象了创建具体对象的过程.工厂模式虽然解决了创建多个相似对象的问题,但却没有解决对象识别的问题. function createPers ...
- Facebook 发布「流程」
时不时就会在面试过程中碰到有候选人问 Facebook 是否采用 Scrum 之类的敏捷方法,偶尔也会有中国的朋友问及 Facebook 上线流程.我通常会简单说几句,然后说「如果你真感兴趣的话,去搜 ...
- 「30天自制操作系统」 Stop & 「OS67 」 Start
废话 整个十月都没有再写一点什么, 其实没什么好写的, 把书里的东西码出来贴在博客里实在没什么意思, 况且书里已经写得够详细了. 这本书给我最深刻的感觉是, 作者通过简化一些细节, 一步一步地模拟整个 ...
- jvm系列(十):如何优化Java GC「译」
本文由CrowHawk翻译,是Java GC调优的经典佳作. 本文翻译自Sangmin Lee发表在Cubrid上的"Become a Java GC Expert"系列文章的第三 ...
- spring cloud 入门,看一个微服务框架的「五脏六腑」
Spring Cloud 是一个基于 Spring Boot 实现的微服务框架,它包含了实现微服务架构所需的各种组件. 注:Spring Boot 简单理解就是简化 Spring 项目的搭建.配置.组 ...
- 从 Spring Cloud 看一个微服务框架的「五脏六腑」
原文:https://webfe.kujiale.com/spring-could-heart/ Spring Cloud 是一个基于 Spring Boot 实现的微服务框架,它包含了实现微服务架构 ...
- Linux 小知识翻译 - 「syslog」
这次聊聊「syslog」. 上次聊了「日志」(lgo).这次说起syslog,一看到log(日志)就明白是怎么回事了.syslog是获取系统日志的工具. 很多UINIX系的OS都采用了这个程序,它承担 ...
随机推荐
- jooq使用示例
一.说明 最近使用的项目,采用了jooq. 通过学习api文档和自我调试,写了一些代码,在此处进行记录. 二.代码 一切尽在代码中-- 参考文档:http://www.jooq.org/doc/3.1 ...
- 【Nginx】Linux常用命令------启动、停止、重启
启动 启动代码格式:nginx安装目录地址 -c nginx配置文件地址 例如: [root@LinuxServer sbin]# /usr/local/nginx/sbin/nginx -c /us ...
- 【转】shell脚本中echo显示内容带颜色的实现方法
shell脚本中echo显示内容带颜色的实现方法 shell脚本里使用echo输出颜色
- Apollo 配置中心详细教程
一.简介 Apollo(阿波罗)是携程框架部门研发的分布式配置中心,能够集中化管理应用不同环境.不同集群的配置,配置修改后能够实时推送到应用端,并且具备规范的权限.流程治理等特性,适用于微服务配置管理 ...
- logstash-input-jdbc配置说明
Logstash由三个组件构造成,分别是input.filter以及output.我们可以吧Logstash三个组件的工作流理解为:input收集数据,filter处理数据,output输出数据.至于 ...
- 本地文件名大写,提交到git仓库后变成了小写
输入改命令即可: git config core.ignorecase false
- 解决navicat 导出excel数字为科学计数法问题
1.原因分析 用程序导出的csv文件,当字段中有比较长的数字字段存在时,在用excel软件查看csv文件时就会变成科学技术法的表现形式. 其实这个问题跟用什么语言导出csv文件没有关 ...
- Unittest 框架之测试固件-----(setUp与tearDown)你真的会用吗?
前言 做自动化测试中,需要管理大量的测试用例,如果不用框架管理用例,那会是一件很麻烦的事. 如果所示只写了一个用例,内容就是输入网易邮箱账号和密码 test fixture:测试固件 简单来说就是做一 ...
- vue成就购物城的功能 (展示增删改查)
<!DOCTYPE html><html> <!DOCTYPE html> <html> <head> <meta charset=& ...
- 讲师征集| .NET Conf China 2021正式启动
最近社区小伙伴们一直在为11月即将在武汉举办的 第三届.NET中国峰会而忙碌,社区活动官网设计和开发工作还在进行,我们在国庆节的前一天晚上向社区正式启动了活动的序幕,也就是我们确定好了举办地点.时间, ...