spdarkle

摘要： P11328 贪心策略的发现的通用方法:假定最优解集合，再微调研究 很明显我们应该使用邻项交换法，假设选定了按照什么顺序参加比赛，并且参加的每一场都获得了徽章，那么考虑先操作 \(i\) 再操作 \(j\) 合法，而先操作 \(j\) 非法的条件是： \[now\le L_i,now+X_i\le 阅读全文

摘要： 考虑给定序列 \(a\)，求出序列 \(a\) 的最短线性递推式（在固定域 \(\mathbb{F}\) 下，通常是模意义或者实数域）。 引理：对于一个无限长的递推序列 \(a\)，若其满足线性递推且其最短递推式长度为 \(l\)，则取前 \(2l\) 项跑Berlekamp-Massey即可得到其 阅读全文

摘要： 以下默认小写字母 \(\mathbf{a},\mathbf{b}\) 等表示的向量是一个行向量，\(\mathbf{1}\) 表示全 \(1\) 行向量，\(\operatorname{diag(\mathbf{a})}\) 表示一个大小 \(|\mathbf{a}|\times |\mathbf{ 阅读全文

摘要： 零化多项式 定义： 矩阵定义 设域为 \(\mathbb{F}\)，在一个线性空间 \(\mathbb{F}^n\) 上的线性变换 \(T:V\to V\)（域为 \(\mathbb{F}\)）。 若有在域 \(\mathbb{F}\) 上的多项式 \(F(z)=\sum f_iz^i\) 满足： 阅读全文

摘要： 众所周知，第二类斯特林数通过二项式反演可以得到通项公式。 应用它可以得到线性计算 bell 与 fubini numbers 的方法。 先来看贝尔数。 \[\begin{aligned} Bell(n)&=\sum_{k=0}^n{n\brace k}\\ &=\sum_{k=0}^n\sum_{j 阅读全文

摘要： 核心思想是将无法处理的运算参量单独设为一个未知量，也就是变成维护二元组，多个未知量就是多元组，然后设置它们的合并规则进行计算。 一般而言，最终的未知量都会消去。 例如 NOI2025 集合 中，我们需要涉及到处理含 \(0\) 算式的乘除法，可以将数字表达为 \(x·0^y\) 的形式，用二元组 \ 阅读全文

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

摘要： 判定有解是一个比较经典的Hall定理。 也即，将 \(a\) 看作正数，将 \(b\) 看作负数，那么一个在 \((i,j,k)\) 的 \(1\)，可以与一个在 \((a,b,c)(a\ge i,b\ge j,c\ge k)\) 的 \(-1\) 进行匹配。 根据 Hall 定理，有 \(|N(S 阅读全文

摘要： 考虑设 \(B=64\)，每 \(64\) 个元素分一块。 处理跨块查询 这样的查询，是由一段的后缀拼上若干整块拼上一段前缀。 因此我们维护每个块的前后缀最值以及将每一块的最值拿出建立 \(ST\) 表。 复杂度 \(O(n+\frac{n}{B}\log\frac{n}{B})=O(n)\)。 处 阅读全文

摘要： 同余最短路与完全背包 经典问题是 luogu P9140，类似题目还有 CF 2115E 给定若干物品 \((v_i,w_i)\)，其中 \(w\) 是价值 \(v\) 是占用体积，做完全背包。 不妨默认已经按性价比排序。 其核心结论有如下几个： 至多有 \(v^2_{\max}\) 的背包用于放置 阅读全文