邻接矩阵-南京大学.PPT

图的表示与图同构 离散数学─图论初步 南京大学计算机科学与技术系 内容提要 图的表示 邻接矩阵的运算 图的同构 图的表示 关联矩阵 邻接矩阵 邻接表 关联矩阵(incidence matrix) 无向图G = (V, E, ?) ，不妨设V＝?v1，…，vn?，E＝?e1，…，em?。 M(G) ＝?mij?称为G的关联矩阵(n×m 阶矩阵), 其中 无向图G可以是伪图（含自环或多重边）。 vi??(ej) 举例（关联矩阵） v1 v2 v3 v4 e1 e2 e3 e4 e5 关联矩阵表示法不适合于有向图 邻接矩阵(adjacency matrix) 简单有向图G = (V, E, ?) ，设V＝?v1，…，vn?，E＝?e1，…，em?。 A(G)＝?aij?称为G的邻接矩阵(n×n 阶矩阵)，其中 ?e?E. ?(e)=(vi, vj) 举例（邻接矩阵） v1 v2 v3 v4 可推广到简单无向图 举例（邻接矩阵） v1 v2 v3 v4 简单无向图的邻接矩阵是对称矩阵 邻接表 若图G = (V, E, ?) 没有多重边，列出这个图的所有边。对每个顶点，列出与其邻接的顶点。 ?是单射 顶 点 相邻顶点 a b, c, e b a c a, d, e d c, e e a, c, d a c b e d 邻接表（有向图） 若图G = (V, E, ?) 没有多重边，列出这个图的所有边。对每个顶点，列出与其邻接的顶点。 ?是单射 顶 点 相邻顶点 a b, c, d, e b b, d c a, c, e d e b, c, d a c b e d 关于邻接矩阵 通常，邻接矩阵中的元素为0和1，称为布尔矩阵。 邻接矩阵也可表示包含多重边的图，此时的矩阵不是布尔矩阵。 v1 v2 v3 v4 关于邻接矩阵 当有向图中的有向边表示关系时，邻接矩阵就是关系矩阵。无向图的邻接矩阵是对称的。 图G的邻接矩阵中的元素的次序是无关紧要的，行与行、列与列进行相应交换，则可得到相同的矩阵。 若有二个简单有向图，则可得到二个对应的邻接矩阵，若对某一矩阵行与行、列与列之间的相应交换后得到和另一矩阵相同的矩阵，则此二图同构。 邻接矩阵的运算 顶点的度 行中1的个数就是行中相应结点的出度 列中1的个数就是列中相应结点的入度 Deg+(1)=1,Deg-(1)=2 Deg+(2)=2,Deg-(2)=2 Deg+(3)=3,Deg-(3)=1 Deg+(4)=1,Deg-(4)=2 v1 v2 v3 v4 邻接矩阵的运算 逆图（转置矩阵） 设Ｇ的邻接矩阵为A，则G的逆图的邻接矩阵是A的转置矩阵，用AT表示。 bij表示结点i和结点j均有边指向的那些结点的个数； 若i＝j，则bii表示结点i的出度。 邻接矩阵的运算 Cij表示同时有边指向结点i和结点j的那些结点的个数； 若i＝j，则Cii表示结点i的入度。 邻接矩阵的运算 v1 v2 v3 v4 邻接矩阵的运算 若aik×akj＝1，则表示有i→k→j长度为2的有向边； dij表示i和j之间具有长度为2的通路个数。 邻接矩阵的运算 邻接矩阵的运算 v1 v2 v3 v4 从v2→v1，有二条长度为2的通路；有一条长度为3的通路 长度不大于k的通路个数 邻接矩阵的运算 v1 v2 v3 v4 图的同构 图同构的定义 设G1=(V1, E1, ?1)和G2=(V2, E2, ?2)是两个简单无向图。若存在双射f: V1?V2, u和v在G1中相邻当且仅当 f(u)和f(v)在G2中相邻。此时称f是一个同构函数。 设G1=(V1, E1, ?1)和G2=(V2, E2, ?2)是两个无向图。若存在双射f: V1?V2, g: E1?E2, ?e∈E1, ?1(e)={u, v}, 当且仅当 g(e)∈E2, 且?2(g(e))={f(u), f(v)}。 图同构的例子 图同构的例子 检测两个简单图是否同构 邻接矩阵表示：n！个 现有最好算法在最坏情况下的时间复杂性是指数级。 （在最坏情况下）时间复杂性为多项式的算法？ 检测两个简单图是否同构 图同构下保持的性质称为图不变的 顶点数、度序列、… 利用图不变的性质（没有保持）来推断出不同构 a c b e d a c b e d 图G 图H 检测两个简单图是否同构 a c b d e h f g s u t v w z x y u1 u3 u2 u4 u5 u6 v1 v4 v3 v5 v2 v6 3度顶点的导出子图不同构 作业 教材[9.3] p. 477： 15, 24, 29, 31, 67 * * * *