Loading...

摘要: 前言 我不会卡常。 我也不会底层优化,这个博客就当个乐子吧。 GCC官方文档 内建函数 编译器 内置的函数,使用会导致减少兼容性和可移植性,于是不适合程序开发,但是 Linux 内核用到了内建函数。 不过 NOI 系列赛事用的编译器都一样,就可以放心用了。 内建函数功能很多,包括访问一些底层信息,这 阅读全文
posted @ 2022-01-30 19:59 AstatineAi 阅读(616) 评论(0) 推荐(0)
摘要: 前言 应该没有毒瘤出题人会去卡 \(\textsf{Dinic}\) 和 \(\textsf{ISAP}\) 吧。 最大流 首先明确我们要干什么 —— 求最大流。 然后用那个最常见的比喻 : 源点是自来水厂向外输水,源点输出的所有水都需要汇入污水处理厂,但是水管是有流量上限的。 那么有一个非常 \( 阅读全文
posted @ 2022-01-30 19:58 AstatineAi 阅读(84) 评论(0) 推荐(0)
摘要: 前言 参考 : 2021 年信息学奥林匹克中国国家集训队论文 代晨昕 后缀树的构建 似乎后缀树可以在一些题目代替 SAM 套 LCT 啊. 妈妈再也不怕我考场写不出LCT了 后缀树也写不出啊. 反正能写进国集论文的东西一定不会差(?) 从前向后构建后缀树的在线算法 Ukkonen 算法可视化 约定 阅读全文
posted @ 2022-01-30 19:57 AstatineAi 阅读(133) 评论(0) 推荐(0)
摘要: 前言 不会线性代数。 在某次模拟结束后看题解,“用BM算法求出递推式即可” 这句风轻云淡的话极大伤害了我这个数学弱菜。 但是起码当时我还是知道这里的 BM 说的一定不是 Boyer-Moore 字符串匹配,不过光凭BM算法这个关键字似乎只能搜到 Boyer-Moore,而加上递推之类的关键字才可以搜 阅读全文
posted @ 2022-01-30 19:57 AstatineAi 阅读(326) 评论(0) 推荐(2)
摘要: 多项式 \(k\) 次幂 模板 : \(\texttt{Link.}\) 对于一个多项式 \(F(x)\), 求 \(G(x) \equiv (F(x))^k \bmod x^n\). 首先看一个 \(naive\) 的做法 : 参考普通的快速幂,即可做到 \(\mathcal{O}(n\log n 阅读全文
posted @ 2022-01-30 19:56 AstatineAi 阅读(91) 评论(0) 推荐(0)
摘要: 前言 我可能是有点大病才来学这种东西. 本来想去写计算几何和LCT,但是我太菜了学不会于是去写了一个广义 SAM 板子 甚至还 WA 了四次. 遂来学怪东西. 子序列自动机 顾名思义,序列自动机可以且仅可以接受一个信号序列的子序列的自动机. 前缀后缀和子串都是子序列,无敌了! 这个自动机最大的问题是 阅读全文
posted @ 2022-01-30 19:55 AstatineAi 阅读(358) 评论(0) 推荐(0)
摘要: 前言 NOI2021 都考了 LGV 引理,那以后难道没有那么一点(?)可能考最小直径生成树呢? 树直径与最小直径生成树 直径是图中所有最短路径的最大值. 最小直径生成树问题 : 给定一个 \(n\) 个点 \(m\) 条边的无向连通图,边有边权. 求一个生成树使得树的直径最小. 首先引入 图的绝对 阅读全文
posted @ 2022-01-30 19:52 AstatineAi 阅读(502) 评论(0) 推荐(0)
摘要: 前言 通常,高中及以下的数学研究的都是连续数学为主的. 想到对数函数,大多会想到如下的函数图像 : (图片由 desmos 绘制) 但是模意义下的对数就有所不同. 模型 试求解以下方程 : $$\large a^x \equiv b \pmod p \[ 即模意义下的求对数. ### BSGS 算法 阅读全文
posted @ 2022-01-30 19:44 AstatineAi 阅读(245) 评论(0) 推荐(0)
摘要: 前言 神仙们都会SA了,只剩我不会. 马上来补这个强大字符串算法. 什么是后缀数组 首先定义什么是后缀. 后缀就是一个字符串从某个位置开始,到该串末尾结束的子串. 定义 \(suf(x)\) 表示从 \(x\) 开始的子串. 如无特殊声明,本博客中 \(n\) 代表字符串长度. 后缀数组的主要由两个 阅读全文
posted @ 2022-01-30 19:43 AstatineAi 阅读(38) 评论(0) 推荐(0)
摘要: 0.前言 参考 : 陈立杰 : 后缀自动机 & OI-wiki 感谢 mivik 的 SAM 可视化,我只能说 : 帮大忙了.\(\large\texttt{Link}\) 一个是动态过程但是特别鬼畜的 SAM 可视化 \(\texttt{Link.}\) 本文是学习笔记而不是具体对 SAM 的介绍 阅读全文
posted @ 2022-01-30 19:41 AstatineAi 阅读(153) 评论(0) 推荐(0)
摘要: 前言 新年新气象! 素性测试 素性测试是检验给定数是否是素数的测试. 确定性素性测试 0. 朴素枚举 根据素数的定义,可以朴素地枚举 \([2,n)\) 中的每一个数并判断其是否是 \(N\) 的因数,时间复杂度 \(\mathcal{O}(n)\). 1. 试除法 显然朴素的枚举连一种算法也谈不上 阅读全文
posted @ 2022-01-30 19:34 AstatineAi 阅读(682) 评论(0) 推荐(0)
摘要: 前言 学这个的起因是 : 我的 OI-templates 需要二分图最大权匹配的板子但是我的 Primal-Dual 费用流无法通过洛谷的模板题. 一般图匹配可能这辈子都不会学了. 二分图最大权匹配 一个二分图,边有边权,选出一定的边使得选出的边端点无交集. 最大化被选出的边的边权. 首先想一个比较 阅读全文
posted @ 2022-01-30 19:31 AstatineAi 阅读(274) 评论(0) 推荐(0)
摘要: 前言 [集训队互测 2012] calc calc加强版 解法 1 首先顺序可以忽略,最后乘上 \(n!\) 即可. 然后可以设计朴素 DP : 令 \(f_{i,j}\) 表示前 \(j\) 个数里已经选出 \(i\) 个的全部方案权值和. 写出 \(\mathcal{O} (nk)\) 的转移方 阅读全文
posted @ 2022-01-30 19:30 AstatineAi 阅读(114) 评论(0) 推荐(0)
摘要: 前言 WC 将我暴打。 wqs 二分 黑龙江神仙 OIer 王钦石 归纳的一类二分方式,由于是 [IOI2016]ailens 的正解于是在国外被称为 "Alien trick"生动体现了 wqs 二分是多么魔法 考虑对于一类特殊的问题 :有限制的最优化。 抽象一个模型,\(n\) 个数选出恰好 \ 阅读全文
posted @ 2022-01-30 19:28 AstatineAi 阅读(624) 评论(0) 推荐(0)