摘要：
二分图相关结论 最小点覆盖 点覆盖定义：点的集合 ，需要满足每一条边至少有一个端点在 中。 最小点覆盖定义：点个数最少的集合 。 可以证明，最小点覆盖的大小与最大匹配相等。 证明如下： 1、最小点覆盖 最大匹配： 为了使得最大匹配的边被全部覆盖，至少需 阅读全文
摘要：
双系统（windows11 & ubuntu-22.04.1） 最近心血来潮想装个双系统，也能熟悉 icpc 的环境，结果装了半天，遇到了一大堆问题，想着记录一下也能帮到别人。 首先上网搜索了关键词：ICPC、Ubuntu，还真搜出了官方 ICPC WF 的配置教程：Link 步骤一 下载 iso、 阅读全文
摘要：
高维前缀和 二维前缀和 一般的做法是容斥： for (int i = 1; i <= n; ++ i) for (int j = 1; j <= n; ++ j) sum[i][j] = sum[i - 1][j] + sum[i][j - 1] - sum[i - 1][j - 1] + a[i] 阅读全文
摘要：
快速沃尔什变换（FWT） 前言 本文为个人学习笔记，大量参考了 oi-wiki 以及其他博客的内容。 问题 给定 序列，求： 其中，\(\oplus = \operatorname{or} / \ope 阅读全文
摘要：
快速傅里叶变换（FFT） 前言 本文为个人学习笔记，大量参考了 oi-wiki 以及其他博客的内容。 问题 记： \[f(x) = c_0 + c_1 x + c_2 x^2 + \cdots + c_{n}x^{n} \\ g(x) = d_0 + d_1 x + d_2 x^2 + \cdots 阅读全文
摘要：
生成函数 普通生成函数（ordinary generating function，OGF） 定义序列 的普通生成函数为： 既可以是有穷序列，也可以是无穷序列。 例子： 1、序列 \(a=\langle 1,2,3\rangl 阅读全文
摘要：
求每个后缀与整个串的 LCP。 阅读全文
