摘要：
$\mathscr{Description}$ 长度为 $n$ 的序列 $A$ 初始全 $0$, $C=0$. 第 $i\ge0$ 个时刻对 $A$ 进行如下变换: $\forall i\in[1,n],~a_i\gets a_i+i$. $\forall i\in[1,n]\land a_i>h_ 阅读全文
摘要：
$\mathscr{Summary}$ 有意思的是, 难度诈骗居然在我身上打出了暴击. (首先还是吐槽一下 $5\text h$ 的模拟赛因为早读和早课变成 $4\text h$ 这档事, 确实比较乱节奏.) A 题签得挺快. B 被论文诈骗根本没有从过题角度思考. C 确实傻了, 感觉形式很想 B 阅读全文
摘要：
$\mathscr{Description}$ Link. 对于所有 $n\times m$ 的矩阵 $A$, $a_{ij}\in[1,k]\cap\mathbb N$, 求 $$ \sum_A\prod_{i,j}\min\left{\min_{t=1}^m{a_{it}},\min_{t=1} 阅读全文
摘要：
$\mathscr{Description}$ Link. 给定一棵含有 $n$ 个结点的有根树, 点 $u$ 有正权 $w_u$. 每次操作可以: 在 $u$ 上放 $w_u$ 枚石子. 必须满足 $u$ 的儿子全部都放了对应数量的石子. 回收结点 $u$ 上的所有石子. 对于每个点, 求为了在这 阅读全文
摘要：
Q: 为什么说雨兔是个傻子？ A: 因为一路上全是星号标记. 呃, 本来的好像是 constructive || greedy, 但感觉最近整体题量不高, 就换成 2700-2900 了. 然后惊讶地发现这个区间好多 constructive, 麻了. 0. 「CF 1672H」Zigu Zagu 阅读全文
摘要：
$\S1.$ 等价容斥 (乱取的名字.) 题目将组合对象构成的 "等价类" 进行了定义和限定. 我们往往无法计数 "等价类真的长这样" 的方案, 而只能求出 "钦定等价类长这样, 但不能保证等价类间不等价" 的方案. 这个时候就可以用「等价容斥」求出最终答案. 形式化地, 设题目要求每种等价类对答案 阅读全文
摘要：
(搁置, 填坑看心情.) $$ \mathfrak{Defining~\LaTeX~macros\cdots} \newcommand{\qnum}[1]{\lbrack{#1}\rbrack_q} \newcommand{\qbino}[2]{{{#1}\brack{#2}}_q} \newcom 阅读全文
摘要：
$\mathscr{Description}$ Link. 给定一棵含有 $n$ 个点的有根外向树, 对于所有满足树形拓扑关系的结点遍历顺序 $p_{1..n}$ 求出 $\sum_{i=2}^n|p_{i-1}-p_i|$ 之和. 答案对 $(10^9+7)$ 取模. $\require{canc 阅读全文
摘要：
我们有单位根反演： \[ \sum_{k\mid n}[x^n]f(x)=\frac{1}{k}\sum_{i=0}^{k-1}f(\omega_k^i). \] 我们有 CRT： \[ x\equiv r_{1..n}\pmod{m_{1..n}}\\ \Leftrightarrow x\equi 阅读全文
摘要：
$$ \mathfrak{Defining~\LaTeX~macros\cdots}\ \newcommand{\lcm}[0]{\operatorname{lcm}} \newcommand{\vct}[1]{\boldsymbol{#1}} \newcommand{\dist}[0]{\oper 阅读全文