数学模型课件图论方法建模2.doc

§9.2 循环比赛的排名问题 问题：支球队参加循环比赛，两两交锋，一场决胜，不容平局，“0、1”打分。如何排名？ 竞赛图：每对顶点之间有且只有一条有向边相连的有向图；有向边指向负方。 路径与完全路径：称有向图的一个顶点序列为图的一条步长为的路径，若满足：对，均有；若还满足，则称之为图的一条步长为的回（或闭）路径。而若顶点集的一个全排列构成图的一条路径，也称之为图的一条完全路径。 图1中：、、、 子路径、闭的完全路径 定理：任一阶竞赛图都存在完全路径。 证明（数学归纳法）： ：时，如图3-0，命题真； ：设时命题真； ：当时，设为顶点集，记，为图关于的生成子图； 由归纳假设，在中存在完全路径，不失一般性，设为中的一条完全路径，考虑顶点与的邻接关系，有如下三种情形： 图3-1：为中的一条完全路径； 图3-2：为中的一条完全路径 图3-3：为中的一条完全路径。 定理：存在唯一完全路径的阶竞赛图在同构的意义下唯一。进一步讲，若设为中的唯一的一条完全路径，则。 证明（数学归纳法）： ：时，如图3-1，命题真； ：设时命题真； ：当时，设为顶点集，不妨设为中的唯一的一条完全路径；记，为图关于的生成子图； 此时为中的唯一的一条完全路径，否则，由（3.定理）的论证可得不同于的中的另一条完全路径，这与题设矛盾； 以下只须证明负于任意：（反证）设胜某，如下图，可以找到一条不同于的中的另一条完全路径 ， 这同样与题设矛盾。 这一性质表明，利用完全路径法进行竞赛图排名是不可行（完善）的。 简单积分法：简单积分法与完全路径法排名在完全路径唯一的情形下二者是一致的。以下试图通过低阶的竞赛图说明简单积分法的缺陷： 在以上组图的每一幅图的下方所标示向量既表示该图各顶点的简单积分，同时，对于3、4阶竞赛图，在同构的意义下可以作为该类图的标识。我们通过简单分析发现图按照简单积分的方法对各顶点排序是不合适的：假设不然（即简单积分是适用的），、，同时；这时看，按照简单积分法二者均只得1分，但其份量不同，所得1分为其胜，按照简单积分法，为一弱队；但所得1分为其胜，按照简单积分法，为一强队——因此，通常认为强于。类似分析，可以得出强于。 尽管在以上组图中，除了图外，我们看不出简单积分法的缺陷，但随着竞赛图阶数的增加，简单积分的局限将尤为凸显。 双向连通图：称有向图为双向连通的，若对任意两个不同顶点，在该有向图中既有从顶点到顶点的有向路径，也有从顶点到顶点的有向路径。 双向连通图的邻接矩阵为素阵：即存在整数，使得。 Perron-Frobenius定理：素阵的最大特征根为正单根，对应正特征向量，且有（为所有分量均为1的维向量，也可以被表示为）。 对以上定理的理解可以参见层次分析法一章中对正互反矩阵性质的讨论。 对于双向连通的竞赛图，可以计算其邻接矩阵的最大特征根以及相应的正特征向量，按照该特征向量分量的数值大小对各个顶点（参赛队）排名。 下面是一个双向连通的四阶竞赛图，通过前面的讨论，该算例不论完全路径法还是简单积分法均不适宜，我们分别采用与对之进行分析考察——不难发现，的分量表示以相应顶点为起点产生的步长为的路径数，而的分量则表示以相应顶点为起点产生的步长不超过的路径数。如下图，从不同顶点（作为最底层）出发，只要存在以该顶点为起点的有向边，则向上生长出枝杈，将响应边的终点画在第二层，在以第二层上的点为基点向第三层生长，如此直到无穷，将最终得到四棵“参天大树”，直观上，的分量为表示相应顶点生长出的“树”介于第层与第层之间的枝杈数，而的分量为表示相应顶点生长出的“树”在第层下方部分的枝杈数。显然，一个“有实力的顶点（参赛队）”对应的“树”应当更为粗壮。 按照Perron-Frobenius定理，只要足够大，可以将作为实力向量来对各个顶点排序，通过具体计算，，，事实上反映出完全相同的结果——这正是Perron-Frobenius定理在竞赛图排名中的应用。 从直观上讲，以作为一个实力向量用于竞赛图排名将更为适宜，当然我们在这里愿意强调具有如下的优点： 它并不只局限于双向连通的竞赛图； 从对竞赛图的分析看，计算需要一直计算到，之后从排名的角度讲，的值才算稳定下来；而的计算在时就具备如上提及的特点。 你能从中发掘有关值更多的优点吗？尝试着准确表述你的发现或猜想，能从理论上加以论证吗？