第-2-章-图论基础

图“节点”，以及哪些节点之间有“边”第1页/共22页作为一个数学概念的“图”（graph）节点，边（圆括号表示（x,y）中的元素次序无关）标号图（labeledgraph），无标号图（graph）同构，异构第2页/共22页（不一样的）图的个数（枚举）给定节点数（n）标号图？无标号图？Polya定理告诉我们如何计算无标号图的个数如何判断两个图是否“同构”依然是图论的最基本挑战之一第3页/共22页无标号图的个数第4页/共22页无向图，有向图（directedgraph）也可以是标号或者无标号的<x,y>和<y,x>有可能同时存在第5页/共22页路，距离，连通，连通分量路（path，路径，通路）：节点序列，相邻两个节点之间存在一条边长度：节点数减1；或者，所涉及边的条数简单路径，回路（仅端点相同的路径）距离：两个节点之间最短路径的长度连通图：任何两个节点之间都存在一条路连通分量连通子图不被真包含在任何其他连通子图中第6页/共22页例子：路，距离，连通分量节点I和M之间有多少不同的路？有多少不同的简单路径？它们之间的距离？({A,B},{(A,B)})是不是连通分量？({H,L,M},{(H,L),(L,M),(H,M)})是不是连通分量？第7页/共22页大规模社会网络中的超大连通分量第8页/共22页桥，捷径（localbridge）桥：具有特别性质的边，删除它，其两个端点之间就不再有路删除它，增加图的连通分量的个数捷径：也是一种边，删除它，其两个端点之间的距离至少为3。桥可以看成是捷径的一个特例第9页/共22页对于有向图：有向路径，强连通分量有向路径：节点序列，相邻节点之间有从前往后的有向边强连通分量任意两个节点之间存在有向路径（两个方向）的有向子图不被真包含在任何其他满足性质(1)的子图中第10页/共22页二部图，图上的广度优先搜索二部图（bipartitegraph）：节点可以被分成两组，组内没有边图上的广度优先搜索（breadth-firstsearch）从某一点开始，对图的节点的一种“遍历”方式第11页/共22页从LINC开始广度优先搜索{LINC}{MIT,CASE}{CARN,BBN,UTAH}{HARV,SDC,RAND,SRI}{UCSB,UCLA,STAN}BFS从概念上对图中的节点进行了一个“分层”，所涉及到的边“自然形成了”一个二部图第12页/共22页典型现实网络（图）合作图例如，一群学者之间合著关系（co-authorship）节点：人；边：当且仅当两个人有合著的文章交流网例如，一所大学师生之间的电子邮件关系网节点：人；边：两人之间发过一定量的往返邮件信息链接网（有向）万维网上的网页之间的链接关系论文之间的引用关系…第13页/共22页网络数据的计算机表示邻接矩阵（adjacencymatrix）相邻节点列表关联矩阵（incidencematrix）边序列相邻节点列表1：2,3,42：1,43：1,44：1,2,3边序列1,21,31,42,43,4第14页/共22页图的展示与分析工具现实应用中，图一般都是首先从描述节点和边的数据而来根据那些数据，适当地给出一个“形象表示”（即画出一个图），常常是很有必要的；而根据那些数据，得出某些结论更是网络分析所追求的目标为此，人们开发了许多工具Pajek,UCINET,NetMiner,MultiNet,X-Rime，等Cuttlefish，一个简单易用工具的例子第15页/共22页小结网络无处不在，行行色色，对社会影响巨大网络作为一门课程学习的两个重要角度：结构、行为；它们不同但相互影响。图论：讨论网络结构的语言作业不用交的：阅读第1章，第2章；基于教材中的插图2.3，以UCLA为起始节点（根节点）画出该图的宽度优先搜索结果下次课前交的：上网搜索，找到3个不同类型的网络图及其简单说明；第2章练习2.1第16页/共22页练习2.1

图论作为有效建模工具的原因之一在于它的灵活性。许多大型系统都可以用图论语言来概括其性质，进而系统地研究其影响结果。在这第一个练习中，我们利用关键节点的概念，通过一个例子来考察这个过程。

首先，第2章所讲的两节点间最短路径对应该节点间的最短距离。对于节点Y和Z，若X存在于Y和Z之间所有最短路径上，则称X为Y和Z间的关键节点（假定X是不同于Y或Z的节点）。

例如，在图2.13中，节点B是节点A和C之间、A和D之间的关键节点（注意：B并不是节点D和E之间的关键节点，因为D和E间存在两条不同的最短路径，而其中的一条（包含C和F）并不通过B。由此可见，B并不存在于D和E之间的所有最短路径上）。此外，我们能看到节点D不是图中任意两个节点之间的关键节点。第17页/共22页练习2.1（续）（1）请举一个图例，使其满足以下条件：该图中每个节点均为至少一个节点对的关键节点。请就你的答案给出解释。（2）请举一个图例，使其满足以下条件：该图中每个节点均为至少两个节点对的关键节点。请就你的答案给出解释。（3）请举一个图例，满足以下条件：该图中包含至少4个节点，并