#P10790. [NOI2024] 树形图
[NOI2024] 树形图
题目背景
由于评测机性能差异,本题时限翻倍。
题目描述
给定一个 个点 条边的简单有向图 ,顶点从 到 编号。其中简单有向图的定义为不存在重边与自环的有向图。
定义顶点 是有向图 的根当且仅当对于 ,顶点 到顶点 存在恰好一条有向简单路径,其中简单路径的定义为不经过重复点的路径。
定义每个点的种类如下:
- 若顶点 是图 的根,则称顶点 为图 的一类点。
- 若顶点 不是图 的一类点,且存在一种删边的方案,使得图 在删去若干条边后得到的图 满足:所有图 中的一类点都是 的根,且顶点 也是图 的根,则称顶点 为图 的二类点。
- 若顶点 不满足上述条件,则称顶点 为图 的三类点。
根据上述定义,图 的每个点都恰好属于一类点,二类点,三类点之一。你需要判断点 分别属于这三个种类中的哪一种。
输入格式
本题有多组测试数据。
输入的第一行包含一个非负整数 ,表示测试点编号。 表示该测试点为样例。
输入的第二行包含一个正整数 ,表示测试数据组数。
接下来依次输入每组测试数据,对于每组测试数据:
输入的第一行包含两个正整数 ,分别表示有向图的点数和边数。
接下来 行,每行包含两个正整数 ,表示一条从 到 的有向边。保证 ,且给定的有向图 不存在重边与自环。
输出格式
对于每组数据,输出一行包含一个长度恰好为 的字符串 表示每个点的种类。其中 表示点 为一类点, 表示点 为二类点, 表示点 为三类点。
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
见 graphee2.in/ans
这个样例满足测试点 2 的约束条件
见 graphee3.in/ans
这个样例满足测试点 3,4 的约束条件
见 graphee4.in/ans
这个样例满足测试点 5,6 的约束条件
见 graphee5.in/ans
这个样例满足测试点 8,9 的约束条件
见 graphee6.in/ans
这个样例满足测试点 14,15 的约束条件
提示
【样例 1 解释】
样例 共包含两组测试数据。
对于第一组测试数据,输入的图如下:
由于 均不存在到达 的路径,因此 均为三类点。由于 到 的有向简单路径共有三条:,,,因此 不是一类点。删去边 ,,, 后, 到 的有向简单路径均唯一,因此 是图 的根,即 是二类点。
对于第二组测试数据,输入的图如下:
容易发现 均为一类点,删去边 后,每个点到其他所有点的有向简单路径均唯一,因此 均为二类点。
【数据范围】
对于所有测试数据保证:,,,且图 不存在重边与自环。
测试点编号 | 特殊性质 | |||
---|---|---|---|---|
无 | ||||
A | ||||
B | ||||
无 | ||||
A | ||||
BC | ||||
B | ||||
C | ||||
无 |
- 特殊性质 A:保证不存在一类点。
- 特殊性质 B:保证不存在二类点。
- 特殊性质 C:保证编号为 的点为图 的一类点。