【算法】2-SAT 学习笔记
什么是 2-SAT? SAT 是适定性(Satisfiability)问题的简称。一般形式为 k & 阅读更多…
什么是 2-SAT? SAT 是适定性(Satisfiability)问题的简称。一般形式为 k & 阅读更多…
这个问题困扰我很久了,一直觉得没太大关系就没解决,今天终于忍不住解决了 解决方法很简单,Ubuntu 阅读更多…
拉格朗日反演 如果对于幂级数 $F(x)$和 $G(x)$,有 $G(F(x))=F(G(x))=x 阅读更多…
莫队 $+$ $bitset$. 我们可以用 $bitset$ 维护当前 $l,r$ 区间数的出现的 阅读更多…
为了证明过年的时候 $MiNa$ 还是有人的本蒟蒻特来水一波…… 其实很短的 阅读更多…
第一类斯特林数的一种 $O(n\log n)$倍增求法 摘要 本文介绍了一种可以 $O(n\log 阅读更多…
数树 题意: U 为所有 $n$个点的树的集合 对于给定的两棵树 $S, T$, 定义 $F(S, 阅读更多…
膜法森林 2333…… 显然是一道 $LCT$ 动态加边的题目。 然而并不需 阅读更多…
1. 是什么 似乎很多地方直接管它叫 Pollard rho 算法 又名泼辣的肉算法 用于对 $n$ 阅读更多…
1. 是什么 用来在 $O(\log p)$的复杂度内检测 $p$是否为素数 是一种随机化玄学算法, 阅读更多…