邻接矩阵
一个邻接矩阵是表示有限结构的紧致方法吗图.如果一个图表有 顶点,它的邻接矩阵是 矩阵,其中每一项表示从一个顶点到另一个顶点的边数。
利用图的邻接矩阵可以高效、优雅地实现图论中的一些性质和计算。此外,邻接矩阵的某些性质问题对应于相关图的一些有趣问题。
建立邻接矩阵
给定一个图 与 顶点,邻接矩阵是一个 矩阵 的价值 等于顶点的边数 的顶点 如果图形是无向,然后 对所有 即邻接矩阵为对称的.
当图简单时,邻接矩阵的项都是 或 (边上没有权值,或者有多条边)对角线项都是 (没有循环)。更复杂的图会产生更多种类的矩阵。
创建一个邻接矩阵为以下加权,无向图:
这些边上的权值计入邻接矩阵的条目,如下所示:
这个例子提出了一些后续问题,将在后面的部分中解决:
- 注意,如果标记不同的顶点,邻接矩阵将会改变。
- 它会怎样变化,新的邻接矩阵和旧的邻接矩阵有什么关系?
- 这种关系能用矩阵语言表达吗?
矩阵性质和图的性质
邻接矩阵是一个数字数组,表示关于图的所有信息。图的一些性质对应于它邻接矩阵的一些有趣的性质,反之亦然。下面是一个简单的例子:
权力:从邻接矩阵的运算中获得图的信息最著名的方法之一是通过它的幂函数。如下面的例子所示,邻接矩阵的幂项给出了图中路径的信息。
让 是一个具有的简单图的邻接矩阵 顶点。假设进入 在 行和 列是 这对图表意味着什么?
假设 然后 条目的 是
考虑 它计算从顶点3到顶点1的路径数,乘以顶点1到顶点4的路径数。这就是从顶点3到顶点4经过顶点1的两步路径的数量。其他条款 计算从顶点3到顶点4经过顶点的两步路径的数量 所以总和计算了从顶点3到顶点4的所有两步路径。结论是有 从顶点3到顶点4的两步路径。
因此, 条目的 计算两步走的距离 来 概括如下:
让 是一个图的邻接矩阵。的 条目的 计数 -步从顶点走 到顶点
证明是一个简单的归纳法 这个论证本质上和上面给出的是一样的
光谱:的研究特征值图的邻接矩阵的谱图理论.下面是图属性与邻接矩阵特征向量对应的一个简单例子:
无向图是 常规的如果学位每个顶点的 关于a的邻接矩阵的特征值和特征向量我们能说些什么 正则图吗?
让 是a的邻接矩阵 正则图。让 是中的全1列向量 然后 条目的 等于元素的和 行 这是从顶点发出的边的数量 这正是 所以 即。 特征向量是 与特征值
同构:如果一个图可以通过重标记顶点从另一个图得到,则称两个图是同构的。注意同构图不需要有相同的邻接矩阵,因为邻接矩阵依赖于顶点的标记。但同构图的邻接矩阵是密切相关的。
让 而且 图在 顶点邻接矩阵 而且 然后 而且 是否同构当且仅当存在置换矩阵 这样
回想一下,置换矩阵是一个方阵它的所有项都是 或 使每一行和每列只包含一个