01 2022 档案
摘要：前言 我不会卡常。 我也不会底层优化，这个博客就当个乐子吧。 GCC官方文档 内建函数 编译器 内置的函数，使用会导致减少兼容性和可移植性，于是不适合程序开发，但是 Linux 内核用到了内建函数。 不过 NOI 系列赛事用的编译器都一样，就可以放心用了。 内建函数功能很多，包括访问一些底层信息，这
阅读全文
摘要：收录一下我这个烂人的摆烂记录。 最小直径生成树 OI-wiki部分内容有误，待勘误，文末给出论文链接，前面有些部分有点价值。 子序列自动机 非常容易理解的啥也不是的自动机。 多项式任意次幂&任意次根 大常数且没用。 后缀树 介绍很不全面，因为感觉这玩意比 SAM 麻烦就彻底没心思写下去了。 线性递推
阅读全文
摘要：前言 应该没有毒瘤出题人会去卡 和 吧。 最大流 首先明确我们要干什么 —— 求最大流。 然后用那个最常见的比喻 ： 源点是自来水厂向外输水，源点输出的所有水都需要汇入污水处理厂，但是水管是有流量上限的。 那么有一个非常 \(
阅读全文
摘要：前言 参考 : 2021 年信息学奥林匹克中国国家集训队论文 代晨昕 后缀树的构建 似乎后缀树可以在一些题目代替 SAM 套 LCT 啊. 妈妈再也不怕我考场写不出LCT了 后缀树也写不出啊. 反正能写进国集论文的东西一定不会差(?) 从前向后构建后缀树的在线算法 Ukkonen 算法可视化 约定
阅读全文
摘要：前言 不会线性代数。 在某次模拟结束后看题解，“用BM算法求出递推式即可” 这句风轻云淡的话极大伤害了我这个数学弱菜。 但是起码当时我还是知道这里的 BM 说的一定不是 Boyer-Moore 字符串匹配，不过光凭BM算法这个关键字似乎只能搜到 Boyer-Moore，而加上递推之类的关键字才可以搜
阅读全文
摘要：前言 我可能是有点大病才来学这种东西. 本来想去写计算几何和LCT,但是我太菜了学不会于是去写了一个广义 SAM 板子 甚至还 WA 了四次. 遂来学怪东西. update from 学到一半: 我超fxj开卷多项式牛顿迭代了,好强! 子序列自动机 神 \(\mathrm{{\color{balck
阅读全文
摘要：前言 NOI2021 都考了 LGV 引理,那以后难道没有那么一点(?)可能考最小直径生成树呢? 树直径与最小直径生成树 直径是图中所有最短路径的最大值. 最小直径生成树问题 : 给定一个 个点 条边的无向连通图,边有边权. 求一个生成树使得树的直径最小. 首先引入 图的绝对
阅读全文
摘要：前言 通常,高中及以下的数学研究的都是连续数学为主的. 想到对数函数,大多会想到如下的函数图像 : (图片由 desmos 绘制) 但是模意义下的对数就有所不同. 模型 试求解以下方程 : $$\large a^x \equiv b \pmod p \[ 即模意义下的求对数. ### BSGS 算法
阅读全文
摘要：神 说 : 我不是 Amy,我对 SAM 没有兴趣. 0.前言 并没怎么看懂WJMZBMR神犇的课件,窝太菜辽... 参考 : 陈立杰 : 后缀自动机 & OI-wiki 感谢 mivi
阅读全文
摘要：前言 新年新气象! sto 神 orz 他爆卷 Miller Rabin 和 Pollard Pho. 素性测试 素性测试是检验给定数是否是素数的测试. 确定性素性测试 0. 朴素枚举 根据素数的定
阅读全文
摘要：前言 学这个的起因是 : 我的 OI-templates 需要二分图最大权匹配的板子但是我的 Primal-Dual 费用流无法通过洛谷的模板题. 一般图匹配可能这辈子都不会学了. 二分图最大权匹配 一个二分图,边有边权,选出一定的边使得选出的边端点无交集. 最大化被选出的边的边权. 首先想一个比较
阅读全文
摘要：前言 WC 将我暴打。 wqs 二分 黑龙江神仙 OIer 王钦石 归纳的一类二分方式，由于是 [IOI2016]ailens 的正解于是在国外被称为 "Alien trick"生动体现了 wqs 二分是多么魔法 考虑对于一类特殊的问题 ：有限制的最优化。 抽象一个模型， 个数选出恰好 \
阅读全文
摘要：前置知识 最大流 费用流 求最大费用流只需要把费用取相反数最后求出费用也取相反数即可。 二分图最大匹配可以最大流做。 二分图最大权匹配可以费用流做。 网络流复杂度都是上界,实际非常玄学。 最大流 = 最小割。 平面图最小割 = 对偶图最短路。 前言 神 \(\mathrm{\color{black}
阅读全文
摘要：长链剖分 总体上和重链剖分挺像的. 首先定义重儿子为 : 子树深度最深的儿子. 然后剩下的是轻儿子. 连向重儿子的是重边,重边连成重链. 每个点都在唯一长链中,长链必然不相交 实现就和重链剖分差不多. len 记录最深能达到的深度. void dfs(int u,int _f){ fe(i,u) {
阅读全文
摘要：前言 本博客部分参考 《具体数学》 一书. 本博客 基本 不需要任何高于初中数学的前置知识. 本博客作者数学很差,若有笔误请第一时间指正. 本博客的数学公式加了 \large,看起来不会很挤,为了保护你的视力,请在电脑上阅读. 问题 定义 \[\large sq_n = \sum_{i = 1}^{
阅读全文
摘要：引言 学计数问题就像围城,城外的人不想进去,城里的人不想出来. 前前排提示 本文不全是多项式和生成函数. 前排提示 本文含有以下内容 : 入 门 失 败 由 难 到 难 无 用 科 技 快 速 退 役 弱 智 讲 解 不 想 证 明 感 性 理 解 丑 陋 强 行 加 \lar
阅读全文
摘要：Day -1 一早收到中山区要再测一次核酸,于是中午自己跑出门又跑了回来,觉得气温还是很舒适,不至于特别冷. 复习费用流板子,居然还记得,好耶. 做P3605 [USACO17JAN]Promotion Counting P 练习树状数组和树上启发式合并. 做P3674 小清新人渣的本愿 练习莫队乱
阅读全文
摘要：堆 满足父节点权值总是大于/小于两个子节点的特殊的二叉树. 左偏树 一种能在 时间内合并的堆，优势是稳定且码量小于 Fibonacci堆。 模板题 将结点封装为结构体 : struct Node { int val,ch[2],dist; }T[N];
阅读全文
摘要：CSP T4 的 60 分最小割都没看出来,气死我了. 什么是最小割 以下是引用 神 的话 所谓最小割,就是最小的割 (逃) 以上是引用 神 \(\mathrm{{\color{blac
阅读全文
摘要：只是个模板而已 内含完全够用的支持文件读写的快读快写和丑陋的宏定义. Last Update : 2021.1.22 修复了乱学 Min_25 写快读导致的一些锅。 #include <cstdio> #include <cstring> #include <cstdlib> #include <c
阅读全文
摘要：目录 一点前置知识 数论函数,莫比乌斯反演与卷积 生成函数 同余与乘法逆元 组合数学 期望与概率 前置知识 元,单位元和逆元 首先,这三个概念都是对于一个特定的运算而言的. 元就是运算的要素,在加减乘除里就是数,在狄利克雷卷积里就是数论函数,在矩阵乘法里就是矩阵. 单位元满足如下性质: 对于一个运算
阅读全文
摘要：前言 重写旧文 & 增加新内容。 欧几里得算法 $$\large \gcd(a,a) = a\ \gcd(a,b) = \gcd(b,a \bmod b) \[ ```cpp int gcd(int a,int b) { return b ? gcd(b,a % b) : a; } ``` 非递归
阅读全文
摘要：以下内容译自 Dave Richeson 教授的博客 : What is the difference between a theorem, a lemma, and a corollary? 这是他在迪金森学院授课时为学生准备的文字讲稿(handout). 原文 PDF 版本 : \(\matht
阅读全文
