ThisIsLublog

摘要： A 求解长度为 \(n\) 的序列 \(A\) 数量，使得 \(\forall i\in [1,n],A_i \in [1,m]\) \(\forall i\in [1,n),A_{i+1}\ne A_i\) \(\forall i\in [1,n-m+1],\{A_i,A_{i+1},\dots, 阅读全文

摘要： 为了实现 FWT，我们需要实现所谓带权前缀和。 具体来说，给定序列 \(\{A\}_{i=0}^{c^n-1}\)（这里我们推广了一般的二进制情况），以及一个函数 \(w(i,j)\quad i \in [0,d^n),j\in [0,c^n)\)，我们需要求出： \[\textup{FWT}(A) 阅读全文

摘要： 题目 这有 3200！？ 做法 线性代数推推完事了。 阅读全文

摘要： 测试功能，可能还有大量问题。 2026年了，怎么在 Hydro 配置通信题？ 我们注意到 Hydro 题目中有这个选项： 好的怎么用呢？ 我们发现，没有任何文档指出这个类型该怎么配置。 但在 Hydro 的 Github 仓库上，我们找到了一份代码： import { NormalizedCase, 阅读全文

摘要： 批评一下很多题解，感觉大部分都没搞懂自己在写什么。 然后这个 dp 设计确实很妙。（也许是我孤陋寡闻了） 题意 给你一棵有 \(n\) 个节点的树 \(T\)，\(n\) 个节点编号为 \(1\) 到 \(n\)。 对于 \(T\) 中每个非空的顶点的集合 \(X\)，令 \(f(X)\) 为包含 阅读全文

摘要： 题意题意 你吃过蘸蔓越莓酱的肉丸吗？科斯嘉简直爱不释手，尤其是在深夜解题时。实际上，他在电脑前吃得太投入：一些蔓越莓酱从罐子里滴出来，弄坏了他的键盘。但他还得继续解题。而且，他可不想像键盘那样被卡住！ 科斯嘉使用的代码文件包含 \(n\) 行，编号从 \(1\) 到 \(n\)，其中第 \(i\) 阅读全文

摘要： 符号声明：\(\subseteq\) 表示包含于，\(\subset\) 表示真包含于。 定义 我们令 \(U=\{0,\dots,n-1\}\)。 一个集合幂级数 \(f\) 是对于全集 \(U\) 和环 \(R\)，一个 \(2^U\to R\) 的映射，对于 \(S \subseteq U\) 阅读全文

摘要： 给定长度为 \(2^n\) 两个序列 \(A,B\)，设 \[C_i=\sum_{j\textup{ op }k = i}A_j \times B_k \]分别当 \(\textup{op}\) 是 or, and, xor 时求出 \(C\)。 FWT 就是解决所谓位运算卷积问题的。 我们用 \( 阅读全文