摘要：单调队列是一种数据结构，顾名思义，它里面的元素都是单调递增或者单调递减的。用于实现类似滑动窗口类型的询问区间最值问题，当然也可以用ST表线段树等 但是单调队列在有些时候时空性能是最优的。 具体实现可以开一个Struct Monotone_queue 包含队首、队尾、id数组和value数组，当然va 阅读全文

摘要：LIS在线性动态规划中可以说是重要的一环，许多题目都需要配合上LIS进行求解，同时在求解时也可能用到Dilworth定理，下面对此进行总结。 首先是经典例题，导弹拦截 看清题意后对于第一问可以得知是求一个最长不升子序列，而对于第二问呢？稍加思考再辅以一些基础的证明可以得知是求最长上升子序列长度 对于 阅读全文

摘要：Tarjan算法是图论中比较重要的一个算法，它用来求得一个有向图得强连通分量(Strongly Connected Component)下用scc代称，首先介绍强连通分量是什么。 感性地去理解，就是一个有向图中每个有环子图，严谨得说，就是求子图，这样的子图满足子图上得每一个点都可以到达它上面任意一个 阅读全文

摘要：关于拓扑排序，基础图论中可以说是比较常见的题型，对于一些存在明显递推顺序的图论题目例如食物链计数，对于每一个结点存在一个明显的递推$f[k] = \sum(f[i])$ $f[i]$为与它连边，并且从图形上说在它上面的点的方案数，我们肯定不能直接去利用它“上面的点”的方案数，这时候我们需要一定的顺序 阅读全文

摘要：texdoc ctex可以打开宏包\quad 一个空格 \qquad两个空格#$%{}&实现都要加\~_ ^ 则需要\~{}实现反斜杠则要\textbackslash`表示左单引号 ‘表示右单引号 各用两边表示双引号$表示数学模式 \begin{center} center表示居中环境\docume 阅读全文