【学习笔记】有向无环图上的DP

首先，感谢以下几位大佬们在此问题上对我的帮助：本市大佬sdqd01, 外省大佬ez_dc, coconight, szlhx01, jxgz03 (均为某OJ用户名)

一、基本概念

有向无环图 (Directed Acyclic Graph, DAG): 没有环的有向图。
Tarjan算法缩点、拓扑排序
在有向无环图上，可以进行动态规划来求解问题，具体见后面的例题。

二、问题引入

一切都要从半年前说起：
半年前我正在准备地理生物中考，其中生物有这样一种题：
给一个食物网（当然是DAG啦），求该食物网里一共有几条食物链。
当时同学们的做法是：枚举每一条食物链。
先不考虑是否符合生物学原理，最坏情况下的复杂度？
$O(n2^{n-2})$ (把边全连满)

但是我们可以$DP$！
我的做法：令$dp[i]$表示以$i$结束（或称为在$i$处汇聚）的食物链条数。（食物链都是从被捕食者向捕食者连有向边）
则转移为：$dp[i]=\sum_{j\in ind[i]}dp[j]$, 其中 ind[i] i n d [ i