图论建模.pptVIP

实际上我们用的是穷举法，这个问题只有这两个解。其中第一个步骤最少，是最好的解。 解题过程中借用了图论的工具，即用“点”表示状态，“边”表示状态间的转移关系。点和边的附加信息称为赋权，这样的图称为赋权图，有点权图、边权图的概念。 不妨从A考虑。不妨设A至少认识三个人，进一步设至少认识BCD，于是AB、AC、AD都是实线，从没有实线三角形可以得出BC、BD、CD都只能是虚线，所以ΔBCD为虚线三角形。 类似的几个可以用图论解决的问题 一人带一只狼、一只羊、一棵白菜过河，船上只能是人带一个物件，并且人不在时狼要吃羊，羊要吃白菜，怎样才能安全过河？ 两人轮流从10颗火柴中取，每次只许取一颗或两颗，不可多取也不可不取，最后取完者获胜，如何能胜？ 4件产品中有一件不合格，重量上有差异，有一台无砝码天平，几次能找出来，并知轻重？ 甲乙进行网球比赛，谁连续两次获胜或总计胜三局则最后胜利，试分析各种取胜情况。 图论基本概念 图论是用点表示对象，边表示对象间的关系的数学模型。 V是全部点构成的集合，点共有n个，E是全部边构成的集合，边共有m条。 G=(V,E)表示无向图，边没有方向。 D=（V,A,f)表示有向图，在有向图里边称为弧,弧的全体记为A。 f是每条边的方向的集合。 点与点的关系称为邻接或不邻接；边与点的关系称为关联或不关联。一个边总是和两个点关联，当两个点是同一个点时，称为环。当两个点之间有多条边称为平行边或多重边，没有环和平行边的图称为简单图，最常用的就是它。 与点v关联的边的个数称为点的度或次，记为deg(v)。 度数为奇数的称为奇点；度数为偶数的称为偶点。 正则图:每个点有相同的度。完全图：任何两点间都有一条边，显然，完全图中每个点的度数都是n-1。 将点和边的一些附加信息标在图上，称为赋权图。 路径：点和边构成的序列。边的个数称为路径的长度。 简单路径：边不重复点可以重复的路径，又称链。 基本路径：点也不许重复的路径。 回路(圈)：起点和终点是同一个点的路径。类似也有简单回路和基本回路的定义，以及回路的长度的概念。 有向图中，从u到v有路径，则称u可达v（可达必有基本路径）；从u到v的最短路的长度称u到v的距离，记为d(u,v),不可达时为无穷大或无定义。（这里不是赋权图的距离） 无向图的可达性是对称的，故常考虑连通性。当G中任何两点间至少有一条路径称G是连通的，否则是非连通的。 去掉一个点图就成为不联通的，这点称为割点， 去掉一个边图就成为不联通的，这边称为割边。 G无割点的充要条件G是不可分图。 图的基本数据结构 2.关联矩阵表示法 弧的顺序(1,2)8,(1,3)9,(2,4)6,(3,2)4,(4,3)0,(4,5)3,(5,3)6,(5,4)7就是关联阵的列的标号，括号外为边权。 对于图与网络中的边权，可以在关联矩阵下面增加一行来存 储，多个权就增加多个行。 4.邻接表示法 5.星形表示法 前向星形表示法有利于查阅每个节点的出弧，但不能快速检索每个节点的所有入弧，为了快速检索入弧可以采用反向星形表示法。首先存入节点1的所有弧，然后存入节点2的所有弧，依此类推。同样给出一个数组记录每个节点的入弧地址。 应用图的数据结构建模举例 寻找最小覆盖的算法（结果不唯一）： 2.监狱看守的设置 3.化学品的存放 我们试探看本题，可见含a的极大独立集为{a,c,g),(a,e,g)。 得到全部极小覆盖为{a,c,e,g},{b,c,d,e,g},{b,d,e,f},{b,c,d,f}.他们的补集为{b,d,f},{a,f},{a,c,g},{a,e,g}. 从一笔画谈起 我们通常说起的一笔画可以有两种含义，就是笔放下去后连 续画出简单路径或者基本路径。 一个图本身就是简单路径，称这个图为欧拉图；一个图本身 就是基本路径，称这个图为哈密顿图。 算法复杂性与启发式算法 所有组合最优化问题其组合方式的数量一定是有限的，所以可以 逐个列举出来再选择最优，即都可用穷举法找出最优解。 对组合优化问题我们关心的一般不是最优解的存在性和唯一性， 而是如何找到一个有效算法求得一个最优解。 可是随着问题规模的扩大，穷举付出的时间代价却越来越大。 例:非对称的TSP问题.它的可行解可以用n个城市的一个排列表示， 当起(终)点为固定时，可行解的个数显然是(n-1)!，用穷举法找最 优解就要枚举(n-1)!次。设1秒钟可以计算出24个城市的TSP，25个 城市则要用24秒，26个城市要用25*24秒=10分，…。 325年 10.8年 136.5天 4.9天 4.3小时 10分 24秒 1秒 计算时间 31 30 29 28 27 26 25 24 城市数 24到31只相差7个城市，计算时间相差3百年，