#P17223. [ICPC 2017 Nanning R] The Maximum Unreachable Node Set
[ICPC 2017 Nanning R] The Maximum Unreachable Node Set
题目描述
在本题中,我们将讨论有向无环图 的 不可达节点集。在数学中,有向无环图(DAG)是指不存在有向环的有向图。也就是说,从任意节点出发,沿着 中任何一致的有向边序列行走,最终都不可能回到起点。
设 是由若干节点组成的节点集。如果对于 中的任意两个不同节点 和 ,都不存在从 出发、沿 中一致的有向边序列最终能到达 的路径,则称 为图 的一个不可达节点集。本题要求你计算出给定图 的最大不可达节点集的大小。
输入格式
输入包含多组测试数据,第一行为一个整数 (),表示测试数据的组数。
对于每组测试数据,第一行包含两个整数 () 和 (),分别表示图 的节点数和边数。接下来的 行,每行包含两个整数 和 ( 且 ),指示一条从第 个节点指向第 个节点的有向边。同一组数据中给出的所有边互不相同。
我们保证输入中的所有有向图均为 DAG,且全部数据的 之和小于 。
输出格式
对于每组测试数据,输出一行一个整数,表示 的最大不可达节点集的大小。
3
4 4
1 2
1 3
2 4
3 4
4 3
1 2
2 3
3 4
6 5
1 2
4 2
6 2
2 3
2 5
2
1
3
提示
翻译由 DeepSeek V4 Pro 完成