2021暑假集训

2021.7.5A组
t1 考虑二分一个$mid$，设$f_i$为将$1\sim i$的单词全部放入横行中并且最大的间隔是否能小于$mid$，容易发现能转移到$f_i$的为一段区间$l_i\sim r_i$，且$\forall i\le j,l_i\le l_j,r_i\le r_j$，所以就可以$O(n)$实现$check$
t2 设$c_{i,j}$为第$i$格后的第一格字符$j$的位置，设$f_s$为状态为$s$的所有单词同时能够找到的最前的位置
容易得到转移：$f_s={\max }_{i\in s}{c}_{f_{s-(1<<i)},i}$
但是当$n>21$时，状压跑不动了，网上说直接输出$NO$，原因好像是因为长度下线为$n^2-n+1\ge 450$
t3
区间筛，先筛出$[1,10^6]$的质数，那么$[1,10^{14}]$的数一定可以被$[1,10^6]$的质数分解，剩下的数要么为$1$，要么为质数

2021.7.6A组
t1 状压$dp$，设$f_s$为将属于$s$的点连接起来的最小代价，将和为$0$的状态拿出来在做一次$dp$即可
t2 不开$longlong$见祖宗，考场时处理车站写了换根$dp$，事实上直接把车站看成一个点就行了
t3 只会$n=1$的情况，设$f_i$为走到前缀$i$的期望步数，如果要走到前缀$i$，首先必须要走到前缀$i-1$，前缀$i-1$可能直接走到$i$，或者走到一个失配前缀$x$，容易得到$f_i=\frac{1}{2}(f_{i-1}+1)+\frac{1}{2}(f_{i-1}+1+f_i-f_x)$，移项得$f_i=2f_{i-1}+2-f_x$
$x$可以用$kmp$得到，就可以直接顺推了

2021.7.7A组
t1 斯坦纳树，之前做过，结果写错了，设$f_{i,s}$为以$i$为根的树，关键点联通状态为$s$时的最小代价，第一种转移，枚举子集合并$f_{i,s}=\underset{s^{\prime }\in s}{\min }{f}_{i,s^{\prime }},f_{i,s-s^{\prime }}$，第二种转移，换根$f_{v,s}=f_{u,s}+w$
，第二种转移可以用$spfa$实现，最后在做一个类似背包的合并即可
t2 赛后才理解题意，首先可以发现一个性质，两个无根树同构，当且仅当以这两棵无根树的中心为根的有根树同构，所以首先找到重心，如果重心有两个，就把边断开再新加入一个点，使重心变为一个，判断有根树是否同构可以使用$hash$判断
设$f_{x,y}$为使以$x$和$y$为根的两课同构子树相同的最小代价，转移就是用$x$和$y$的儿子互相配对，可以用$KM$或费用流实现
t3 只会前四个$subtask$，设$f(i)$为让数$i$变为$0$的期望步数，容易发现$f(i)=f(i\cdot 2^j)$，那么当$i\ne 1$时，无论如何转移$i$都会变小，当$i=1$时可以列出方程$f(1)=\frac{a}{b}(f(1)+1)+(1-\frac{a}{b})(f(0)+1)$，由$f(0)=0$，得到$f(1)=\frac{b}{b-a}$，于是就可以递归求解，加个记忆化就可以得到$40pts$

2021.7.9A组
t1 先将$a,b$约分，容易发现答案与$a$无关，若$gcd(b,k)=1$，相当于求一个最小的$x$，使得$k^x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}b)$，因为$k^{\phi (b)}\equiv 1$，所以$x$为$\phi (b)$的约数，试除法即可，若$gcd(b,k)\ne 1$，那每乘一次$k$，都会将$b$约去$gcd(b,k)$，所以不断将$b$除去$gcd(b,k)$直到$gcd(b,k)=1$，除去次数为混循环长度，然后就可以套用前面的做法
t2 四维偏序，时间为第一维，$cdq$分治处理第二维$x$，树状数组处理第三维，线段树处理第四维，每次$cdq$完一层之后，都将线段树结点清空，可以大大减小常数
t3 将题目分成两个部分
第一部分，先求不同构珠子的数量，容斥可求
第二部分，设不同构珠子数量为$c$，$f(i)$为长度为$i$的环的长度方案，运用$polya$定理即可得出答案为：$$\sum _{i=1}^{n}f(gcd(i,n))$$$$=\sum _{d|n}f(d)\phi (\frac{n}{d})$$$$=\sum _{d|n}\phi (d)f(\frac{n}{d})$$
枚举因数即可$O(\sqrt{n})$求出答案

2021.7.10A组
t1 先在模意义下差分，然后操作变成让一个数+1，另一个数-1，或只让一个数+1或-1，贪心即可
t2 分数规划，二分一个$mid$，然后题目转化为gmoj5432三元组
t3 未知
t4 如果一个字符串是对称的，那它一定可以被分成两个回文串，将字符串翻一倍，用马拉车求出每个字符的回文半径，对于每个$i$求出一个$j$使得$j+h{w}_j>i-h{w}_i+1,i-j\le n$，并使$i-j$最大，线段树实现

