好久好久没有碰oi然而9月19日有一个CSP的认证考试，强行被拉回来搞oi orz orz orz..... 目前是准备刷csp真题+codeforces+atcoder+刷模板题同时搞0.0 分块算法 分成一块一块处理，当处理区间问题，左右小区块暴力处理，中间 ...

　　本篇口胡写给我自己这样的什么都乱证一通的口胡选手 以及那些刚学Matrix-Tree，大致理解了常见的证明但还想看看有什么简单拓展的人… 　　大概讲一下我自己对Matrix-Tree定理的一些理解、常见版本的证明、我自己的证明，以及简单的一些应用（比如推广到有向图、推广到生成树边权的乘积 ...

支配树(dominator tree) 学习笔记 学习背景 本来本蒟蒻都不知道有一个东西叫支配树……pkuwc前查某位的水表看见它的大名，甚感恐慌啊。不过好在pkuwc5道题(嗯?)都是概率期望计数，也不知是好还是不好，我在这些方面也只是不好不差……扯远了。 考挂之后也没什么心思干别的，想起 ...

上去。求解强连通分量的方法一般会使用\(Tarjan\)算法。 首先我们需要学会\(dfs\)树,定义 ...

被支配树支配的恐惧 定义 显然，这个支配关系是一个树（或者如果有的点不能从r到达，就是一个树+一堆点）。 首先不会成环，其次也不会是DAG 即如果A支配C，B支配C，那么A和B之间必然有支配关系 解法 首先是DAG很好做： [ZJOI2012]灾难 一般有向图：有环的存在 ...

Tarjan是基于对图DFS的算法 过程中遇到四种边 树枝边：dfs搜索树上的边 满足边(u,v) v不在栈中 u为v的父节点 前向边：与dfs方向一致 祖先指向子孙 没什么用 后向边：与dfs方向相反 子孙指向祖先 满足边(u,v) v在栈中，u为v的祖先节点 横叉边：从某个结点 ...

Tarjan算法 Tarjan算法是用于求图上的强连通分量(环)的算法。 应用： 有向图求强连通分量/缩点 无向图求割点 无向图找环 求强连通分量/缩点 强连通是有向图才有的概念。如果有向图G的每两个顶点都强连通，称G是一个强连通图。有向图的极大强连通子图，称为强 ...

1、求有向图的强连通分量 如果有向图G中的任何两个顶点都相互可达，则G称为一个强连通图。非强连通图的极大强连通子图称为有向图的强连通分量。 Tarjan算法是根据图的深度优先搜索，定义DFN(u)为顶点u在DFS中的次序编号，Low(u)为u或u的子树能够追溯到的最早的栈中顶点的次序编号 ...