#NOI2024F. 树形图(graphee)
树形图(graphee)
题目描述
给定一个 个点 条边的简单有向图 ,顶点从 到 编号。其中简单有向图的定义为不存在重边与自环的有向图。
定义顶点 是有向图 的根当且仅当对于 ,顶点 到顶点 存在恰好一条有向简单路径,其中简单路径的定义为不经过重复点的路径。
定义每个点的种类如下:
- 若顶点 是图 的根,则称顶点 为图 的一类点。
- 若顶点 不是图 的一类点,且存在一种删边的方案,使得图 在删去若干条边后得到的图 满足:所有图 中的一类点都是 的根,且顶点 也是图 的根,则称顶点 为图 的二类点。
- 若顶点 不满足上述条件,则称顶点 为图 的三类点。
根据上述定义,图 的每个点都恰好属于一类点、二类点、三类点之一。你需要判断点 分别属于这三个种类中的哪一种。
输入格式
从文件 graphee.in
中读入数据。
本题有多组测试数据。
输入的第一行包含一个非负整数 ,表示测试点编号。 表示该测试点为样例。
输入的第二行包含一个正整数 ,表示测试数据组数。
接下来依次输入每组测试数据,对于每组测试数据:
输入的第一行包含两个正整数 ,分别表示有向图的点数和边数。
接下来 行,每行包含两个正整数 ,表示一条从 到 的有向边。保证 ,且给定的有向图 不存在重边与自环。
输出格式
输出到文件 graphee.out
中。
对于每组数据,输出一行包含一个长度恰好为 的字符串 表示每个点的种类。其中 表示点 为一类点, 表示点 为二类点, 表示点 为三类点。
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 解释
样例 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/graphee2.in
与 graphee/graphee2.ans
。
这个样例满足测试点 的约束条件。
数据范围
对于所有测试数据保证:,,,且图 不存在重边与自环。
测试点编号 | 特殊性质 | |||
---|---|---|---|---|
无 | ||||
A | ||||
B | ||||
无 | ||||
A | ||||
BC | ||||
B | ||||
C | ||||
无 |
特殊性质 A:保证不存在一类点。
特殊性质 B:保证不存在二类点。
特殊性质 C:保证编号为 的点为图 的一类点。