#L4211. 「NOI2024」树形图
「NOI2024」树形图
题目描述:
给定一个 个点 条边的简单有向图 ,顶点从 到 编号。其中简单有向图的定义为不存在重边与自环的有向图。
定义顶点 是有向图 的根当且仅当对于 ,顶点 到顶点 存在恰好一条有向简单路径,其中简单路径的定义为不经过重复点的路径。
定义每个点的种类如下:
- 若顶点 是图 的根,则称顶点 为图 的一类点。
- 若顶点 不是图 的一类点,且存在一种删边的方案,使得图 在删去若干条边后得到的图 满足:
- 所有图 中的一类点都是 的根,且
- 顶点 也是图 的根, 则称顶点 为图 的二类点。
- 若顶点 不满足上述条件,则称顶点 为图 的三类点。
根据上述定义,图 的每个点都恰好属于一类点、二类点、三类点之一。你需要判断点 分别属于这三个种类中的哪一种。
输入格式
从文件 graphee.in 中读入数据。
本题有多组测试数据。
输入的第一行包含一个非负整数 ,表示测试点编号。 表示该测试点为样例。
输入的第二行包含一个正整数 ,表示测试数据组数。
接下来依次输入每组测试数据,对于每组测试数据:
输入的第一行包含两个正整数 ,分别表示有向图的点数和边数。
接下来 行,每行包含两个正整数 ,表示一条从 到 的有向边。保证 ,且给定的有向图 不存在重边与自环。
输出格式
输出到文件 graphee.out 中。
对于每组数据,输出一行包含一个长度恰好为 的字符串 表示每个点的种类。其中 表示点 为一类点, 表示点 为二类点, 表示点 为三类点。
样例 1
输入
0
2
4 7
2 1
4 1
1 4
2 3
3 4
2 4
4 3
4 5
1 2
2 3
2 4
3 1
4 3
输出
3233
2211
样例 1 共包含两组测试数据。
对于第一组测试数据,输入的图如下:

由于 均不存在到达 的路径,因此 均为三类点。由于 到 的有向简单路径共有三条:,,,因此 不是一类点。删去边 ,,, 后, 到 的有向简单路径均唯一,因此 是图 的根,即 是二类点。
对于第二组测试数据,输入的图如下:

容易发现 均为一类点,删去边 后,每个点到其他所有点的有向简单路径均唯一,因此 均为二类点。
样例 2
见选手目录下的 graphee/graphee2.in 与 graphee/graphee2.ans。
这个样例满足测试点 的约束条件。
样例 3
见选手目录下的 graphee/graphee3.in 与 graphee/graphee3.ans。
这个样例满足测试点 的约束条件。
样例 4
见选手目录下的 graphee/graphee4.in 与 graphee/graphee4.ans。
这个样例满足测试点 的约束条件。
样例 5
见选手目录下的 graphee/graphee5.in 与 graphee/graphee5.ans。
这个样例满足测试点 的约束条件。
样例 6
见选手目录下的 graphee/graphee6.in 与 graphee/graphee6.ans。
这个样例满足测试点 的约束条件。
数据范围
对于所有测试数据保证:,,,且图 不存在重边与自环。
| 测试点编号 | 特殊性质 | |||
|---|---|---|---|---|
| 1 | 3 | 10 | 20 | 无 |
| 2 | 10 | A | ||
| 3,4 | B | |||
| 5,6 | 无 | |||
| 7 | A | |||
| 8,9 | BC | |||
| 10∼13 | B | |||
| 14,15 | C | |||
| 16∼20 | 无 | |||
特殊性质 A:保证不存在一类点。
特殊性质 B:保证不存在二类点。
特殊性质 C:保证编号为 的点为图 的一类点。