摘要：
Tarjan + TopsortTarjan 缩点Topsort 判断 Topsort 判断：在DAG中若初始状态下存在多于1个入度为0的点则说明这些 入度为0的点之间不会有路径可达若不存在入度为0的点，则状态为Yes 若只存在1个入度为0的点，将该点指出的边删除继续上述判断 阅读全文
摘要：
对于某一大小的连通子图包含的黑点的数目的最大值和最小值都能取到考虑树形dp$f[i][j]$ 表示从 $i$ 的子树中选出大小为 $j$ 的联通子图黑点数目的最小值$g[i][j]$ 表示从 $i$ 的子树中选出大小为 $j$ 的联通子图黑点数目的最大值树形dp转移 阅读全文
摘要：
对于软件的依赖可以转化为图上点之间的边的关系发现对于一个强联通分量内的软件，一安则全安Tarjan缩点缩点后，从虚拟节点 0 向所有入度为 0 的点连边这样就构成了一棵树树形 dp$dp[i][j]$ 表示对 $i$ 及其子树话费 $j$ 的价格所得到的收益$dp[i][j] = dp[k][l] 阅读全文