好久好久沒有碰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的子樹能夠追溯到的最早的棧中頂點的次序編號 ...