Pearblossom

2025年10月24日 #

Miller-Rabin

摘要： Miller-Rabin 一种可以在 \(O(klogn)\) 的时间复杂度内大致地判断一个数是否是质数的算法。 就是根据质数的性质的逆否命题来证明不是质数，主要利用了两个性质。 费马探测 这个探测就是根据费马小定理的探测，利用 $$\forall_{p\in P} a^{p-1} \equiv 1 阅读全文

posted @ 2025-10-24 22:28 Pearblossom 阅读(7) 评论(0) 推荐(1)

2025年10月19日 #

决策单调性

摘要： 丐版决策单调性 这是一个码量小且不需要算出前面的函数值即可求出当前点的最优转移点. 考虑分治处理. 当前正在处理 \([l,r]\) 区间. 我们需要保证 \(l\) 处的函数值和转移点都已经是正确的. 还需要保证 \(r\) 处的转移点是在 \([1,l]\) 的最优转移点. 流程： 对于当前区间 阅读全文

posted @ 2025-10-19 21:40 Pearblossom 阅读(29) 评论(0) 推荐(1)

2025年9月27日 #

FMT/FWT学习笔记

摘要： FMT 卷积 \(FMT\) 或卷积和与卷积是相似的，都是一个类似高维前缀和，这里只讲述或卷积. 或卷积就是要实现一个 \(C=A \times B\)，这里的乘号表示卷积，使得\(C_{S}=\sum_{u \cup v=S}A_{u} \times B_{v}\) ，这里的乘号表示数值的相乘. 阅读全文

posted @ 2025-09-27 23:00 Pearblossom 阅读(5) 评论(0) 推荐(0)

2025年9月24日 #

计数

该文被密码保护。 阅读全文

posted @ 2025-09-24 22:03 Pearblossom 阅读(6) 评论(0) 推荐(1)

2025年9月2日 #

每日总结(8.31-?)

该文被密码保护。 阅读全文

posted @ 2025-09-02 20:51 Pearblossom 阅读(1) 评论(0) 推荐(0)

2025年8月1日 #

朢罗柳

摘要： 网络流 最小割 有一些比较典的trick: 如果每个点只有两种可能（比如说选或不选），那么我们可以定义：与源点相连的代表选，与汇点相连的代表不选，根据这样的定义建图（集合划分模型） 每个点的利润有冲突的话，可以将这两个点连一条 \(inf\) 边代表矛盾 如果选了 \(i\) 点以后就对其它点的选择 阅读全文

posted @ 2025-08-01 21:37 Pearblossom 阅读(31) 评论(3) 推荐(1)

2025年7月20日 #

SA SAM

摘要： SA 即一个字符串后缀的排名数组，\(sa_i\)表示所有后缀中，排名为 \(i\) 的后缀的起始位置，\(rk_i\)表示以 \(i\) 为开头的后缀的排名 考虑倍增求，假设当前的长度为 \(w\) 的串已经拍好序，考虑用当前的信息给长度为 \(2 \times w\) 的后缀排序 那么在比较两个 阅读全文

posted @ 2025-07-20 20:45 Pearblossom 阅读(19) 评论(0) 推荐(0)

2025年7月18日 #

2-sat

摘要： 对于每个限制条件只包含两个变量的，称为2-sat 建边方式 首先拆点，把每个命题分为 \(true\) 与 \(false\) 在图上用点之间的可达性表示命题之间的蕴含关系 对于 \(x_i=1\) 的限制，等价于 \(x_i \neq 0\)，让 \(x_i=0\) 的情况推出 \(x_i=1\) 阅读全文

posted @ 2025-07-18 21:54 Pearblossom 阅读(17) 评论(2) 推荐(0)

2025年7月9日 #

吉司机线段树

摘要： 区间最值与区间历史最值 以P4314 CPU 监控为例，将线段树分为 \(info\) 和 \(tag\) 两类，要求维护历史最值 对于 \(info\) ，要维护 \(mx\)，\(hmx\) 对于 \(tag\) ，要维护 \(add,hadd,c,hc\) 分别为区间加的标记，区间加的最大标记 阅读全文

posted @ 2025-07-09 10:50 Pearblossom 阅读(25) 评论(0) 推荐(0)

导航