allforgod

摘要： CF1930G Prefix Max Set Counting 给定一棵以 1 为根的有根树，求出其所有 dfs 序中前缀最大值序列的数量。\(n\le 10^6\)。 思路 显然考虑 DP。 由于是求前缀最大值序列的方案数，因此如果一些点要出现在这个序列中，其到根节点上一定没有比它大的节点。 因此 阅读全文

摘要： AT_arc168_e [ARC168E] Subsegments with Large Sums 给定长度为 \(n\) 的数列 \(\{a_i\}\) 和两个参数 \(k, s\)，将 \(\{a_i\}\) 划分为 \(k\) 段，最大化和 \(\geq s\) 的段数。 \(k \leq n 阅读全文

摘要： P4516 [JSOI2018] 潜入行动 给定一棵无根树，要求给树上 \(k\) 个点标记，使得所有点都至少与一个被标记的点相邻。（注意自己被标记不代表与标记相邻） 思路 考虑树形DP。 套路地设 \(f_{u,i,0/1,0/1}\) 表示树上的点 \(u\) 及其子树内已经被标记了 \(i\) 阅读全文

摘要： P1758 [NOI2009] 管道取珠 思路 发现可以等价为两个人独立操作操作出来的序列相同的方案数。 然后发现复杂度阈值可以接受 \(n^3\)，因此直接套路地设 \(f_{t,i,j}\) 表示两个人操作了 \(t\) 次后第一个人操作了第一个管道 \(i\) 次，第二个人操作了第一个管道 \ 阅读全文

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

摘要： 二项式反演 基本形式 二项式反演的形式与容斥很类似。 \[f(n)=\sum_{i=0}^{n}(-1)^{i}\binom{n}{i} g(i) \Leftrightarrow g(n)=\sum_{i=0}^{n}(-1)^{i}\binom{n}{i} f(i) \]有几个更常用的形式 \[\ 阅读全文

摘要： 一般而言c++直接使用mt19937即可，其几乎是rand()的绝对上位替代。 库：#include<random> 定义：mt19937 rnd(time(0));。其中 time(0)的位置是随机种子，不填也行。 使用：int x=rnd()%p;这时 \(x\) 会是 \([0,p-1]\) 阅读全文

摘要： 这不是一个很详细的总的数论合集，只是一个比较简略，特别是证明很简略的类似笔记一样的东西。 数论分块 数论分块是相对基础的算法。其主要作用是化简带向上或向下取整的和式。 有引理： \[\forall a,b,c\in \mathbb{Z} ，\left \lfloor \frac{a}{bc} \ri 阅读全文

摘要： 裴蜀定理 对于不全为0的整数 \(a,b\)， \(\forall x,y\qquad gcd(a,b)|ax+by\) \(\exists x,y\qquad ax+by=gcd(a,b)\) 逆定理： 若 \(d>0\) 是 \(a,b\) 的公因数，使得 \(ax+by=d\)，则 \(d=g 阅读全文

摘要： 考试的时候考的板子，但是我不会。 P4097 【模板】李超线段树 / [HEOI2013] Segment 修改：插入一条线段。查询：有某条竖直直线，与某些线段有交点，求交点最高的线段编号。相同高度输出编号小的。复杂度 \(n\log^2 n\)。 考虑线段树维护。线段树上的每个节点存下当前节点所对 阅读全文