#P14450. [ICPC 2025 Xi'an R] Directed Acyclic Graph
[ICPC 2025 Xi'an R] Directed Acyclic Graph
Description
给定两个整数 和 ,你需要构造一张有向无环图(DAG),其中包含恰好 个顶点和 条边。
在图 中,如果从顶点 出发存在一条路径到达顶点 ,则称顶点 可达于顶点 。
对于一个非空顶点集合 ,如果存在顶点 能够从 中的每一个顶点到达,则称 对于集合 是 良好 的。记 为对集合 来说所有 良好 顶点组成的集合。
你构造的图必须满足以下两个条件:
- 对于每个顶点 (),它都必须是从顶点 可达 的。
- 存在 个两两不同的非空顶点集合 ,使得 两两不同。注意, 允许为空。
为了证明你构造的图 满足上述第二条条件,你还需要输出这 个集合 。
Input Format
输入仅一行,包含三个整数 。
本题中仅有 个测试数据:
- , , ;
- , , 。
Output Format
输出前 行描述你构造的图 。每一行包含两个整数 ,表示图中的一条边,从 指向 。
接下来输出 行,描述你给出的 个顶点集合。第 行首先输出集合 的大小,然后输出该集合中的各个顶点。
5 6 6
1 2
1 3
2 4
3 5
2 5
3 4
1 1
1 2
1 3
1 4
1 5
2 2 3
Hint
在示例中,输出构造了一张有 个顶点、 条边的图。对应的 个集合为:
$S_1 = \{1\},\ S_2 = \{2\},\ S_3 = \{3\},\ S_4 = \{4\},\ S_5 = \{5\},\ S_6 = \{2, 3\}$。
其中,从 的任一顶点出发,都可以到达顶点 和 ,因此有 。
结合:
可以看到这些集合两两不同,满足题目要求。
:::align{center}
:::
翻译由 ChatGPT-5 完成
京公网安备 11011102002149号