哈尼族El Sakkout;马克·华莱士 动态调度中最小扰动的探测回溯搜索。 （英语） Zbl 0970.68014号 约束条件 5，第4号，359-388（2000）. 摘要：本文描述了一种算法，该算法设计用于最小程度地重新配置时间表，以响应不断变化的环境。外部因素导致现有时间表无效，可能是由于资源的撤回，或是由于计划活动集的更改。已经安排好的活动的开始和结束时间的总移位应保持在最低限度。可以使用线性约束上的线性优化函数来捕获此优化要求。然而，资源约束的析取性质损害了传统的数学规划方法。单模探测算法将约束规划和线性规划交织在一起。线性规划求解器仅处理问题约束的一个受控子集，以确保返回的值是离散的。使用探针回溯（一种完整的基于修复的搜索方法），这些值可以简单地集成到约束规划中。在一组动态调度基准上，将Unimodular探测与其他方法进行了比较，证明了其有效性。在最后的讨论中，我们推测，对于广泛的约束满足和优化问题，类似的探测回溯策略可能比传统的回溯算法获得性能改进。 引用于18文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 68页第10页 搜索和排序 关键词：单模探测算法;探针回溯 PDF格式BibTeX公司 XML格式引用 \textit{H.El Sakkout}和\textit{M.Wallace}，约束5，第4号，359--388（2000；Zbl 0970.68014） 全文： 内政部