×

时间关键型测试和搜索问题。 (英语) Zbl 1490.90115号

摘要:本文介绍了一个问题,即系统的状态需要在给定的截止日期之前,由有限数量的测试单元通过对其组件进行昂贵的测试来确定。我们还考虑了一个密切相关的搜索问题,其中有多个搜索者在给定的截止日期之前找到目标。经典顺序测试问题和搜索问题的这些自然推广适用于广泛的时间关键型操作,如机器维护、患者诊断和新产品开发。我们证明了这两个问题都是NP难的,针对两个时隙的特殊情况开发了伪多项式动态程序,并针对一般情况描述了基于偏序和基于赋值的混合整数程序。基于广泛的计算实验,我们发现基于赋值的公式对测试变量的性能优于基于偏序的公式,但对搜索变量则相反。最后,我们提出了一个基于成对交换的局部搜索过程,并从经验上表明,它在寻找近最优解方面表现得非常好。

MSC公司:

90B35型 运筹学中的确定性调度理论
90B40码 搜索理论
90立方厘米 整数编程
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Agnetis,A。;Detti,P。;Pranzo,M.,在两台并行机器上调度不可靠作业的列表调度算法,离散应用数学,165,2-11(2014)·Zbl 1311.90043号
[2] Agnetis,A。;Detti,P。;普兰佐,M。;Sodhi,M.S.,《并行机器上不可靠作业的排序》,《调度杂志》,2009年第12期,第1期,第45页·Zbl 1168.90493号
[3] Agnetis,A。;Lidbetter,T.,《调度(m)并行机上不可靠作业的最大Z比率优先算法为0.8531近似值》,《运筹学快报》,48,4,405-409(2020)·Zbl 1478.90035号
[4] Alpern,S。;福克金,R。;Gasieniec,L。;Lindelauf,R。;Subrahmanian,V.,《搜索理论》(2013),施普林格出版社·Zbl 1263.91001号
[5] 贝伦德,D。;布拉夫曼,R。;科恩,S。;Shimony,S.E。;Zucker,S.,《具有优先约束的独立测试的最优排序》,《离散应用数学》,162115-127(2014)·Zbl 1300.05209号
[6] Boothroyd,H.,《最低成本测试序列》,运筹学学会杂志,11,3,137-138(1960)
[7] Daldal,R。;日本津津一世。;Segev,D。;于恩吕约特,T.,《串联系统顺序批测试的近似算法》,海军研究后勤,63,4,275-286(2016)·Zbl 1411.90223号
[8] Daldal,R。;奥兹吕克,O。;塞卢克,B。;沙赫莫拉迪,Z。;尤尤特,T.,分批顺序测试,《运筹学年鉴》,253,1,97-116(2017)·Zbl 1369.90141号
[9] De Reyck,B。;Leus,R.,《活动可能失败时的研发项目进度安排》,IIE Transactions,40,4,367-384(2008)
[10] van Ee,M.,《关于寻找有效齐射政策的有效算法》,海军研究后勤,67,2,147-158(2020)·Zbl 1523.90269号
[11] 福克金,R。;利德贝特,T。;Végh,L.A.,关于子模块搜索和机器调度,运筹学数学,44,4,1431-1449(2019)·Zbl 1437.91103号
[12] Garey,M.R.,带优先约束的最优任务排序,离散数学,4,1,37-56(1973)·兹比尔0253.90057
[13] Garey,M.R。;Johnson,D.S.,《计算机与难处理性:NP-完全性理论指南》(1979),W.H.Freeman and Company·Zbl 0411.68039号
[14] 格拉泽布鲁克,K。;Washburn,A.,拍摄外观拍摄:回顾和扩展,运筹学,52,3454-463(2004)
[15] Gluss,B.,《检测复杂系统故障的最佳策略》,运筹学,7,4,468-477(1959)
[16] Gould,J.,《论有效的齐射政策》,海军研究后勤,31,1159-162(1984)·Zbl 0534.90050号
[17] Happach,F.、Hellerstein,L.和Lidbetter,T.(2020年)。近似最小和排序问题的一般框架。arXiv:2004.05954号
[18] 赫尔曼斯,B。;哈默斯,H。;Leus,R。;Lindelauf,R.,《秘密项目的及时曝光:要监控哪些活动?》?,海军研究后勤,66,6,451-468(2019)·Zbl 1420.91007号
[19] Johnson,S.M.,《最佳顺序测试》,技术报告(1956年),兰德公司
[20] Kadane,J.B.,《测验显示问题》,《数学分析与应用杂志》,27,3,609-623(1969)·Zbl 0191.49904号
[21] Keha,A.B。;科瓦拉,K。;Fowler,J.W.,《单机调度问题的混合整数规划公式》,计算机与工业工程,56,1,357-367(2009)
[22] Kellerer,H。;Pferschy,美国。;Pisinger,D.,《背包问题》(2004),Springer·Zbl 1103.90003号
[23] Kelly,F.,关于搜索和排序问题的评论,运筹学数学,7,1,154-157(1982)·Zbl 0502.90049号
[24] Lawler,E.L.,《排序作业以最小化受优先约束的总加权完成时间》,(Alspach,B.;Hell,P.;Miller,D.,《组合数学的算法方面》,《离散数学年鉴》(1978)第2卷,Elsevier),75-90·兹伯利0374.68033
[25] Lenstra,J.K。;Rinnooy Kan,A.,优先约束下调度的复杂性,运筹学,26,1,22-35(1978)·Zbl 0371.90060号
[26] 李,S。;Huang,S.,多个搜索者在单位网络上搜索随机分布的固定目标,Networks,71,1,60-80(2018)·Zbl 1418.90057号
[27] Lidbetter,T.,《面对不确定威胁的搜索和救援》,《欧洲运筹学杂志》,285,3,1153-1160(2020)·Zbl 1443.91061号
[28] Lin,K.Y。;Singham,D.I.,《在未知截止日期前找到藏身处》,《运营研究快报》,44,1,25-32(2016)·Zbl 1408.90145号
[29] Mitten,L.,最小成本测试序列问题的解析解,工业工程杂志,11,1,17(1960)
[30] Monma,C.L。;Sidney,J.B.,《串行并行优先约束排序》,运筹学数学,4,3,215-224(1979)·兹伯利0437.90047
[31] Potts,C.N.,带优先约束的单机排序问题的算法,数学规划研究,13,78-87(1980)·Zbl 0441.90038号
[32] 罗斯塔米,S。;爬行动物,S。;魏伟(Wei,W.)。;Leus,R.,“(n)中取系统的顺序测试:优先定理和精确方法”,《欧洲运筹学杂志》,274,3,876-885(2019)·Zbl 1430.90289号
[33] Segev,D.和Shaposhnik,Y.(2018年)。串联系统序列批测试的多项式时间近似方案。SSRN提供:https://ssrn.com/abstract=3277805https://doi.org/10.2139/ssrn.3277805。
[34] Sidney,J.B.,带优先关系和延迟成本的单机排序分解算法,运筹学,23,2,283-298(1975)·Zbl 0304.90058号
[35] Smith,W.E.,《单阶段生产的各种优化器》,《海军研究后勤季刊》,3,1-2,59-66(1956)
[36] Stone,L.D.,最优搜索理论(2007),信息
[37] 尤尤特,T.,《复杂系统的顺序测试:综述》,《离散应用数学》,142,1-3189-205(2004)·Zbl 1077.68541号
[38] 瓦格纳,B.J。;Davis,D.J.,带组活动的离散顺序搜索,决策科学,32,4,557-574(2001)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。