2021.7.12A组
t1 不难发现，操作之间可以合并，设$f_{i,j}$为$T$串以$i$开头，$S$串以$j$开头的最长匹配长度，考虑从$f_{i+1,j+1}$转移到$f_{i,j}$，看$j$所在块能否有剩余的$T_i$字母来填补，如果有，那么$f_{i,j}=f_{i+1,j+1}+1$
否则判段已经匹配的段中是否有$T_i$字母，如果有，找到最后一个$T_i$的位置，令之为$k$，则$f_{i,j}=k-j$，否则$f_{i,j}=0$
t2 首先给出一个定理，一个偏序集的最长反链长度为偏序集大小减去最大链匹配数，先跑一遍$floyed$求出偏序集中元素的关系，然后用匈牙利算法求出最大链匹配数
t3 极其恶心的线段树，还没有调出来，先考虑什么样的区间能被$3$整除，如果$1$的个数为偶，显然合法，如果$1$的个数为奇数，当$L(1)=1$时，不合法，当$L(0)\le 1$时，不合法
考虑求出不合法的数量，然后用总集减去不合法数量，即为合法数量，线段树维护$10$个元素，$sum,len,l0,l1,r0,r1,l01,l10,r01,r10$，分$4$种情况讨论计算
t4 未知

2021.7.13A组
t1 考虑使用费用流解决，思考如何建图，建立超级源点$s$和超级汇点$t$，用$n$个点表示横行，$m$个点表示竖行，$s$向每个表示横行的点连一条流量为$2$，费用为$0$的边，表示每个横行最多选$2$块地，每个表示竖行的点向$t$连一条流量为$2$，费用为$0$的点，表示每个竖行最多选两个块，对于一个$a_{i,j}$，我们让第$i$个横行的点向第$j$个竖行的点连一条流量为$1$，费用为$a_{i,j}$的边，跑最大费用即可，注意不需要最大流，所以当$dis\le 0$时，就可以停止程序
t2 考虑双标记线段树，推出一个标记下传时对其他标记的影响，出现点被毁坏时，暴力找出并删除，由于每个点最多被删一次，所以复杂度是对的
t3 $$\sum _{i=1}^n\sum _{d|n}(d,\frac{n}{d})$$考虑用$i$和$j$枚举$d$和$\frac{n}{d}$$$\sum _{i=1}^n\sum _{j=1}^{\lfloor \frac{n}{i}\rfloor }(i,j)$$欧拉反演$$\sum _{i=1}^n\sum _{j=1}^{\lfloor \frac{n}{i}\rfloor }\sum _{d|i,d|j}\phi (d)$$$$\sum _{d=1}^n\phi (d)\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }\sum _{j=1}^{\lfloor \frac{n}{i{d}^2}\rfloor }1$$$$\sum _{d=1}^n\phi (d)\sum _{i=1}^{\lfloor \frac{n}{d}\rfloor }\lfloor \frac{n}{i{d}^2}\rfloor$$由于当$i>\frac{n}{d^2}$时，$\lfloor \frac{n}{i{d}^2}\rfloor =0$，所以$$\sum _{d=1}^n\phi (d)\sum _{i=1}^{\lfloor \frac{n}{d^2}\rfloor }\lfloor \frac{n}{i{d}^2}\rfloor$$同理$$\sum _{d=1}^{\sqrt{n}}\phi (d)\sum _{i=1}^{\lfloor \frac{n}{d^2}\rfloor }\lfloor \frac{n}{i{d}^2}\rfloor$$
用$\phi$筛法预处理，后面数论分块，即可做到$O(\sqrt{n}\log n)$的时间复杂度

