运筹学图基本概念名校讲义.ppt

§1引言(1) 图论是数学中广泛应用的 个分支。 早期图论与“数学游戏”有 着密切关系,所谓“哥尼斯 堡七桥”问题就是其中 原东普鲁士的哥尼斯堡城有 条普莱格尔河,河中有两 个小岛,有7座桥把该河的 D 两个小岛与河岸联结起来, 图5-1 如图5-1所示。 §1引言(2) 有人提出这样问题:从河岸或岛上任一地方 开始步行,能否通过每一座桥恰恰一次后又 返回原地 瑞士数学家列昂纳德·欧拉(1707~1783)将 这个问题简化为一个如图5-2所示的直观数 学模型,即用4个点表示两岸和两个小岛 用两点间联线表示桥。于是问题转化为:在 该图中,从任一点出发,能否通过每个线段 次且仅仅一次又回到原出发点。欧拉当时 就证明出这是不可能实现的,并为此写了被 图5 公认为世界第一篇有关图论方面的论文,并 于1736年由圣·彼德堡科学院发表。 §1引言(3) 图论中的“四色猜想”是近代数学中没有解决的最著名问题 之一。即在一个平面或球面上的任何地图只需用4种颜色来着 色,便可使任何相邻的两个国家(具有公共的边界线,不是 仅一点相接)具有不同的颜色。该问题只需几分钟即可对不 懂数学的人讲清楚,然而数学家们化了一个多世纪时间也始 终未彻底解决这个问题。虽然1976年美国的阿普尔、黑尔和 考齐等三人依靠电子计算机用了1200个小时证明该猜想是正 确的,然而并不理想,数学家们仍希望不依靠计算机给岀证 明 本书只准备介绍图的基本概念以及图论在诸如路径问题、网 络流问题和匹配问题等领域中的应用。 2图的定义、分类及有关术语(1) 定义:一个图是由一个表示具体事物的点(顶点)的集合和 口表示事物之间的联系(边)的集合所组成 分类:通常把图分成两类,图边不带方向的无向图及图边具 有方向的方向图。 1.无向图 ①定义及表示 设V={v1,v2,…,n}是由一个由n个顶点组成的非空集合 E={e,e2,…,cnm}是一个由m条边组成的集合,且知E中元 素e是v中的一个无序元素对[u,v。则称V和E这两个集合共 同构成了一个无向图G,记作G=(V,E)。 2图的定义、分类及有关术语(2) 若e=[u,w=[v,l,则称l与v为无向边e之端点;边e与顶点 口u、v相关联;顶点u与ν相邻 [例5-1]已知图G=(V,E)有5个顶点和8条边,其点边关系 示于表5-1中 表 3四:2[p四2 2图的定义、分类及有关术语(3) 其几何图形示于图54中。 ②有关术语(在图G(V,E)中) (i)平行边(或多重边,重复边) 具有相同端点的边。 i)环:两个端点落在一个顶点的边。 i简单图:无平行边和环的图。 iv)完备图:点点有通路,又无平 行边,这类图又可称完全图或完美 图5-4 图 2图的定义、分类及有关术语(4) 2.有向图 ①定义及表示 E中元素e是W中一个有序元素对(u,p,则称V和E这两个集 合构成了一个有向图G,记作G=(V,E)。通常e=(u,)表明 u和v/分别为边e的起点和终点。 ②有关术语 (i)平行边(多重边):起终点全相同的边。 i)环:起终点落为一个顶点的边 i)简单图:既无环又无平行边的有向图。 2图的定义、分类及有关术语(5) (iV)完备图:图中任意两点l,yv间有且仅有2条有向边(u,v) 口及(v,l)的有向图。 C()基本图:将图G中的有向边全变为无向边后所得的图G称 为G的基本图。 3.同构 如果图G=(V,E)和G E)的各自顶点集合V与V之间以 及各自边集合E与E之间在保持关联性质条件下一一对应 则称图G与G同构,即同构图的点边关系一样,而形状和点 边符号可以不同。例如,图5-6和图5-7就是同构关系 2图的定义、分类及有关术语(6) 图5-6 图5-7 s3图的矩阵表示(1) 用矩阵表示无环图中点与边的联接关系可使人们一目了然 可用4种矩阵表示一个图,是关联矩阵、邻接矩阵、回路矩 阵、割集矩阵。我们只介绍最常用的前两种矩阵 无向图的矩阵表示 ①关联矩阵A(G),该矩阵是表示顶点与边的联接关系。令图 G=(V,E),V={v1,v2,…,vn}, E={e1,e2,…,cmn},则矩阵A(G)元素a(A阵为n×m)定 义为