图论学习基础知识材料.doc

.* 图论基本知识 对于网络的研究，最早是从数学家开始的，其基本的理论就是图论，它也是目前组合数学领域最活跃的分支。我们在复杂网络的研究中将要遇到的各种类型的网络，无向的、有向的、加权的……这些都可以用图论的语言和符号精确简洁地描述。图论不仅为物理学家提供了描述网络的语言和研究的平台，而且其结论和技巧已经被广泛地移植到复杂网络的研究中。图论，尤其是随机图论已经与统计物理并驾齐驱地成为研究复杂网络的两大解析方法之一。考虑到物理学家对于图论这一领域比较陌生，我在此专辟一章介绍图论的基本知识，同时将在后面的章节中不加说明地使用本章定义过的符号。进一步研究所需要的更深入的图论知识，请参考相关文献[1-5]。 本章只给出非平凡的定理的证明，过于简单直观的定理的证明将留给读者。个别定理涉及到非常深入的数学知识和繁复的证明，我们将列出相关参考文献并略去证明过程。对于图论知识比较熟悉的读者可以直接跳过此章，不影响整体阅读。 图的基本概念 图G是指两个集合(V，E)，其中集合E是集合VV的一个子集。集合V称为图的顶点集，往往被用来代表实际系统中的个体，集合E被称为图的边集，多用于表示实际系统中个体之间的关系或相互作用。若，就称图G中有一条从x到y的弧（有向边），记为x→ y，其中顶点x叫做弧的起点，顶点y叫做弧的终点。根据定义，从任意顶点x到y至多只有一条弧，这是因为如果两个顶点有多种需要区分的关系或相互作用，我们总是乐意在多个图中分别表示，从而不至于因为这种复杂的关系而给解析分析带来困难。如果再假设图G中不含自己到自己的弧，我们就称图G为简单图，或者更精确地叫做有向简单图。以后如果没有特殊的说明，所有出现的图都是简单图。记G中顶点数为，边数为，分别叫做图G的阶和规模，显然有。图2.1a给出了一个计算机分级网络的示意图，及其表示为顶点集和边集的形式。 图2.1：网络拓扑结构示意图。图a是10阶有向图，顶点集为{1,2,3,4,5,6,7,8,9,10}，边集为{1→2,1→3,1→4,2→5,2→6,2→7,3→6,4→7,4→8,6→9,7→9,8→10}；图b是6阶无向图，顶点集为{1,2,3,4,5,6}，边集为{13,14,15,23,24,26,36,56}。 从定义中可以看到，从任意顶点x到y不能连接两条或以上边，本文所讨论的图，均符合上述要求，既均为不含多重边的图。如果弧x→ y与弧y→ x要么同时存在，要么同时不存在，我们就把这两条弧合为一条边，记为xy或yx，这样的图叫做无向图（对称图），可以被看作上述一般图（有向图）的一种特例。显然，对无向图而言，有，其中表示无向图中边的数目。图2b给出了一个无向图的示意。以后提到的图，若没有特别的说明，均指无向图。下面介绍的大部分结论都可以自然地从无向图推广到有向图，勿需重复叙述，对于那些本质上有差异的特性，我们会在文中明确指出。 对于两个图，如果，就称是的子图。若，则称是的生成子图；若在中所有连接集合中两顶点的边都出现在集合，则称是的导出子图，记为。如果图与图有相同的顶点集，并且图中两点之间有边相连（相邻）当且仅当在中这两点是不相邻的，就称图是图的余图，记做。拥有条边的阶无向图或拥有条边的阶有向图叫做完全图，用符号表示，其余图叫做空图。 在无向图中，与某顶点关联的所有边的数目叫做的度，用符号表示，在不致混淆的时候，可以简单地记为。对于有向图，由于需要区分从顶点出去的弧和进入顶点的弧，所以不能简单地用度表示。我们把以顶点为起点的弧的数目叫做的出度，把以顶点为终点的弧的数目叫做的入度，分别记为和。顶点度与边之间有一个显然的关系： 定理2.1：对于无向图有： (2.1) 对于有向图有： (2.2) 在图中，以为起点，为终点的路是指一系列首尾相连的边组成的集合： 其中，。边的数目被称作路的长度。如果，则称边集为圈，其长度为。中最短的路的长度称为点的距离，记为，如果中不存在路，则记。称无向图（有向图）为连通图（强连通图），如果对中任意两个不同顶点，都能够找到至少一条路。有向图被称为连通图，如果对中任意两个不同顶点，至少能找到一条路或路。 若图的顶点集可以拆成两个不相交的子集，且中不含两端点同时位于中或同时位于中的边，就称图为二部分图。容易证明： 定理2.2：是二部分图当且仅当中不含奇圈。 如果图不含圈，我们就称其为森林，若它同时还是连通图，则被叫做树。定理2.3至定理2.5给出了树的基本性质。 定理2.3：下面几个命题是等价的： (1) 是树； (2) 是最小连通图，也就是说，任意去掉一条边，都会变成非连通图； (3) 是最大无圈图，也就是说，任意加上一条边，都会变成含圈图； (4) 是连通图，且中任意两顶点之间有且只有一条路。 定理2.4：阶树有条边。 定理2.5：阶数大于1的树至少有两个度为1的顶点。 直径、平均距离、簇系数与度分布 对复杂网络的研究最早始于对真实网络诸如直径、平均距离、簇系数等参数的取值以及顶点度分布的性质的实证研究，后续的大量研究也是围绕这些概念进行的，因此有必要详细地介绍这些概念的定义以及相关的基本结论，这些介绍将有助于我们更好地理解当前复杂网络研究的物理意义。 在分析传输网络的性能与效率时，有两个因素总是受到特别的关注，即最大传输时延与平均传输时延。在图理论中，它们被近似地抽象为两个参数：直径与平均距离。图的直径与平均距离可分别表为： 为了叙述方便，后文中使用来代替有关的讨论，其中。 关于图直径和平均距离的研究可以追溯到半个世纪前，Ore给出了无向图直径一个漂亮的紧界[6]，Entringer,Jackson,Slater和Ng,Teh分别就无向图和有向图的情形给出了图平均距离粗糙但具有开创意义的下界[7,8]，再往后Plesnik给出了平均距离只依赖于阶数和直径的下界[9]。Zhou等人通过一种新的构造分析方法，给出了Ore定理的简单证明，此方法可以无困难地将Ore定理推广到有向图形式。利用类似的分析方法，可以得到直径图平均距离的下界定理，Entringer，Ng等人的结果可以作为该定理的一个自然的推论给出。结合此定理与Ore定理，可以只依赖于阶数和直径的平均距离下界，该下界是目前已知的最好的下界[10-11]。 Ore通过类似于构造广度优先树的方法将无向图分割成一圈圈的等距子图，其证明手法是优美而繁复的。由于其构造中隐含了的条件，因此无法直接推广到有向图的形式。 显然，任何阶图都可以看作从完全无向图或完全有向图中移走若干条边后得到的，下面将从这一简单而直观的角度出发，给出 Ore定理的简单证明。 定理2.6[6,10-11]：对任意无向图，有： (2.3) 其中图是指阶数为，直径为的简单有限图。 证明：用表示要得到无向图至少需要从完全图中移走的边的数目，则对任意无向图，有： (2.4) 令为中长为的最短路，由的最短性易知中两点不相邻，若。这就意味着至少有条边必须从中移走以得到图。同样由的最短性知，对于不在中的顶点，若中两点满足，则不能同时与相邻，即最多与中形如的三个顶点相邻。换句话说，中至少有个点不与相邻。由于中不在上的顶点数为，即有至少条边必须从中移去以得到。综上可知： (2.5) 结合(2.4)(2.5)即得(2.3)式。 ■ 利用同样的分析方法，可以得到Ore定理的有向图形式，证明略。 定理2.7[10-11]：对任意强连通有向图，有： (2.6) 下面两个定理将给出平均距离的下界，由于证明比较复杂，此处省略。 定理2.8[10-11]：设为无向图，若的规模为，则有： (2.7) 定理2.9[10-11]: 对任意无向图，有： (2.8) 有向图的下界可以类似的得到，此处不再赘述。 图的簇系数是衡量图的成团特性的参数。对于无向图，记某顶点的邻点集合为，显然，顶点的簇系数被定义为它所有相邻节点之间连边的数目占可能的最大连边数目的比例，即： 图的簇系数则被定义为所有顶点簇系数的平均值： 在下一节我们可以通过随机图论的方法，得到关于簇系数的一些基本性质。 对于无向图，记度为的顶点数目为，则给出了图的顶点度分布。类似地，关于顶点度分布的基本性质，需要到第三节才能给出。 随机图的基本模型与主要结论 随机图论起源于20世纪40年代一些零星的文章，其中Sezle的文章给出了目前已知的最早利用概率方法证明的非平凡的图论定理[12-14]。1959年到1961年，Erds和Rnyi三篇著名的文献，使得随机图论开始成为图论一个正式的分支，他们所构建的随机图的模型在后来被称作ER模型[15-17]。下面的三篇重要文献向我们展现了随机图论的全貌，也包含了我们将要讨论到的大部分问题[1,18-19]。 考虑一个阶无向图，Erds和Rnyi给出了两种相似但又不完全相同的随机图的模型。如果任意两点之间独立地以概率连边，以概率不连边，就得到第一种ER随机图，习惯上记做；如果完全随机地选择条边作为边集，则得到第二种ER随机图，习惯上记做。本节主要讨论的性质，其中大多数的结论对于图也是适用的（这里显然有）。 设且（实际物理应用时只需要足够大，足够小既可以近似地求解），使得节点平均度为有限常数。只需注意到任意节点度为的概率为 (2.9) 即可得到下面显然但却常用的定理： 定理2.10：若满足，且为有限常数，则其度分布为均值为的泊松分布，因此常被叫做泊松网络。 我们将图的顶点标号，以便彼此区别，对于某个阶图，被定义为中与同构的图的数目。定理2.11给出了在中特定结构出现的频次。 定理2.11：记为图中与同构的子图的数目，则的期望值为： (2.10) 其中是自同构群的阶数。 证明：显然有，且根据同构计数原理有，故可得（2.10）式。 ■ 定理2.11虽然简单，但是是随机图论最基本的定理之一，有着广泛的应用。作为例子，下面我们给出定理2.11两个直接的推论。 推论2.12：记为中子图的数目，则有： (2.11) 推论2.13：记为中导出子图为圈图的点集数目，则有： (2.12) 需要提醒注意的是，由于推论2.13中要求的是导出子图，所以多了一个因子。 仍然假设，用表示第一种ER随机图构成的概率空间，定理2.14给出了一个似乎不那么直观但易于证明的结果。 定理2.14：设为给定的自然数，则在中几乎所有（概率趋于1）图都满足：对于任意一个长度为的点序列，图中至少存在一个点，它与前个点相邻，而与后个点不相邻。 证明：我们考察“存在一个长度为的点序列，使图中不存在任何点，它与前个点相邻，而与后个点不相邻”的概率。长度为的点序列的不同选取方法共有种，对于某个选定的点序列，没有任何顶点与前个点相邻，而与后个点不相邻的概率为。故有： (2.13) 此结论与定理2.14等价。 ■ 由定理2.14可以得到一些有趣的推论： 推论2.15：对给定的正整数，几乎所有图都满足，其中表示的最小度。 推论2.16：几乎所有图的直径都为2。 对某种性质，如果在任意具有该性质的图上添加一条边后得到的图依然具有性质，则称性质是单调递增的性质。Erds和Rnyi的研究表明，随着的增加，很多单调递增的性质会以某种很突然的方式涌现。对于给定的单调递增的性质，称为的下极限函数，如果当时，几乎所有图都不含性质；类似地，称为的下极限函数，如果当时，几乎所有图都含有性质。 事实上，在很多情况下，下极限函数和上极限函数靠得非常近，因此我们才说相应的性质出现得非常突然。物理学家往往把这种现象看作一种相变，定理2.17给出的例子就可以被看作从不连通相向连通相的一个突变。 定理2.17：记且，令，，则几乎所有的图都不连通，而几乎所有的图都连通。 这里我们不打算给出定理的证明，但需要特别强调的一点是，很多物理学家在研究网络时依然保留着在推导定理后再设计实验进行验证的习惯，这种习惯在网络研究中是危险的，因此必须特别地谨慎。比如对于定理2.17，Bollobs认为必须足够大以保证，这种量级的显然不是当前计算机能力所能处理的。因此，如果只是随便选取或进行实验，那么不管结果怎样，都只是一种假象。 下面的定理给出了一个经典的相变图景，物理学家关于逾渗模型[20-21]很多重要的结论可以作为该定理的一个自然推论或利用类似的分析方法容易地得到。 定理2.18：考虑一个每次在图上随机添加一条边的随机过程，其生成的图序列记为，显然为空图，为完全图。令为确定的常数，与定理2.17一致。取，有： 如果，则对任意的和几乎所有的图，有： (2.14) 其中是图各连通片按阶的大小排成的非增序列。 存在常数，对任意的和几乎所有的图，有： (2.15) 如果，则对几乎所有的图，有： (2.16) 其中，，唯一地由式(2.17)决定： (2.17) 进一步的，对所有，式(2.14)成立。 定理2.18的证明请参考文献[16]，更细致的研究结果请参考