changle_cyx

定理内容：ab≡{ab%ϕ(p)           (a,p)=1ab &amp

1. 中国剩余定理给定同余方程组，形如{x≡a1(mod p1)x≡a2(mod p2)       &amp

1. 阶1.1 定义设正整数 n>1n>1n>1，aaa 是满足 a⊥na\perp na⊥n （aaa 与 nnn 互质）的整数，则必有一个正整数 r∈[1,n]r\in [1,n]r∈[1,n]，使得 ar≡1(mod n)a^r\equiv 1(mod~n)ar≡1(mod n)。满足条件的最小的正整数 rrr，称为 aa

1. 引入Baby Step Giant Step算法（简称BSGS），用于求解形如ax≡b(mod p)a^x\equiv b(mod\ p)ax≡b(mod p)（a,b,p∈Na,b,p\in \mathbb{N}a,b,p∈N）的同余方程，即著名的离散对数问题。本文分为 (a,p)=1(a,p)=1(a,p)=1 和 (a,p)≠1(a,p)\neq 1(a,p)...

typedef long long s64; typedef long double ld; inline s64 qmul(s64 b, s64 p, s64 mod){ s64 res = b * p - (s64)((ld)b / mod * p + 1e-8) * mod; return res < 0 ? res + mod : res; }

感觉最近研究数据结构，我的对拍能力和输出调试能力得到了显著提升……本篇文章介绍关于线段树的一些经典扩展操作。有关线段树的经典问题（势能线段树、李超线段树、线段树维护单调子序列）的总结请看神仙 xyz32768xyz32768xyz32768 的这篇文章：[学习笔记]线段树骚操作选讲1. 线段树的合并与分裂1.1 BZOJ2212我们考虑一道经典问题：BZOJ2212题目大意：...

1. 例题引入：BZOJ3551用一道例题引入：BZOJ3551题目大意：有 NNN 座山峰，每座山峰有他的高度 hih_ihi​。有些山峰之间有双向道路相连，共 MMM 条路径，每条路径有一个困难值，这个值越大表示越难走，现在有 QQQ 组询问，每组询问询问从点 vvv 开始只经过困难值小于等于 xxx 的路径所能到达的山峰中第 kkk 高的山峰的高度，如果无解输出 −1-1−1。强制...

序列自动机是一个比后缀自动机简单的自动机。后缀自动机可以看神仙 xyz32768xyz32768xyz32768 的学习笔记：[学习笔记]省选数据结构·SAM这个自动机同样是一个有限状态确定自动机，能够识别一个串的子序列。即某个子序列对应到自动机上根到某个结点的一条路径。自动机一共 n+1n+1n+1 个结点，每个位置开一个结点，加上一个根结点。每个结点的符号为 ccc 的出边指向序列中...

最近发现自己不太会判负环。以下是两种科学的判负环方法，方法一的实际效率应当是比方法二快的。方法一：在 SPFA\text{SPFA}SPFA 的过程中顺便记一个变量 cnt[x]cnt[x]cnt[x] ，表示 1→x1\to x1→x 的最短路上经过的边数，在松弛时顺带判断，若存在一个点 xxx 满足 cnt[x]≥ncnt[x]\ge ncnt[x]≥n，则图中存在负环。方法二：在...