P17223 [ICPC 2017 Nanning R] The Maximum Unreachable Node Set

题目描述

在本题中,我们将讨论有向无环图 $G = (V, E)$ 的 **不可达节点集**。在数学中,有向无环图(DAG)是指不存在有向环的有向图。也就是说,从任意节点出发,沿着 $E$ 中任何一致的有向边序列行走,最终都不可能回到起点。 设 $V_{UR} \subset V$ 是由若干节点组成的节点集。如果对于 $V_{UR}$ 中的任意两个不同节点 $u$ 和 $v$,都不存在从 $u$ 出发、沿 $E$ 中一致的有向边序列最终能到达 $v$ 的路径,则称 $V_{UR}$ 为图 $G$ 的一个不可达节点集。本题要求你计算出给定图 $G$ 的最大不可达节点集的大小。

输入格式

输入包含多组测试数据,第一行为一个整数 $T$ ($1 \le T \le 500$),表示测试数据的组数。 对于每组测试数据,第一行包含两个整数 $n$ ($1 \le n \le 100$) 和 $m$ ($0 \le m \le n(n - 1)/2$),分别表示图 $G$ 的节点数和边数。接下来的 $m$ 行,每行包含两个整数 $u$ 和 $v$ ($1 \le u, v \le n$ 且 $u \neq v$),指示一条从第 $u$ 个节点指向第 $v$ 个节点的有向边。同一组数据中给出的所有边互不相同。 我们保证输入中的所有有向图均为 DAG,且全部数据的 $m$ 之和小于 $500000$。

输出格式

对于每组测试数据,输出一行一个整数,表示 $G$ 的最大不可达节点集的大小。

说明/提示

翻译由 DeepSeek V4 Pro 完成