摘要： 参考 题解 P4718/论 Miller-Rabin 算法的确定性化 - 洛谷专栏 Miller Rabin 算法 该算法能够 \(O(\log^3p)\) 判定 \(p\) 是否是质数。 费马素性检测 定理：若 \(p\) 为素数，则 \(\forall a,1\leq a<p\)，有 \(a^{ 阅读全文

摘要： 快速乘 先定义 using ll = long long int，请实现一个函数 ll mul(ll x, ll y, ll p)，返回值为变量 x 和 y 在模 p 意义下的乘积（其中 x，y，p 在 long long int 范围内，并且是正数，满足 \(x,y<p\)）。 __int128 阅读全文

摘要： 中国剩余定理笔记【CRT】【exCRT】 约定 设 \(\operatorname{inv}(x,p)\) 表示 \(x\) 在模 \(p\) 意义下的逆元。 中国剩余问题 给定一个关于 \(x\) 的方程组： \[\begin{cases} x \equiv b_1\ (\operatorname 阅读全文

摘要： 约定 在下文中，索引从 \(1\) 开始。 存在欧拉路径的判断 无论是有向图还是无向图，仅考虑起点、终点和其他节点的度数即可。 找到欧拉路径 若判定存在欧拉路径，从起点开始 dfs，边的出栈序即为所求。需要当前弧优化，能做到 \(O(m)\)（\(m\) 为边数）。 最小化字典序 直接将边排序，贪心 阅读全文

摘要： 数据生成助手 #include<bits/stdc++.h> std::mt19937_64 mt(6666667); long long rnd(long long l,long long r){ std::uniform_int_distribution<long long> u(l,r); r 阅读全文

摘要： 微分 求导法则 函数的常数倍：（其中 \(a\) 为常数） \[\frac{\mathrm{d}}{\mathrm{d}x}(ay)=a\frac{\mathrm{d}y}{\mathrm{d}x} \]函数之和： \[\frac{\mathrm{d}}{\mathrm{d}x}(u+ v)=\fr 阅读全文

摘要： 链接 模拟费用流小记 - 洛谷专栏 P4694 [PA 2013] Raper - 洛谷 | 计算机科学教育新生态 Buy Low Sell High - 洛谷 | 计算机科学教育新生态 P1484 种树 - 洛谷 | 计算机科学教育新生态 Olympiad in Programming and S 阅读全文

摘要： 链接 P5170 【模板】类欧几里得算法 - 洛谷 #6440. 万能欧几里得 - 题目 - LibreOJ El Toll Caves - 洛谷 | 计算机科学教育新生态 #138. 类欧几里得算法 - 题目 - LibreOJ Maximum Sine - 洛谷 | 计算机科学教育新生态 Fed 阅读全文

摘要： 前言 本文将介绍几个和欧几里得算法算法相关的算法，它们都使用了辗转相除的计算策略，获得类似于 \(O(\log V)\)（\(V\) 为值域）的优秀复杂度。 本文将提供清晰的（数学公式用 \(\LaTeX\) 呈现的）伪代码。 约定 对于整数 \(x,y\)，定义 \(z=x\bmod y\)，当且 阅读全文

摘要： 模拟费用流小记 - 洛谷专栏 网络流/二分图相关笔记(干货篇) - 洛谷专栏 链接 各种写法的网络流 记录详情 - 洛谷 网络流库 记录详情 - 洛谷 网络流库 - zhiyin123123 - 博客园 SPFA + EK 记录详情 - 洛谷 做题记录 费用流做题记录（一） - zhiyin1231 阅读全文