极小代数与最短路问题.pdf

第22卷 第5期 中 国 民航 学 院学 报 VO1．22No．5 2004年 1O月 JOURNAL0FCIVILAVIATIONUNIVERSITY 0FCHINA October2004 文章编号：1001—5000(2004)05—0052—03 极小代数与最短路问题 牟德一 ，刘 山 (1．中国民用航空学院 理学院．天津 300300；2．中国民用航空学院 计算机技术与科学学院，天津 300300) 摘要：引入了极小代数的概念，建立了其运算法则。对有向赋权图的最短路问题建立了极小代 数 下的迭代方法。 关 键 词 ：极小代数；有向赋权图；最短路问题；迭代方法 中图分类号：0224 文献标识码：A 设A．B∈I～为任意2个实矩阵，则矩阵的 O 引言 圈加0运算定义为 (A0 )，=(A)f0()f=min{(A) ()】 最短路问题具有重要 的理论与实际应用意 其中：()，为矩阵 第 行第 Ⅱ位置的元素。 ． 义。它既可以直接应用于许多实际问题，如管道铺 3)乘法。 设 口，b∈I，圈乘。运算定义为 设、线路安排等，又常被利用为解决其它一些优化 “通常意义下取和”运算，即有 问题的基本工具，如工厂布局、设备更新等。文献 a@b=a+b 1『1介绍了该问题的解法。Dijkstra方法用于权函数 设A∈ ，B∈ 为任意2个实矩阵，则矩 w(e)是非负的情形。而对允许有负权的情形有 M． 阵的圈乘。运算定义为 Floyd提出的迭代方法。 (A )= 。{(A) ()u】=min{(A) ()“】 产生于20世纪60年代的极大代数(maximum ／=1 1≤f《 algebra)在20世纪 80年代末 90年代初兴起的离 设 口∈I，A∈I～，则实数与矩阵的圈乘。运 散事件动态系统(DEDS)建模与分析的研究中获 算定义为 得了极大的成功[21。本文仿此引入极小代数 ，并将 (口 )u=aN (A)u=叶(A) 其应用于最短路问题的研究中，不仅完善与推广 为了书写方便，常将关系式中的圈乘符号省略。 了M．Floyd方法，并赋予其新的代数意义。 4)运算法则 容易验证以上运算满足交换律、 结合律与分配律。 1极小代数的定义及运算规则 5)零元与单位元 在极小代数中，零元 定 义为 “正无穷大”，单位元e为 “零”，即有 1)定义域 表示 为实数域 ，“+∞”为正无 =+∞．e=0 穷大．则极小代数的定义域取为 满足如下的运算律 R=RU{+∞】 0n=口，oa=oo，e@a=a 2)加法0 设 口，b∈ ，圈加0运算定义为 其中：口∈ 。 “取小”运算．即有 对应地 ，零阵 定义为元素均为零元 的一 aGb=min{a，b】 个矩阵