1.Miller-RabinMiller-Rabin是一种接受随机性的正确性较高的素数检验方法，它有一定概率将合数判断为素数，但不会将素数判断为合数。其基本判定思路是，检测素数都具有但合数不具有的特殊性质，如众所周知的费马小定理\(x^{p-1}\equiv1\pmodp\)。1.1费马素性检验费马小定理的逆

$\quad$一些（两个）常用结论：\[\sum_{d|n}{\mu}(d)=[n=1]\]\[\sum_{d|n}{\phi_n}=n\]$\quad$反演公式:给定函数\(f(x)\)，定义函数\(g(n)={\sum_{d|n}}{f(d)}\)则有：\[g(x)=\sum_{d|n}{\mu(d)f(\frac{x}{d})}\][POI2007]ZAP-Queries即：\begin{aligned}ans&

萌新的莫反练习笔记简单的数论函数恒等函数\(I(n)=1\)。元函数\(e(n)=[n=1]\)。单位函数\(id(n)=n\)。狄利克雷卷积我们设\(f\)和\(g\)的卷积\(f\astg=F\)。卷积还是一个函数。那么，\(F(n)=\sum_{d|n}f(d)g(\frac{n}{d})\)。这就是卷积。显然，\(e\astf=f\)。所以

\(p\)是质数。\(p^k\)是质数的幂。广告https://github.com/August-Light/NTFuncs这是一个关于各种数论函数的Python库！前置知识数论分块模板题1：[UVA11526]H(n)模板题2：[LuoguP2261][CQOI2007]余数求和线性筛&线性筛数论函数模板题1：[LuoguP3383]【模板

lojβround#4，一场令人迷惑的比赛。最后一题与#3最后一题形成了鲜明的对比。一题基环树dp毁天灭地，一题莫反入门推式子比娜娜奇还温柔。所以今天我并不想写总结，如果想

7.P2231[HNOI2002]跳蚤原题链接题目大意求\(\suma_i\cdotx_i=1\)\((1\leN\leM\le10^8,M^N\le10^{16})\)解的个数分析一道比较有意思的题根据裴蜀定理，\(\s

1.树林里的树.TreesinaWood原题链接题目大意求\(\frac{\sum_{i=-a}^{a}\sum_{j=-b}^{b}\lbrack\lvertgcd(i,j)\rvert=1\rbrack}{(2a+1)(2b+1)-1}(a\le2000，b\le2

容斥与莫比乌斯函数容斥原理：介绍：设集合\(S_1\simS_n\),记\(|S_i|\)表示集合\(S_i\)的大小，设\(\cup\)表示集合的并集运算，\(\cap\)表示集合的交集运算，则\[\left|\bigcup_

又颓了一会KaTeX，真开心今天没有考试，于是自己切了会CDQ，切了会莫反，又思考了一下如何做可持久化字典树。没有切基环树，太难了，对于我这种蒟蒻而言。发现自己还想切一个由