随笔分类 - 数论
摘要:VI.【模板】多项式开根(加强版) 这题和上题唯一的区别就是的取值——本题不一定为。 咋办呢? 我们观察到里面有一句话: 保证是下的二次剩余。 二次剩余?这是啥?能吃吗? 这时,你突然想起曾经看到过一道模板题: 【模板】二次剩余
阅读全文
摘要:这里是SOSDP(子集DP)、高维前缀和、FMT(快速莫比乌斯变换)、FWT(快速沃尔什变换)学习笔记。 在接下来的讲解中,我们将会发现前三个东西是本质相同的,而最后一个东西是其扩展。 本博客在半年前就已经有计划去写了,只不过当时题目较少没能如愿。现在攒了几道题,开始动笔。 引入 我们首先来看一道最
阅读全文
摘要:CLIV.[CODE FESTIVAL 2017 qual C]Three Gluttons 题解
阅读全文
摘要:CL.[NOI2018] 冒泡排序 结论1.交换次数压到下界,当且仅当不存在长度大于 的下降子序列。 证明很简单。众所周知的是,冒泡排序的交换次数等于序列逆序对数。要压到下界,与每个点有关的逆序对数都只能为 ,因为从 到 的过程中本身就要
阅读全文
摘要:CXLVIII.[NOI2019] 机器人 首先发现每个点向左向右能到达的位置就类似笛卡尔树上一个点的代表区间,不同的是这里有多个最大值时选取最右的一个。于是我们可以想到一个DP, 表示区间 的最大值恰为 或不大于 ,两种设的方
阅读全文
摘要:CXLV.[九省联考2018]秘密袭击coat 首先先讲一种暴力但能过的方法。 很容易就会往每个值各被计算几次的方向去想。于是我们枚举每个节点,计算有多少种可能下该节点是目标节点。 为了避免相同的值的影响,我们在值相同的点间也决出一种顺序,即,若两个值相同的点在作比较,依照上文定下的那种顺序决定。
阅读全文
摘要:CXLIII.[AGC013E] Placing Squares 关键是将问题从抽象的“正方形面积”转为具象的形式:一段长度为 的区间,有两个不同的小球要放进去,则总放置方案就是 ,且不同的区间间方案是通过乘法原理结合的,刚好是题目中 的形式。
阅读全文
摘要:CXXXII.[GYM102268J]Jealous Split wqs二分。 首先,先讲一下wqs二分的应用条件: 对于某个函数 和一个特定的 ,要求出 的值的复杂度是不可接受的;但是,若满足 是上凸/下凹的,且对于一个给定的 ,
阅读全文
摘要:CXXVII.[GYM102822I]Invaluable Assets 引理1.最优解法下我们会尽量选取效果为 的肥料。 考虑每袋肥料单位效果所需费用——此为 。将分数拆开并套上均值,得到最大值在 处取到。
阅读全文
摘要:CXX.CF917D Stranger Trees 这里是本题的DP解法。矩阵树定理解法详见矩阵树定理学习笔记中重题III.TopCoder13369-TreeDistance。 首先,一个基础结论是,如果一张 个点的图,被连成一棵森林,则继续加边连成一棵树的方案数是 \(n^{k-2}
阅读全文
摘要:CXIX.[SHOI2009]舞会 之前一直在往二项式反演去想,没想到最后居然成了…… 我们考虑将男生和女生全部按照高度递减排序,则对于第个男生,能与他构成特殊对的女生必定是一个前缀,设前缀长度为。显然,是单调不降的。 然后,我们考虑设表示钦定对匹配
阅读全文
摘要:CXV.[COCI2019]Mobitel 如果正着来DP的话,状态是 的,不可能通过。 这时,我们就要应用一些数论知识了: 若 , 则 \(\left\lfloor\dfrac{n-1}{\prod a_i}\right\rfloor\geq 1
阅读全文
摘要:LIV.CF559C Gerald and Giant Chess DP只要一与排列组合或是容斥等等东西结合在一起就会变得极其毒瘤…… 我们设表示:走到第个黑格子上,且之前没有走到任何一个黑格子时的方案数。 则我们如果将棋盘的右下角看作是第个黑格子,就是答
阅读全文
摘要:LII.CF264B Good Sequences 状态很显然。设表示位置的最长长度。 关键是转移——暴力转移是的。我们必须找到一个更优秀的转移。 因为一个数的质因子数量是的,而只有和这个数具有相同质因子的数是可以转移的; 因此我们可以对于每个
阅读全文
摘要:XVI. "CF1251F Red White Fence" 这题充分显现出了FFT~~工具人~~的本性。 对于这个奇奇怪怪的图形的周长,我们平移平移就能发现,它为。有了这个结论,我们只需要枚举当前用的是哪块红木板(红木板数量),再求出
阅读全文
摘要:XIV. "[SDOI2017]序列计数" 一眼看出这题就是。反正两个都是随便卷卷就出来了。 不过,这题模数极为恶心,要么逼着你敲任意模数NTT(~~很明显我不会~~),要么就只能写FFT。但是,FFT会挂掉,因为不能及时取模,
阅读全文