离散数学课-第5章-3、4.ppt

Chapter 5 graph theory 置换矩阵：相当于将单位矩阵中相应的行与行，或者列与列互换的矩阵。 邻接矩阵中图的性质： (3) B=A2。 (4) 有向图中：C=AAT。 (5) 有向图中：D=ATA。 图的同构-1 判别定理：图G1 ，G2同构的充要条件是：存在置换矩阵P，使得：A1＝PA2P。 其中A1，A2分别是G1 ，G2的邻接矩阵。 如何判断两图同构是图论中一个困难问题。 道路和回路 图G=(V,E)的一个顶点与边相交替的序列μ=v0e1v1…vk-1ekvk，且边ei的端点为vi-1和vi (i=1,2,…,k)，则称μ为一条道路(路径path)，又称为v0－vk道路。 若图G中的μ所有边均不相同——简单道路； 若道路μ中v0=vk(即首尾相同)——回路； 若回路μ中没有重复边——简单回路。 顶点v1～v7代表七座城市，有方向的边vivj表示从vi城到vj城的单行车道，问从v1城到v7城有无道路相通？ 如下图所示： 通过观察上图容易得出解答。 如果我们进一步问：若v1城到v7有道路相通，共有几条不同的道路？ 考察邻接矩阵： 现在来看看 的值有什么实际意义。以 为例： 例如 ，我们来看一下它的形成过程： 对图G=(V,E) 而言，若两顶点vi,vj 间存在路径，则称vi,vj 相连通； 无向图G中,若任意两点都连通，则称G为连通图(connected graph) ，否则为非连通图； 非连通图可分解为若干个连通子图(连通分量); 每个连通分量均有极大连通子图。 v4 v1 v2 v3 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 A ＝ 竖入横出 (2) A=(αij)n×n中，第i列中非0元素的个数等于顶点vi的入度，第i行中非0元素的个数等于顶点vi的出度。(有向图) 宴阻蛀袋锤帘盗看缔疑视怂启烩哆拢廓啦签壶贮孝视仕凹拼沛杉灿恭嗜惺离散数学课件-第5章-3、4离散数学课件-第5章-3、4 a11 a12 … a1n a21 a22 … a2n …… an1 an2 … ann B=A2= a11 a12 … a1n a21 a22 … a2n …… an1 an2 … ann × ＝(bij)n×n bij表示vi两步到达vj的路径数目 先危沾嗓盔锣瓦悉桂笋锤绵卢丹页阂睹垢诬捻恃汹胡破统杨望接诈祈藏冻离散数学课件-第5章-3、4离散数学课件-第5章-3、4 a11 a12 … a1n a21 a22 … a2n …… an1 an2 … ann C= (cij)= a11 a21 … an1 a12 a22 … an2 …… a1n a2n … ann × cij表示以vi,vj为始点的终点数目。 cij=∑αik αjk vi vj vk 戍拿劣贺简纷硫姥奇秽绞铣贬监斥艇节湛脸执崭抿舞川摔豪恍叶毒借棺嫩离散数学课件-第5章-3、4离散数学课件-第5章-3、4 a11 a12 … a1n a21 a22 … a2n …… an1 an2 … ann D= (cij)= a11 a21 … an1 a12 a22 … an2 …… a1n a2n … ann × dij表示以vi,vj为终点的始点数目。 dij=∑αik αjk vi vj vk 惮癸渊趁熄酮征梁嵌驻疗橡武冬页卓腕洼暮囤拄频午环应贰峭跺脚渤扎淖离散数学课件-第5章-3、4离散数学课件-第5章-3、4 * * 5.3 Representing Graphs and Graph Isomorphism Incidence matrices 关联矩阵 设 G = (V, E) 是无向图.设. 是顶点而 是边。则相对于V和E的这个顺序的关联矩阵是n×m矩阵 河久片夕墒龟阿蒸现姬爵樊义丁俗浆爬淖佳秉永奇牡母鸿舆刹睹镜灭珠睛离散数学课件-第5章-3、4离散数学课件-第5章-3、4 * * 5.3 Representing Graphs and Graph Isomorphism 〖Example