带容量限制的平行机排序问题.pdfVIP

绪论 V，]． 定义1．2：RA兰inf{r≥1：RA(I)≤n 而其最坏情况渐进性能比【6】定义为： 定义1．3：R霄兰inf{r≥1：3N0，OPT(I)≥N，RA(I)≤nV，) 为简便起见，我们也常常将A(I)和oPT(i)记为A和OPT． 这里，我们不得不提及计算复杂性，即哪些问题是简单的，又有哪些问题是困难 的．很显然，计算复杂性是近似算法领域的基石．而为了解决一个实际问题，我们或者 试图去寻找关于该问题的一个多项式时间算法去求解其最优值，或者尝试去证明该 问题的Ⅳ尸一困难性，在此基础上去寻找一个有效的近似算法． 我们称问题P为在线问题，如果它的输入以在线方式到达同时其输出也以在线 方式产生，这意味着在线输入所产生的输出会影响到最终解的值．由此产生一个自然 的想法，也就是将优化问题分类为在线问题与离线问题．许多优化问题内在地属于离 线情况，例如大部分的线性规划都假设它们的输入是离线给出的．但是也存在许多 优化问题，考虑它们的在线与离线情况都具有重要的实际应用背景，例如装箱问题 (bin 但是即使对于这样的问题，我们仍然可以假设存在一个绝对聪明的对手使其所给予 的算法达到离线情况的最优值…． 1．2排序问题简介 Machine 我们先引入最基本的排序问题(ParallelScheduling)：假设有m台 每个工件安排到任一台机器上不中断地加工一次，记每个工件的加工时间为 Pj≥O(j=l，2…．，扎)，且每个工件在零时刻到达．假设已给定一个排序，我们称G 为工件乃的完工时间，记％n。=IIIXa．我们的目标是找到一个安排这些工件的 加工方案，使得所有工件在最短时间内完工，即min％nz．该问题称为使时间跨度 (makespan)最小的平行机排序问题． 自从1966年R．Graham[4】提出关于上述问题的第一个近似算法以来，迄今人们 已广泛地从不同的背景和观点研究排序问题．特别地，受到理论计算机科学发展所 绪论 需，排序问题持续地成为组合优化领域中极具活力的包含有大量有趣结论的一个研 究方向．对于排序问题，我们现实中常常需要对其进行在线情况分析，即工件的信息 并非在零时刻完全释放，我们需要根据现有的局部信息对工件进行安排． 排序问题可根据工件，机器或目标值的特征分为各种不同的类型，关于它们的详 细介绍请参见J．Sgall所撰写的综述性文章[71．我们将在本节简单介绍一下排序问题 的基本类型： 1．2．1关于工件的相关标记 设工件以包含礼；个操作步骤0m…，0加每个步骤0tf需要的加工时间为 P泓若工件以只包含一个步骤(吼=1)，则记它的加工时间为Pi．更进一步地，将工 件以第一个步骤可执行的时刻称为它的释放时间n．与0；f相应的加工机器记为 ％冬{尬，…，‰)．一般情况下，l／ij所属的集合或者是单台机，或者是所有机器的 集合．第一种情况意味着相应工件必须由特定的机器加工，后一种情况下我们则称 这些机器为平行机．本文主要研究的是平行机排序问题．此外，当每个工件以加工完 成时，对应产生一个成本函数值^(￡)，这里针对不同的目标成本函数，我们可以选择 完工时间也或权重龇来定义五． 一般情况下，我们假设排序问题中的所有数据Pi,P巧，n，d{，∽都是整数，并称一 个排序是可行的如果任意两个工件加工区间在同一台机器上没有重叠，任意工件的 单个步骤没有在两台机器上同时加工，以及符合与排序问题各种类型相关的其它特 定限制．我们称一个排序是最优排序，如果它对于相应的目标优化准则取得最小值． 有时我们也将工件以简单地记为指标值i，这将在本文的论述和证明中加以使用． 更进一步地，人们倾向于使用约定俗成的“三参数表示法”(three．fieldrepresenta— tion)将各种不同类型的排序问题表示为Q蚓7的形式．这里Ot表示机器环境，p表示 工件特征，1表示优化目标准则[31． 1．2．2机器环境 机器环境由两个参数组成的字符串Q=Q1乜2表示．我们在研究过程中常常遇