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

    ID: 19648 远端评测题 1000ms 512MiB 尝试: 0 已通过: 0 显示难度提高+/省选− 上传者: 标签>2017网络流二分图ICPCDilworth 定理

[ICPC 2017 Nanning R] The Maximum Unreachable Node Set

题目描述

在本题中,我们将讨论有向无环图 G=(V,E)G = (V, E)不可达节点集。在数学中,有向无环图(DAG)是指不存在有向环的有向图。也就是说,从任意节点出发,沿着 EE 中任何一致的有向边序列行走,最终都不可能回到起点。

VURVV_{UR} \subset V 是由若干节点组成的节点集。如果对于 VURV_{UR} 中的任意两个不同节点 uuvv,都不存在从 uu 出发、沿 EE 中一致的有向边序列最终能到达 vv 的路径,则称 VURV_{UR} 为图 GG 的一个不可达节点集。本题要求你计算出给定图 GG 的最大不可达节点集的大小。

输入格式

输入包含多组测试数据,第一行为一个整数 TT (1T5001 \le T \le 500),表示测试数据的组数。

对于每组测试数据,第一行包含两个整数 nn (1n1001 \le n \le 100) 和 mm (0mn(n1)/20 \le m \le n(n - 1)/2),分别表示图 GG 的节点数和边数。接下来的 mm 行,每行包含两个整数 uuvv (1u,vn1 \le u, v \le nuvu \neq v),指示一条从第 uu 个节点指向第 vv 个节点的有向边。同一组数据中给出的所有边互不相同。

我们保证输入中的所有有向图均为 DAG,且全部数据的 mm 之和小于 500000500000

输出格式

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

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 完成