CF1036G Sources and Sinks

## 题意翻译 给出一张 DAG（$1\leq n, m\leq 10^6$，其中 $n$ 为结点数，$m$ 为边数） 称无入边的结点为 “源点”；无出边的结点为 “汇点”。我们还保证这张 DAG 的源点数量与汇点数量相等，且均不超过 $20$ 个 现在我们对这张 DAG 重复以下操作： 1. 选择**任意**一对源点与汇点 $s, t$ 2. 添加一条（有向）边 $(t, s)$；如果仍还有源点与汇点，就再回到操作 $1$。可以发现该次操作将会导致 $s$ 不再是一个源点，$t$ 不再是一个汇点；并且该次操作还有可能添加一个**自环** 现在问，无论操作中的具体选择如何，该图在所有操作结束后，是否**总是**成为**一个**强联通分量（即任意一对结点间都可以相互到达）

无

无