随笔分类 - A.算法/知识点
摘要: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
阅读全文

浙公网安备 33010602011771号