随笔分类 - 数学相关
摘要:首先给出几个定义: 非零行:矩阵至少有一个非零元素的行 矩阵中非零行的先导元素指的是该行最左边的非零元素(感觉这个名称有点多余) 一个矩阵为**(行)阶梯型**((row) echelon form),若它有以下三个性质: 每一非零行都在每一零行的上面 某一行的最左边的非零元素位于前一行最左边的非零
阅读全文
摘要:[LuoguP4808][CCC 2018]平衡树(数论分块+记忆化搜索)(有复杂度证明) 题面 我们定义「完美平衡树」如下: 每棵完美平衡树都有一个正整数权值。权值为 的完美平衡树为只含有 个节点的树。否则,这棵树的权值为 ,则这棵树为一棵含有 \(k(2\
阅读全文
摘要:[BZOJ3684]大朋友和多叉树(拉格朗日反演) 题面 给定整数和集合,求有个节点且每个非叶子节点的儿子数量的无标号有根树的数量。节点的孩子有顺序. 分析 设这些树的OGF为,根据定义,一棵树可
阅读全文
摘要:[LuoguP4841]城市规划(多项式ln+生成函数) 题面 求个顶点的有标号连通简单无向图的个数(简单指的是无重边自环)。() 分析 个点的简单无向图有个,设G是所有无向图,那么G的EGF为 \(G(x)=\sum_{n=0
阅读全文
摘要:浅谈二次剩余 定义:对于正整数,若存在使得.则称是模的二次剩余。(在本文中我们只考虑为奇质数的情况) 勒让德括号,欧拉判别准则 下面引入勒让德括号,它可以简化讨论: \(\left(\frac{n}{p}\right)
阅读全文
摘要:再探快速傅里叶变换(其四) 多项式操作 省选前夕爆补一波多项式全家桶,存一些板子 多项式乘法 不解释。注意如果式子太复杂,直接全部DFT再按原式子算,最后IDFT。这里封装好是为了简化模板代码,而且可以方便的换成任意模数NTT void poly_mul(ll *a,ll *b,ll *c,int
阅读全文
摘要:[六省联考2017]分手是祝愿(期望DP) 题面 略 分析 先考虑初始状态灭掉所有灯的最小次数,可以从大到小贪心求出。因为每个灯只能被比它大的更新,可以直接从大到小,遇到开的就按灭,同时操作它的约数。复杂度 如果,那么只需要初始时按最小次数操
阅读全文
摘要:[JSOI2016]最佳团体(01分数规划+树形背包) 题面 JSOI信息学代表队一共有N名候选人,这些候选人从1到N编号。方便起见,JYY的编号是0号。每个候选人都由一位编号比他小的候选人Ri推荐。如果Ri=0则说明这个候选人是JYY自己看上的。为了保证团队的和谐,JYY需要保证,如果招募了候选人
阅读全文
摘要:[SDOI2014]重建(矩阵树定理) 题面 T 国有 N 个城市,用若干双向道路连接。一对城市之间至多存在一条道路。 在一次洪水之后,一些道路受损无法通行。虽然已经有人开始调查道路的损毁情况,但直到现在几乎没有消息传回。 幸运的是,此前 T 国政府调查过每条道路的强度,现在他们希望只利用这些信息估
阅读全文
摘要:二项式反演学习笔记 二项式反演(Binomial Inversion)是一种反演,它基于容斥原理.它可以把计数问题中求解"恰好X个的方案数"转化为求解"至少X个的方案数",让问题变得更简单。 约定: 表示从个数里选个数的方案数,等价于.另外为了方便推式子,规定
阅读全文
摘要:[LuoguP4859]P4859 已经没有什么好害怕的了(二项式反演) 题面 已经使 Madoka 有签订契约,和自己一起战斗的想法后,Mami 忽然感到自己不再是孤单一人了呢。 于是,之前的谨慎的战斗作风也消失了,在对 Charlotte 的傀儡使用终曲——Tiro Finale 后,Mami
阅读全文
摘要:[NOIOnline2提高组]游戏(二项式反演+树形背包).md 题面 略 分析 二项式反演的套路,设为非平局回合数至少为的情况. 为非平局回合数恰好为的情况,则.(这里的"至少"指的是我们"钦定"有$i
阅读全文
摘要:[BZOJ2839] 集合计数(二项式反演) 题面 一个有N个元素的集合有个不同子集(包含空集),现在要在这个集合中取出若干集合(至少一个),使得 它们的交集的元素个数为K,求取法的方案数,答案模1000000007。 分析 二项式反演套路题。把恰好转化为最少。 设表示交集
阅读全文
摘要:动态DP学习笔记 约定: 若无特别说明,数组下标从1开始. 若无特别说明,矩阵的下标从0开始(这是为了和代码一致,而代码这样实现是为了节省内存) 在公式中,矩阵用粗斜体表示,如 若无特别说明,对于有根树上的结点,表示它儿子的集合,表示它的重儿子 对
阅读全文
摘要:[LuoguP6144][USACO20FEB]Help Yourself P(DP+组合数学+线段树) 题面 Bessie 现在有 N条在一条数轴上的线段,第 i条线段覆盖了 的所有实数。定义一个线段集合的并为所有至少被一条线段覆盖的实数。定义一个线段集合的复杂度为该集合
阅读全文
摘要:
阅读全文
摘要:[LuoguP5319] [BJOI2019] 奥术神杖 (01分数规划+AC自动机+dp) 题面 神杖上从左到右镶嵌了颗奥术宝石,奥术宝石一共有 1010 种,用数字 表示。有些位置的宝石已经残缺,用 表示,你需要用完好的奥术宝石填补每一处残缺的部分(每种奥术宝石个数不限,且不能够更换未残缺
阅读全文
摘要:[Codeforces 553E]Kyoya and Train(期望DP+Floyd+分治FFT) 题面 给出一个个点条边的有向图(可能有环),走每条边需要支付一个价格,需要的时间为中随机的整数,时间为的概率为。从出发走到,如
阅读全文