2020年10月22日
洛谷 P3387 【模板】缩点（Tarjan，DAG上的dp）
摘要： 传送门 缩点 在一个有向图上缩点就是指把有向图上的环变成一个点。 具体实现用Tarjan。 先求强联通分量，每次遇到新点是把这个点进栈，最后若dfn[i]==low[i]则i这个点一定在环上，而且栈中i之后进入的元素也在这个环上（证明略）。 即一直出栈，知道出栈元素等于i。在出栈过程中维护信息即可。 阅读全文
posted @ 2020-10-22 23:28 尹昱钦 阅读(140) 评论(0) 推荐(1) 编辑