平行机的实时到达on2line算法下界的改进.pdfVIP

高校应用数学学报 A pp l. M ath. —JCU 第 14卷A 辑第3 期 V o l14 Ser. A N o. 3 平行机的实时到达on line 算法下界的改进 陈仕平　姚恩瑜 (浙江大学应用数学系) 摘　要　本文考虑了平行机实时到达的在线问题. 模型中, 工件是陆续到达 的, 工件的个数、到达时间是事先未知的, 而且只有当工件到达, 才知其加工时间, 目标是使所有工件都加工完的时间达到最小. 与 ( ) Chen V estjen s 1996年 证明了该 ( ) 在线问题不存在性能比小于13473 的online 算法. 本文将此界改进为 5- 5 2. 关键词　排序, online 算法, 性能比. 分类号　( 中图) 223; ( 1991 ) 90 35. O M R B §1　引　言 排序问题是组合最优化领域的一类重要问题, 在生产计划调度、计算机数据处理与储存 等方面有着广泛的实际应用背景, 在理论上又与算法设计、复杂性理论关系密切, 因而成为 国际上的热点研究课题. 近年来, 排序问题的在线(on line) 算法研究备受关注. 通过近年的 研究和发展, 在线排序模型可分为三种. 第一种是古典在线模型, 工件是一个接一个到达, 仅 当安排好当前的工件, 下一个工件的信息才知道, 而一旦工件被安排, 则不允许改动, 这种模 型的结果已比较丰富, 可参见[1 ]. 第二种模型的不同之处在于工作是实时到达的, 即工件的 到达时间是预先未知的, 而只有工件到达后其加工时间才变成已知, 容易看出, 这类模型更 接近实际, 可以说是真正的在线问题. 第三种模型有更多的限制, 工件到达后其加工时间仍 是未知的, 只有当其被加工完才知道, 这种模型源于计算机数据处理, 因为计算机在执行任 务时, 用时长短往往是无法知道的, 如执行一个程序, 编译一个文件等. 需要强调的是, 古典 在线模型中并无实际意义上的工件到达时间, 因为当且仅当当前工件被安排, 下一个工件才 “到达”, 所以工件总是立即被加工, 序中不可能出现机器等待的情况. 而后二种模型是实时 的, 工件到达后即使机器空闲也可以不立即加工. 最早的在线算法源自同型平行机排序, 目 ( ) 标是使所有工件都完工的时间 或称为机器最大完工时间 最小, [2 ]针对第一类模型设计出 　　收稿: 修回: ( ) ( ) 资助. 本项目得到国家自然科学基金 和国家973基础研究项目 IT © 1995-2004 Tsinghua Tongfang Optical Disc Co., Ltd. All rights reserved. 316 高 校 应 用 数 学 学 报 第14卷A 辑 了L S 算法, 该算法已成为经典的在线算法. 后二种在线模型是近几年才被研究和讨论的. 对第二类模型, [3 ]研究了单机排序问题, 对两类目标都给出了最好的在线算法. [4 ]研究了 同类平行机排序, 对第二、三类模型都做了探讨.