支配树学习笔记

今天晚上沉迷毒瘤常数优化spfa过支配树题，然而一直调不过（ET），隔壁队长都把支配树给学了，于是就看了看支配树算法。其中semi/sdom指的是最小的不经过dfs树上所有点而到达某个dfs序比这个点小的点，这个东西可以反序求：考虑任意一个点，它要么是直接到达这个目标点，要么经过某个比它大的点到达目标点，这两个值分别可以从它能直接到达的所有dfs序小于它的点和所有已经求出的比它大的semi求出。有了semi我们就可以通过dfs树上这个点到semi的路径上的所有点的semi是否大于等于它，若大于等于则就是最大支配点，否则它的支配点就是它到semi路径上semi最小的那个点的支配点。差不多就是这样了。