AT_abc245_f [ABC245F] Endless Walk

给定一个包含 $N$ 个顶点和 $M$ 条边的简单有向图 $G$，顶点编号为 $1$ 到 $N$。第 $i$ 条边从顶点 $U_i$ 指向顶点 $V_i$。 高桥君可以从某个顶点出发，沿着有向边不断从一个顶点移动到另一个顶点。请你求出有多少个顶点满足：高桥君可以通过巧妙地选择路径，从该顶点出发，无限次地重复移动。

输入通过标准输入给出，格式如下： > $N$ $M$ > $U_1$ $V_1$ > $U_2$ $V_2$ > $\vdots$ > $U_M$ $V_M$

输出满足条件的顶点个数。

## 限制条件 - $1 \leq N \leq 2 \times 10^5$ - $0 \leq M \leq \min(N(N-1),\ 2 \times 10^5)$ - $1 \leq U_i, V_i \leq N$ - $U_i \neq V_i$ - 若 $i \neq j$，则 $(U_i, V_i) \neq (U_j, V_j)$ - 所有输入均为整数。 ## 样例解释 1 如果从顶点 $2$ 出发，可以按照“顶点 $2$ $\to$ 顶点 $3$ $\to$ 顶点 $4$ $\to$ 顶点 $2$ $\to$ 顶点 $3$ $\to$ $\cdots$”这样的路径无限次移动。从顶点 $3$、顶点 $4$ 出发也同理。如果从顶点 $1$ 出发，最初可以移动到顶点 $2$，之后也可以无限次移动。另一方面，从顶点 $5$ 出发则无法移动。 因此，满足条件的顶点为顶点 $1$、$2$、$3$、$4$，共 $4$ 个，所以输出 $4$。 ## 样例解释 2 请注意，在简单有向图中，两个顶点之间可以同时存在方向相反的两条边。此外，$G$ 不一定是连通图。 由 ChatGPT 4.1 翻译