AshDr

摘要： 本文介绍了一种新的博弈问题- “Fast Searching”作为 Edge Searching的一种变体。研究了该问题在树上和二分图上的性质， 并给出了该博弈在树上的一个线性时间算法以及一个general cost function用来衡量search strategies在Fast Search 阅读全文

摘要： 树状数组简单来看就是一个维护前缀和的数据结构，它相当于线段树去掉了所有的右子树，需要查询时，通过信息拼接来达到查询目的，基础应用为 (单点更新，区间查询) (区间更新，单点查询) (多了个差分) (区间修改，区间查询) (通过数学推导得出我们需要维护两个树状数组) 具体内容参照这篇博客，讲的比较细 阅读全文

摘要： 单调队列是一种数据结构，顾名思义，它里面的元素都是单调递增或者单调递减的。用于实现类似滑动窗口类型的询问区间最值问题，当然也可以用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 阅读全文

摘要： BST 即 搜索二叉树，它的性质，简而言之，就是对于每一个结点，他的左节点严格小于它，它的右节点严格大于他，满足这样性质的数就是搜索二叉树，它支持求x数的排名(在这里规定，有多个相同的数时，求他的最大排名)，求排名x的数，求x数的前驱和后继，加入结点，删除结点 那么，要满足上面的性质，如果有多个相同 阅读全文

摘要： 这篇文章笔者想总结一下LCA的做法 LCA即最近公共祖先它所要求的是树上任意两个结点的公共祖先 下面提供做法 1、暴力法： 即一层一层往上爬，给定两个结点，先将两个结点的深度调为一致后，一起一层层的向上爬上升，这种做法的时间复杂度为较大，很容易被卡掉，这里就不详细说明，只是放出代码 #include 阅读全文

摘要： 虽然说是线性DP总结，但是笔者在这里还是想将DP的思想以及细节等等总体梳理一遍 在这里也感谢雨神视频让我对DP的理解更加的深入 首先 动态规划适用的条件是该问题有最优子结构、无后效性、通过每个最优子结构状态的递推可以推出整体的最优解 对这些基本概念的理解既要理性也要一点点感性 DP问题解决顺序是：1 阅读全文