luogu#B3600. [图论与代数结构 101] 图的代数表示

[图论与代数结构 101] 图的代数表示

题目描述

给定一张 nn 个点 mm 条边的图,有可能存在重边和自环。请你给出这张图所有的代数表示。

输入格式

第一行四个正整数 nnmmtype1type1type2type2。其中 nnmm 分别表示图的点数和边数。type1=0type1 = 0 表示该图为无向图,type1=1type1 = 1 表示该图为有向图。type2=0type2 = 0 表示该图不是赋权图,type2=1type2 = 1 表示该图是赋权图。

如果 type2=0type2 = 0,接下来 mm 行,每行两个正整数 uuvv 表示一条边。

如果 type2=1type2 = 1,接下来 mm 行,每行三个正整数 uuvvdd 表示一条边,其中 dd 为这条边的边权。

输出格式

按顺序输出下列代数表示:

  1. 邻接矩阵或权矩阵。输出 nn 行,每行 nn 个数表示矩阵。如果该图存在重边则不输出。如果 type2=0type2 = 0 输出邻接矩阵,如果 type2=1type2 = 1 输出权矩阵。

  2. 关联矩阵。输出 nn 行,每行 mm 个数表示矩阵。如果 type2=1type2 = 1 或有自环则不输出。

  3. 邻接表。输出 nn 行。如果 type2=0type2 = 0 每行输出 did _ i 个数,其中 did _ i 为节点 ii 的度数(无向图)或正度(有向图),每个数表示一条与 ii 相接的边。如果 type2=1type2 = 1 每行输出 2di2d _ i 个数,每两个数表示一条边。

  4. 正向表。如果 type2=0type2 = 0 输出两行,分别表示向量 AA 和向量 BB 。如果 type2=1type2 = 1 输出三行,分别表示向量 AA,向量 BB 和向量 ZZ

  5. 逆向表。如果 type1=0type1 = 0 则不输出(因为此时逆向表与正向表相同)。如果 type2=0type2 = 0 输出两行,分别表示向量 AA 和向量 BB 。如果 type2=1type2 = 1 输出三行,分别表示向量 AA,向量 BB 和向量 ZZ

其中,邻接表、正向表、逆向表每个点对应的所有边按输入顺序输出。

正向表与逆向表的 AA向量是 n+1n + 1 维向量,有向图中 A(n+1)=m+1A(n + 1) = m + 1,无向图中 A(n+1)=2m+1A(n + 1) = 2m + 1

3 3 0 0
2 3
1 3
1 2
0 1 1
1 0 1
1 1 0
0 1 1
1 0 1
1 1 0
3 2
3 1
2 1
1 3 5 7
3 2 3 1 2 1
3 3 1 1
3 1 5
2 2 4
3 1 3
2 4
1 5 1 3
1 1 2 4
2 1 1
4 5 3
1 3 4 4
3 3 2
5 3 4
3 3 0 1
1 3 5
2 2 3
2 3 1
0 0 5
0 3 1
5 1 0
3 5
2 3 2 3 3 1
1 5 2 1
1 2 5 7
3 2 2 3 1 2
5 3 3 1 5 1
4 3 0 1
3 3 5
2 4 6
2 4 7
4 6 4 7
3 5 3 5
2 6 2 7
1 1 3 5 7
4 4 3 3 2 2
6 7 5 5 6 7

提示

对于所有数据,满足 1n3001 \le n \le 3001m3001 \le m \le 3001边权327681 \le 边权 \le 32768

细节提示:

1.无向图中一些数组可能需要 2m2 m 的长度,请仔细检查以免数组开小。

2.无向图中如果存在自环,则在邻接表和正向表中都需要将这条边输出两次,但不影响邻接矩阵或权矩阵的输出。

3.逆向表中对于连向一点的边也要按输入顺序输出而不是边权大小顺序。

4.无向带权图中每条非自环边都会修改权矩阵中两个位置。

5.无法通过时可以通过构造有向/无向、带权/不带权、有/无自环、有/无重边的小数据来检查代码。

样例一解释

11 行至第 33 行是邻接矩阵;

44 行至第 66 行是关联矩阵;

77 行至第 99 行是邻接表;

1010 行至第 1111 行是正向表。

样例二解释

11 行至第 22 行是邻接表;

33 行至第 55 行是正向表;

66 行至第 88 行是逆向表。