【学习笔记】Dilworth 定理的构造性证明
摘要:发现自己并不会 Dilworth 定理的构造性证明(原题要求输出方案),于是去 Wiki 上学习了一下。下文是我参照 Wiki 上的证明思路口胡的一个证明。 附例题:Codeforces 590E Dilworth 定理: DAG 的最长反链大小等于最小链覆盖大小。 反链是指从图中的一个点的集合,使
阅读全文
【学习笔记】关于正整数除法下取整和上取整的一些基本运算公式
摘要:您从来没有见过这么菜的东西对不对。没错我就是这么菜。实在对不起玷污了您的眼睛。 OI 中经常遇到有关下取整和上取整的运算,这些公式手推很容易,但是对我这种菜鸡来说非常容易出错并且需要耗时,因此不如把他们记住。 设 $a,b,m$ 为正整数: $$\lfloor\frac{a}{b}\rfloor=\
阅读全文
【学习笔记】OI模板整理
摘要:CSP2019前夕整理一下模板,顺便供之后使用 0. 非算法内容 0.1. 读入优化 描述: 使用getchar()实现的读入优化。 代码: inline int read() { int x=0; bool f=1; char c=getchar(); for(;!isdigit(c);c=get
阅读全文
【学习笔记】自然数幂和
摘要:温馨提示: 本文文档大小约$11KB$. 引入 自然数幂和是一个我们从小就耳熟能详的经典问题。定义$S(m,n)=\sum^{m}_{i=0} i^n$, 显然$S(m,n)$为关于$m$的不超过$(n+1)$次多项式,那么给定$n$, 如何快速求出这个多项式的系数?或者给定$m$和$n$, 如何快
阅读全文
【学习笔记】求矩阵的特征多项式
摘要:先膜拜一波神仙yww 给定一个矩阵(没有任何特殊性质),如何求它的特征多项式? 算法一 直接把$\lambda$代入$(n+1)$个点值,求完行列式之后插值即可。 时间复杂度$O(n^4)$ 算法二 下面介绍一个更快的做法。 定义 对于矩阵$\bm A,\bm B$, 若存在可逆矩阵$\bm\Phi
阅读全文
【学习笔记】Sperner定理及其证明
摘要:额,最近看到了一个十分有趣的定理——Sperner定理。其实这个定理在OI中没什么用处,因此我都没把这篇文章放到我的OI标签里(不知道在MO中是否有用?)但是觉得它很有趣于是就过来写一下。 由于博主太弱不会用LaTeX写取整符号,本文中用$[x]$表示$x$下取整。 问题 : 有一个$n$元集合$S
阅读全文
【学习笔记】一些常用的数学公式
摘要:手动博客搬家: 本文发表于20181224 11:28:00, 原地址 https://blog.csdn.net/suncongbo/article/details/85230900 1. $e=\sum_{n=0}\frac{1}{n!}$ $e^x=\sum_{n=0}\frac{x^n}{n
阅读全文
【学习笔记】多项式相关算法
摘要:手动博客搬家: 本文发表于20181125 13:19:28, 原地址 https://blog.csdn.net/suncongbo/article/details/84485568 最近学了一下多项式相关算法,简单记录一下 记号说明: $O(Af(n))$表示时间复杂度$O(f(n))$, FF
阅读全文
【学习笔记】与调和级数相关的时间复杂度
摘要:手动博客搬家: 本文发表于20181110 16:13:39, 原地址 https://blog.csdn.net/suncongbo/article/details/83930408 声明:博主写这个博客的理由只是为了缓解心情,大部分的东西都是我手推的,没有验证过,如果有问题敬请指出。 Noip2
阅读全文
【学习笔记】有向无环图上的DP
摘要:手动博客搬家: 本文发表于20180716 10:49:04, 原地址 https://blog.csdn.net/suncongbo/article/details/81061378 首先,感谢以下几位大佬们在此问题上对我的帮助:本市大佬sdqd01, 外省大佬ez_dc, coconight,
阅读全文
【学习笔记】求解简单递归式的一般方法
摘要:手动博客搬家: 本文发表于20180618 15:53:06, 原地址 https://blog.csdn.net/suncongbo/article/details/80724541 注: 欢迎移步 https://codeforces.com/blog/entry/61101 (想知道为什么会有
阅读全文
【学习笔记】线段树的数组大小下限及证明
摘要:手动博客搬家: 本文发表于20170820 20:23:52, 原地址 https://blog.csdn.net/suncongbo/article/details/77432667 线段树是一种将一个区间分成若干个子区间的数据结构。它是一棵二叉树,且满足点i的子节点编号分别为2 i和2 i+1
阅读全文