thumbnail
This is Melo
这里用于发布一些不成熟的想法和 P 话。 Hiiiiii...
每日学习

对于无根树计数,常常通过钦定重心为根的方式转化为有根树计数,但是有时可能需要对某棵树有两个重心的情况去重。

122 日 , 2026 14:12
每日学习

一棵树是 BST 的充要条件是按照中序遍历的顺序写出权值序列后,这个序列单调不降

122 日 , 2026 14:01
每日学习

对于无根树上任意两点之间的路径,一定可以在以某个叶子为根的时候变成一条祖先到后代的链。

122 日 , 2026 14:00
每日学习

建 SAM 的时候有一个 lst 变量,表示的是以当前枚举完的前缀为等价类中最长串的等价类的编号。

120 日 , 2026 17:50
每日学习

一棵无根树如果以某个点为根后,所有子树大小都小于 $\lfloor\frac{n}{2}\rfloor$,则这样的点至多只有一个,且必定是重心。

如果以某个点为根后,所有子树大小都小于等于 $\lfloor\frac{n}{2}\rfloor$,则这样的点至多只有两个,也必定是重心,且如果有两个,则这两个点一定直接有边相连。

重心的最大子树大小不会大于 $\lfloor\frac{n}{2}\rfloor$。

107 日 , 2026 15:29
每日学习

虚树保留了所有关键点两两的 LCA,也可以看做是原树抠了一些点得到的,形态没有任何变化。

1231 日 , 2025 11:17
板子合集
起因是发现自己脑子并不好使老忘。 DSU on tree 先树剖。 Func Modify = [] (int cur ,int op) -> void { if (op) max = std :: max (max ,tr.Query (a[cur]).first) ,tr.Insert (a[cur] ,0) ; else tr.Del …
thumbnail
从线代角度理解 FWT
我们设 $c_{i,j}$ 表示数组 $X_j$ 对变换数组 $FWT[X]_i$ 的贡献系数,有 $FWT[X]_i=\displaystyle\sum_{j=0}^{len-1}c_{i,j}X_j$。$c_{i,j}$ 使用人类语言表述就是所有下指标是 $j$ 的 $X$ 都对变换数下指标 $i$ 的位置有 $c_{i,j}$ 的贡献,值得注…
简单范德蒙德卷积式子

ABC 被我轻松开贺了,贺完学习一下。

范德蒙德卷积公式:$\displaystyle\sum_{i=0}^k {n \choose i}{m\choose k-i}={n+m\choose k}$,组合意义显然。

一个简单变式是 $\displaystyle\sum_{i=0}^m {n \choose i}{m\choose i}={n+m\choose m}$。

推论是 $\displaystyle\sum_{u\ge0} {x \choose u}{y\choose u+1}={x+y\choose y-1}$。

考虑直接 ${y\choose u+1}={y-1\choose u+1}+{y-1\choose u}$,于是变为 $\displaystyle\sum_{u\ge0} {x \choose u}{y-1\choose u+1}+\displaystyle\sum_{u\ge0} {x \choose u}{y-1\choose u}$。

对于前项,令 $v=u+1$,变为 $\displaystyle\sum_{v\ge1} {x \choose v-1}{y-1\choose v}$。

等价于 $\displaystyle\sum_{v\ge1} ({x+1\choose v}-{x\choose v}){y-1\choose v}$

所以原式等于 $(\displaystyle\sum_{v\ge0}{x+1\choose v}{y-1\choose v})-(\displaystyle\sum_{v\ge0}{x\choose v}{y-1\choose v})+(\displaystyle\sum_{u\ge0}{x\choose u}{y-1\choose u})=\displaystyle\sum_{v\ge0}{x+1\choose v}{y-1\choose v}$。

由变式得 $x+y\choose y-1$。

1125 日 , 2025 19:45
神奇取模/jy/jy/jy

这个的时候看到的。牛逼结论:$(a\times c)\bmod(b\times c)=(a\bmod b)\times c$,两者任何情况下(包括非模意义下)完全相等

考虑 $a=q\times b + r$,其中 $0\le r< b$,那么 $a\times c=q\times b\times c+r\times c$,则有 $\text{LHS}=\text{RHS}$。

1121 日 , 2025 19:40