花舞月朦胧

摘要： 有缺漏可以直接留言，我会补上的~ Miller-Rabin判断质数：假设是素数，由费马小定理及二次剩余定理判矛盾十分显然。 Pollard-Rho分解大整数：直接乱随，通过取最大公约数使得期望概率是$n^{0.25}$，就是用了更高明的判重法。 Lucas定理：非常简单，把完系约掉就好啦~ Poly 阅读全文

摘要： 学了好久啊。 基本定义看洛谷日报就好啦。 大概就是走DAG的边相当于添加字符，跳parent树的边相当于删除一段前缀。这样就好理解了。 如果想要得到后缀树，考虑对反串建后缀自动机然后记录endpos（或称right）集中的一个元素，就得到了parent树上边的信息。其实没什么用，万一题目要求输出字符 阅读全文

摘要： 请准备好清醒的大脑接受公式的轰炸！ 二项式定理： $(1+x)^n=\sum_{i=0}^n \lgroup \begin{array}{} n \\ i \end{array} \rgroup x^i$ 当$x=1$时，发现$2^n=\sum_{i=0}^n \lgroup \begin{arra 阅读全文

摘要： 把操作拆成若干作用在不同时间段的操作，时间段划分按线段树划分方式，因此才叫线段树分治。 以下就以Bzoj4025为例题吧。 阅读全文

摘要： cdq分治其实就是通过只考虑前后两段之间的影响简化问题哒。 可以求三维偏序啦，我给一种嵌套写法吧，套树状数组太简单大家自己看懂以下程序后脑补一下叭。 阅读全文

摘要： 首先要保证底数是原根，才有求解之说呐。 介绍一种BSGS（BabyStepGiantStep）算法，正如其名，走路分大步小步，相结合正是最好的方法。 小于$\sqrt{p}$的数打表保存，然后每次迈大步就好啦~ 这里说明一下，由于上述$\frac {P-1}{2}$是一个质数，因此无需再判其它的来确 阅读全文

摘要： 倍增法，每次排2^j长度的段，转移就是双关键字排序就好啦！ 求height可以利用height[rank[i]]>=height[rank[i-1]]-1的性质，当然证明考虑构造，并反证，假设在其中插入元素使性质不成立，推矛盾就可以了。 基本上是从网上抄来的模板啦，解释一下代码吧~ x在交换之前充当 阅读全文

摘要： 开博客啦，自己做了些个性化设置，很满意啦。 美中不足的是歌曲不是全部能放。 放一个数学公式的帮助（信息学，又称离散数学，是需要输入大量公式的~）。 有意联系我的发邮件到llyissocute@outlook.com就好了！ 阅读全文