决策单调性
摘要：
丐版决策单调性 这是一个码量小且不需要算出前面的函数值即可求出当前点的最优转移点. 考虑分治处理. 当前正在处理 \([l,r]\) 区间. 我们需要保证 \(l\) 处的函数值和转移点都已经是正确的. 还需要保证 \(r\) 处的转移点是在 \([1,l]\) 的最优转移点. 流程： 对于当前区间 阅读全文
posted @ 2025-10-19 21:40 Pearblossom 阅读(4) 评论(0) 推荐(0)
2025年10月19日 #
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 阅读(1) 评论(0) 推荐(0)
2025年9月24日 #
计数
摘要：
1 生成函数 题目描述 给定一个下标在 \([0,n−1]\) 中的 \(01\) 序列 \(a\)。我们定义一张大小为 \(n\) 的有标号无向联通图的权值为： 设 \(f_i\) 为 \(1\) 号点到 \(i\) 号点的最短路径长度，则图权值为 \(\oplus_{i=1}^n a_{f_i} 阅读全文
posted @ 2025-09-24 22:03 Pearblossom 阅读(0) 评论(0) 推荐(0)
2025年8月1日 #
朢罗柳
摘要：
网络流 最小割 有一些比较典的trick: 如果每个点只有两种可能（比如说选或不选），那么我们可以定义：与源点相连的代表选，与汇点相连的代表不选，根据这样的定义建图（集合划分模型） 每个点的利润有冲突的话，可以将这两个点连一条 \(inf\) 边代表矛盾 如果选了 \(i\) 点以后就对其它点的选择 阅读全文
posted @ 2025-08-01 21:37 Pearblossom 阅读(30) 评论(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 阅读(16) 评论(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 阅读(14) 评论(2) 推荐(0)
2025年7月9日 #
浙公网安备 33010602011771号