随笔分类 - 笔记
浅析群论
摘要:Group Theory - 浅析群论 更好的阅读体验戳此进入 Tips:不保证正确性,不保证没锅,部分定理可能只是口糊的证明。 群 称集合 和作用于集合 的二元运算 为一个群,记作 ,这里我们简记为 $
浅析极限、导数、三次函数、积分、牛顿迭代、麦克劳林展开、泰勒展开
摘要:浅析极限、导数、三次函数、积分、牛顿迭代、麦克劳林展开、泰勒展开 更好的阅读体验戳此进入 写在前面 虽然这是一篇 OI 向的 Blog,但是这一部分的很多内容可能更多偏向于数学,不过毕竟信息与计算科学(或者说计算数学)本身就是基于数学的,所以也无可厚非。(甚至这篇 Blog 的很多东西都整理自学而思
浅析生成函数
摘要:浅析生成函数 更好的阅读体验戳此进入 定义 生成函数(Generating Function),又称母函数,其严谨一点的定义:序列 的生成函数是一种形式幂级数,每一项的系数会提供关于这个序列的信息。 更详细地解释一下,就是对于函数中第 项的系数就代表了序列第
浅析排列组合、斯特林数、贝尔数、二项式定理与推论及其反演、子集反演、广义容斥
摘要:浅析排列组合、斯特林数、贝尔数、二项式定理与推论及其反演、子集反演、广义容斥 更好的阅读体验戳此进入 写在前面 内容较多,不保证正确性,不保证证明一定严谨,欢迎纠错。 题目编号可能并未顺序编号,仅按照做题顺序编号。 排列数 定义显然,从 个里选择 个的不同排列。 有: $$
重学BSGS(exBSGS)
摘要:重学BSGS(exBSGS) 更好的阅读体验戳此进入 (1 月份写的好像当时忘了发了,现在才发出来。。 目的 BSGS,全称 Baby-Step Giant-Step,即大步小步。一般用于求解离散对数相关问题,即对于同余方程 ,给定 $ a, b,
浅析概率、期望、方差、分布
摘要:浅析概率、期望、方差、分布 更好的阅读体验戳此进入 还没写完,春测之后有机会继续写。 概率 定义 考虑对于事件 ,令 表示事件 发生的概率,显然有 。 显然若令所有事件的并为 ,则 。
浅析线性代数
摘要:浅析线性代数 更好的阅读体验戳此进入 还没写完,春测之后有机会继续写。 写在前面 大概就是整理一下线性代数相关的内容,也算是复习一下,可能很多地方比较简略。 矩阵定义与运算 定义没什么可说的,矩阵运算的复杂度一般是 的,一般的矩阵乘法大概是这样的: 如果有: $$ A \tim
浅析SAM
摘要:浅析SAM 更好的阅读体验戳此进入 还没写完,春测之后有机会继续写。 写在前面 虽然是浅析 SAM 但是对于 SAM 的基础以及各种证明这里就不再叙述了,网上找到的如下 Blog 已经十分详尽了。 史上最通俗的后缀自动机详解。 ~~或者直接看 OI-Wiki 也行~~。 主要是说一下一些常见套路以及
语法糖 / 常见语法错误 汇总
摘要:语法糖 / 常见语法错误 汇总 更好的阅读体验戳此进入 关于二维数组作为函数参数 一般意义上有四种写法,这里只记录两种比较常用且直观的: 普通数组形式:也是最常见的,因为 C++ 的一些特性,我们不能像一维数组一样直接传一个 int** a,或者 int a[][],需要在第二维把长度标注出来,如:
关于一些Trick以及一些定理与小技巧
摘要:关于一些Trick以及一些定理与小技巧 更好的阅读体验戳此进入 一个关于数位求和的性质 大概是这样: 证明显然,考虑转化一下即可: $$ \iff \
浅析极限、导数、三次函数、积分、牛顿迭代、麦克劳林展开、泰勒展开
摘要:浅析极限、导数、三次函数、积分、牛顿迭代、麦克劳林展开、泰勒展开 更好的阅读体验戳此进入 写在前面 虽然这是一篇 OI 向的 Blog,但是这一部分的很多内容可能更多偏向于数学,不过毕竟信息与计算科学(或者说计算数学)本身就是基于数学的,所以也无可厚非。(甚至这篇 Blog 的很多东西都整理自学而思
浅析多项式
摘要:浅析多项式 更好的阅读体验戳此进入 写在前面 关于多项式曾经也写过一篇 Blog,同时亦是我写过的第一篇 Blog,当然可能实际上也没有很理解多项式,所以写的或许比较乱,也可以看一下 FFT & NTT - 快速傅里叶变换 & 快速数论变换。 单位根 定义 对于 $ \omega^n = 1 (\o
浅析生成函数
摘要:浅析生成函数 更好的阅读体验戳此进入 定义 生成函数(Generating Function),又称母函数,其严谨一点的定义:序列 的生成函数是一种形式幂级数,每一项的系数会提供关于这个序列的信息。 更详细地解释一下,就是对于函数中第 项的系数就代表了序列第
浅析排列组合、斯特林数、贝尔数、二项式定理与推论及其反演、子集反演、广义容斥
摘要:浅析排列组合、斯特林数、贝尔数、二项式定理与推论及其反演、子集反演、广义容斥 更好的阅读体验戳此进入 写在前面 内容较多,不保证正确性,不保证证明一定严谨,欢迎纠错。 题目编号可能并未顺序编号,仅按照做题顺序编号。 排列数 定义显然,从 个里选择 个的不同排列。 有: $$
浅谈 DDP 与 广义矩阵乘法
摘要:浅谈 DDP 与 广义矩阵乘法 更好的阅读体验戳此进入 引入 例题 #1 题目 SP1043 GSS1 - Can you answer these queries I。 题面:对于序列 , 次询问求 的区间最大子段和。
关于指针Splay
摘要:关于指针Splay 更好的阅读体验戳此进入 写在前面 大概就是写完序列之后很久的今天突然发现序列还有个加强版,加强版数据不随机 ODT 就过不去了,要么需要用一些 可持久化ODT 这种奇怪的东西在复杂度正确的情况下通过,要么就是要用到 可持久化平衡树 这种科技,于是考虑直接把平衡树相关知识补一补。
浅析辛普森法
摘要:浅析辛普森法 内容包括但不限于:自适应Simpson积分,拟合,广义积分(反常积分)及其收敛性的证明。 Tips:不保证正确性,不保证没锅,部分定理可能只是口糊的证明,也可能不会进行严谨证明。 更好的阅读体验戳此进入 目的 当我们求解定积分,或者说求曲边梯形面积的时候,可以通过把区间分为几个小区间然
最短路生成树学习笔记
摘要:最短路生成树学习笔记 更好的阅读体验戳此进入 写在前面 做 ABC 的时候碰到了一道题,用到的算法是最短路生成树。感觉这个似乎是个挺冷门的算法,OI Wiki 上都没找到,但是算法本身还挺简单易懂的。 最短路生成树 这个东西实际上也没什么可说的,是什么东西看名字应该就能看懂。一般最短路生成树的题里都
Mobius - 莫比乌斯反演
摘要:Mobius - 莫比乌斯反演 更好的阅读体验戳此进入 (建议您从上方链接进入我的个人网站查看此 Blog,在 Luogu 中图片会被墙掉,部分 Markdown 也会失效) 式子 最常用的推导就是这个: $$ \begin{aligned} &\sum_{i = 1}^n \sum_{j = 1}