摘要：
XXV.孤岛营救问题 这道题这么网络流还真没有思路，一看标签里面根本没有网络流QaQ……然后爆搜就可以，把当前有没有拿到每个钥匙的状态状压到爆搜中。然后就A了QaQ…… 网络流24题里为什么要出两道根本不是网络流的题啊QaQ 代码： #include<stdio.h> #include<algori 阅读全文
摘要：
VII.软件补丁问题 这题一眼看到那恶心的限制觉得是状压，一看那$n=20$的范围更觉得是状压，想了网络流$3 min$没想出来，看了标签发现里面居然只有状压一个QaQ!!! 因此便用Dijkstra维护状压进行转移就水过去了QaQ。 鬼知道为什么一道状压会出现在网络流24题里面啊QaQ! 代码： 阅读全文
摘要：
VII.exBSGS（扩展大步小步算法） 同理，exBSGS适用于 \(a^x\equiv b\pmod p\) 的情形。只不过，这里不再要求 \(a\perp p\)（这里 \(\perp\) 符号表示互质）。 若 \(\gcd(a,p)\neq1\)，则记其为 \(d_1\)，显然 \(a\) 阅读全文
摘要：
VI.BSGS（大步小步算法） 欢迎来到 北上广深 拔山盖世 比赛搞事 不算个事 算法学习现场。 BSGS，全名 Baby Step Giant Step 算法，是用于求解 \(a^x\equiv b\pmod p\)，其中 \(\gcd(a,p)=0\) 的算法。 我们记 \(K=\sqrt{p} 阅读全文
摘要：
V.阶与原根 实际上这部分内容在OI中应用很少，但它是一些重要思想以及算法的基础。 阶是在互质数 \((a,m)\) 间的定义：满足 \(a^n\equiv1\pmod m\) 的最小 \(n\) 被称作 \(a\) 模 \(m\) 的阶，记作 \(\delta_m(a)\)。 明显，在 \(a,m 阅读全文
摘要：
IV.exLucas（扩展卢卡斯定理） 虽然是这个名字，但是它跟常规卢卡斯没有半毛钱关系 exLucas也是用来计算 \(\dbinom nm\bmod p\) 的。不同于普通Lucas，这里的 \(p\) 可以不为质数。 对于不为质数的模数，一个常规的想法是对其分解质因数，然后考虑其对于每个质数的 阅读全文
摘要：
III.Lucas（卢卡斯定理） Lucas定理： \(\boxed{\dbinom nm\equiv\dbinom{n\bmod p}{m\bmod p}\times\dbinom{n/p}{m/p}\pmod p}\) 该式子仅适用于 \(p\) 为质数的情形。 证明： 首先，对于 \(i\in 阅读全文
摘要：
II.exCRT（扩展中国剩余定理） 上文我们说到，CRT仅适用于 \(m\) 两两互质的情形。那如果不保证这一限制，明显原方程是仍然有解的，如何求解呢？ 在上文的最后，我们成功将三个式的方程消到了两个，在这里能否继续？ 我们考虑这个式子： \(x=a+\alpha A=b+\beta B\) 其等 阅读全文
摘要：
I.CRT（中国剩余定理） 中国剩余定理： 已知方程 \(\begin{cases}x\equiv a_1\pmod{m_1}\\\vdots\\x\equiv a_n\pmod{m_n}\end{cases}\) 则我们设$M=\prod\limits_nm_i,M_i=\dfrac,b_i=(M 阅读全文
摘要：
V.III.[CTSC2018]混合果汁 二话不说先套个整体二分。 但是这题整体二分与先前两道题有所区别——前面两道题，当二分到区间 \([l,r]\) 时，只需管 \([l,r]\) 中的元素就行了，对于 \(mid\) 不合法的询问直接减去这一段的询问的结果就行了； 但是，本题就不一样了：随着美 阅读全文