具有同时性束缚的平行机排序问题.pdfVIP

摘要 排序理论是组合最优化学科中一个蓬勃发展的研究方向。平行机排序是其 中一个重要组成部分。在经典的平行机排序文献中，人们往往研究工件间的序 约束。这种序约束是用一个有向图D描述的先后顺序关系，即一个工件必须 在它的先行工件完工后才能开始加工。本论文研究工件间的另一种相互关系一 一同时性关系，即一个工件必须与享有同一资源的其他工件同时加工。这种同 时性约束用一个无向图G来描述。例如对城市间的通道进行检疫消毒时，图 G的顶点表示城市，边表示城市间的通道；每条边都有一个检疫任务，即一个 工件。若干个平行作业的医疗队用m台平行机表示。为对疫情的传播进行严 格封锁，同一城市引出的通道必须由相应的医疗队同时进行防疫处理。这就是 说，关联于图G的一个顶点的边工件必须同时加工。又如在对一个通讯网络进 行检测时，从一个节点(交换台站)发出检测信号，在其引出的所有线路中， 检测人员必须同时进行操作。在其它系统中，当一些任务要共享一些资源(信 息资源或物资资源)时，都有这种同时性约束。这样一来，我们得到有同时性 约束的平行机排序问题如下：给定”t台平行机及一个无向图G，其中G的边 代表工件(称为“边工件”)；若一个边工件c=tt”安排在时刻t开始加工，则 关联于“(或”)的全部未加工的边工件必须也在时刻￡开始加工。至于目标函 数，仍与通常的平行机排序一样，如最大完工时间G一或完工时间和∑G等 等。按照传统的三参数分类记号，此问题记为PmlG—sMTl，，其中sM丁为 同时性(sim“‰ne。匆)的简写，G表示工件间邻接关系的图，_厂为正则的目 标函数，如ck。及∑G等等。这将称为“一般模型”。在这个模型中，同一个 时刻可以有多于一个顶点关联的边工件同时被加工(只要机器数足够多)。但 是，有些实际问题提出更苛刻的要求：任何时刻只有一个顶点关联的边工件可 以被同时加工，也就是被处理的顶点呈一个序列形式，所以我们称之为“序列 模型”。 无论一般模型或序列模型，同时性约束的特点是：工件的安排受到机器数 m及图G的顶点度的双重限制，所以此类问题的一般形式是困难的。本论文 将从算法的观点研究此类问题，包括三个方面：计算复杂性，多项式时间算法 及近似算法。具体的说，本论文的主要结果如下： 1．ⅣP一完全性证明。对序列模型及一般模型，证明Pm慨=1，G—sMTlc■。 及尸m协=1：G—s^frI∑Q的判定形式是ⅣP一完全问题。 2．对％l功=1，G—sM丁I％。给出(2一击)一近似算法。 法，如G为树、单圈图、完全偶图、完全k部图、平面格子图等。 关键词：平行机排序；同时性约束；最大完工时间；ⅣP一完全；近似算 法；多项式时间算法 Abstract i8 directionofCombin如orial machine a舳uri8hing Optimizat油．Parallel Scheduling schedulei8an ofit In1iterature8ofcla船ical machine importantcomponent parallel often the constraint Thi8 8tudy sclledulin岛pe叩1e precedence amongjobs． precedence con8trainti8describeda isto c蛐ot8chedulea until D，that by d培raph sa弘we job allit8 are8cheduled．Inthb consideranotherrela乞ion pr耐ece8Bor8 paper，we