2021.7.15A组
t1 求一个最小的$k$使得$n|{\sum }_{i=1}^{k}i$，即$n|\frac{k(k+1)}{2},2n|k(k+1)$，由于$k$与$k+1$互质，所以$2n$中的因数可以被分为互质的两部分$a$和$b$，使得$a|k,b|k+1$，设$k=ax,k+1=by$，得到$-ax+by=1$,使用扩展欧几里得求出$x$的最大负整数解代入求$k$即可，先将$2n$分解质因数，$a,b$可以$dfs$暴力枚举，注意要先用线筛筛一遍质数，不然会$tle$
t2 假设只有一个点，每次扩展都会有许多无用扩展，记$a_i$为实际扩展长度，若向右扩展为正数，向左扩展为负数，考虑两个点之间的贡献，令两点距离为$d$，当前时刻为$k$，若${\sum }_{i=1}^k|a_i|\ge d$，则说明它们之间的有用区间都已经用完了，考虑求出最小的$k$使得${\sum }_{i=1}^k|a_i|\le d$，$a_i$的正数和为前面那个点向右扩展的贡献，$a_i$的负数和为后面面那个点向左扩展的贡献，如果中间还有空缺，在找出哪个点最先扩展，将贡献计入那个点，提前按它们之间的距离排序，就可以做到$O(n)$复杂度
t3 喜闻乐见的网络流，假设我们先将所有的人都雇佣了但是还未付工资，设边权和为$sum$，让源点$s$向$i$点连一条大小为$c_i$的边，$c_i$表示雇佣$i$的价格，$i$点向汇点$t$连一条大小为${\sum }_{j=1}^n{e}_{i,j}$的边，$i$点向$j$点连一条大小为$2a_{i,j}$的边，跑最小割，考虑割的含义：
$1.$如果割了一条$s$到$i$的边，说明我们雇佣了$i$这个点，要减去$c_i$
$2.$如果割了一条$i$到$t$的边，说明我们没有雇佣$i$这个点，要减去${\sum }_{j=1}^n{e}_{i,j}$
$3.$对于点对$(i,j)$，如果$s$到$i$的边没割，$i$到$t$的边也没有割，那$i$到$j$的边就必须割，不仅没有原来的$e_{i,j}$，还会被减去$e_{i,j}$
所以是对的
t4 由于不同的字符要恰好等于$3$，那么我们将$64$位数拍成四组$16$位数，四组数中必定有一组相等，利用这组相等的数作为检索，就减小比较的次数，可以被构造数据卡掉，但数据随机，所以能过

2021.8.9A组
t1 首先用$tarjan$将图变成$\text{DAG}$图，然后对于每个联通块求出最大链，取最大的$k+1$条链相加
t2 先将一个班的同学视为相同的人，最后再讲答案乘上 ${\prod }_{i=1}^n{a}_i!$即可，设$f_{i,j}$表示前$i$个班的同学排在一起，组成$j$对同班相邻的方案数，$f_{n,0}$即为答案，令$s_i={\sum }_{j=1}^i{a}_j$，可以得到：$$f_{i+1,j+a_{i+1}-k-t}=\sum _{k=1}^{a_{i+1}}\sum _{t=1}^{\min (j,k)}{f}_{i,j}{C}_j^t{C}_{a_{i+1}-1}^{k-1}{C}_{s_i+1-j}^{k-t}$$$k$表示将第$i$班的同学分成$k$块，$t$表示$k$块中的$t$块插入$j$对相邻同学之间，$k-t$块插在其他地方，注意枚举界限
t3 折半搜索，将长度为$n/2$的路径方案求出来，然后合并

2021.8.21省选
t1 容易发现一棵树的答案为${\sum }_{i=1}^n{2}^{de{p}_i}$，那么就可以对于每种标记维护一下该标记在$T$树上的答案和，线段树维护即可
t2 考虑分治，实现函数$solve(l,r)$解决$l\le x1\le mid\le x2\le r$的答案，考虑求出$f_{i,j}$表示点$(i,j)$通过向右走和向下走能到达的$x=mid$直线上的点的集合，$g_{i,j}$表示点$(i,j)$通过向左走和向上走能到达的$x=mid$直线上的点的集合，$(x1,y1)$能到达$(x2,y2)$当且仅当$f_{x1,y1}$和$g_{x2,y2}$有交集，$\text{bitset}$优化即可做到$O(\frac{n^2\log n}{w})$
t3 当$u$点被删时所造成的贡献为$u$所在子树大小，如果此时$u,v$联通则会有$1$的贡献，令$p_{u,v}$表示$u$被删时，$u,v$联通的概率，答案即为${\sum }_{i=1}^n{\sum }_{j=1}^n{p}_{i,j}$
考虑求出$p_{u,v}$，若$u,v$在同一棵子树中，则两点间只有一条路径，由于$u$被删时$u,v$要联通，所以该路径上第一个被删的点必须是$u$，概率为$\frac{1}{len}$，若$u,v$不在同一棵子树中，意味着$u,v$之间有两条路径，概率为$\frac{1}{len1}+\frac{1}{len2}-\frac{1}{len3}$，$len3$为两条路径必起来的大小

2021.8.23A组
t1 容易发现最优时肯定只会选$L$个数，排序后对于没连续的$L$个数求方差即可，震惊$double$竟然比$longlong$范围大
t2 枚举左端点，然后右端点向右扩张，每次扩张$gcd$要么不变，要么变小，而且至少减少$gcd/2$，每次扩张将$gcd$相同的地方一次性扩完，贡献用快速幂计算，求区间$gcd$用$st$表优化
t3 直径性质：当两棵树用一条边连接起来时，新树的直径端点一定是原来两棵树的端点
对树求$dfn$序，线段树结点维护$dfn$序在所代表区间中最远的两个点，$O(n{\log }^{2}n)$
t4 结论题，咕