摘要：
BSGS bsgs用于求指数方程$a^x \equiv b \pmod m$的解 然后令$x = q t r$，得到$b a^r = a^{qt}$ 然后就枚举 ：$q \in {(0,m/t+1)} , r \in (0,t 1)$ 预处理$a^{qt}$，枚举$r$判断$ba^r$是否有$a^{ 阅读全文
摘要：
Miller rabin 米勒罗宾，素数探测 1. 小费马定理，本质是欧拉定理的特殊情况 即p为质数是$a^{(p 1)} \equiv 1 \pmod p$d的充分条件 2. $x^2 \equiv 1 \pmod p$即$x \equiv 1or 1 \pmod p$ 于是把p 1分解成 $2^ 阅读全文
摘要：
求大整数gcd： 都为偶数 gcd 2，同除2 都为奇数 （a，a b） 否则偶数/2 ka = kb mod m 当且仅当 a = mod m/gcd(m.k) $φ(p^e) = (p − 1) ∗ p^{e−1}$ $φ(m) = m ∏p|m(1 − \frac{1}{p})$ 要求逆元 中 阅读全文
摘要：
@ "TOC" Dijkstra堆优化 dijkstra的原理/流程? dijkstradijkstra本质上的思想是贪心,它只适用于不含负权边的图. 我们把点分成两类,一类是已经确定最短路径的点,称为"白点",另一类是未确定最短路径的点,称为"蓝点" dijkstradijkstra的流程如下:: 阅读全文
摘要：
@ "TOC" 定义 这里的树套树是用线段树套平衡树 线段树用来维护区间位置信息，把这个区间中的所有数插进一颗平衡树中 利用线段树信息可加的性质来维护区间k大 实现方法 问题 区间k大问题需要进行几个操作： 1. 查询k在区间内的排名 2. 查询区间内排名为k的值 3. 修改某一位值上的数值 4. 阅读全文
摘要：
@ "TOC" 在做一道斯特林数的时候被卡高精。。。于是滚来写一些简单的高精 高精构造 这里使用结构体封装，方便使用 尽量避免直接赋等，会加上个On复杂度 所有函数如$add(a,b)$是在 a上加b ，a使用地址，速度较快 结构体 注意：length存0开始的位数，实际有效位数为0~length 阅读全文
摘要：
@ "TOC" 卡特兰数 定义 $f_n=f_0f_{n 1}+f_1f_{n 2}+...+f_{n 1}f_0$ 也即 $f_n=\sum\limits_{i=0}^{n 1} f_i f_{n 1 i}$ 卡特兰一般在计数题中有运用 计算方式 一般采用组合数的计算方式 由折线法可知 $f_n= 阅读全文
摘要：
@ "TOC" 最近看的数数题比较多。。于是滚来写组合数学的博客 第一类斯特林数 定义 把n个不同数划分为m个圆排列的方案数 递推式 1. 如果第$n$个数自成一个圆，那么$S1_{n,m}=S1_{n 1,m 1}$ 2. 否则第$n$个数在$n 1$个数构成的$m$个圆排列中，随便加入一个圆 而 阅读全文
摘要：
@ "TOC" 今天写DSU on tree 的时候发现不会写线段树合并，于是滚来写线段树合并博客 思路 对于值域相同的两个权值线段树$x$和$y$（假设把$y$合并到$x$上），每个节点有两种情况： 1. 其中至少有一个节点没有权值$(!x||!y)$ 直接$x=x+y$ $(x==0?y:x)$ 阅读全文
摘要：
填之前的坑。。 @ "TOC" 前言 其实也没啥写的，提高组的进阶高精也就 高精除高精 了（若是想到其他的以后再补）。 至于高精开根这些以后省选再写（退役flag高高立起） 思路 采用二分，mid 高精小数与高精大数做 $\leq$ 的比较 时间$O(n\log n)$，答案int范围内$\log$ 阅读全文