×
利亚特·科恩;所罗门·埃亚尔·希莫尼;杰拉·韦斯

估计在时间表和计划中满足最后期限的可能性。 （英文） 兹比尔1478.90047

Artif公司。智力。 275, 329-355 (2019).
摘要：给定一个任务时间不确定的计划（或时间表），我们提出一个确定性多项式（时间和内存）算法来估计它满足截止日期的概率，或者等价地，它的最大完工时间小于给定的持续时间。需要近似，因为众所周知，即使对于顺序计划（随机变量之和），这个问题也是NP-hard。此外，我们还显示了两个新的复杂性结果：（1）计算未超过截止日期的事件数是#P-hard；（2） 计算分层计划的预期最大完工时间是NP-hard。对于所提出的近似算法，我们建立了形式近似界，并表明时间和内存复杂性随着所需的精度、计划中的节点数以及表示原始任务持续时间的随机变量支持的大小而多项式增长。我们实证检验了这些近似界，并使用文献中的任务网络证明了我们的方案在准确性和运行时间方面如何优于采样技术和精确计算。由于经验数据显示误差界比保证误差界好得多，我们还建议在某些情况下收紧误差界的方法。

引用于1文件

MSC公司：

90B36型 运筹学中的随机调度理论
68周25 近似算法

关键词：

最后期限;最大完工时间;随机变量;日程安排;计划;近似

软件：

商店2
PDF格式BibTeX公司 XML格式引用
\textit｛L.Cohen｝等人，人工制品。智力。275329-355（2019年；Zbl 1478.90047）
全文： 内政部 arXiv公司

参考文献：

[1] 科恩，L。；Shimony，S.E。；Weiss，G.，《估算层级计划中满足最后期限的概率》（第二十四届国际人工智能联合会议（2015））
[2] Herroelen，W。；Leus，R.，《不确定性下的项目进度安排：调查和研究潜力》，Eur.J.Oper。第165、2、289-306号决议（2005年）·Zbl 1066.90050号
[3] Fu，N。；瓦拉坎塔姆，P。；Lau，H.C.，《寻找具有持续时间不确定性的RCPSP/max稳健执行策略》（ICAPS（2010）），73-80
[4] 贝克，J.C。；Wilson，N.，《概率工期作业车间调度的主动算法》，J.Artif。智力。Res.，28，183-232（2007）·Zbl 1182.68023号
[5] Nau，D.S。；金，T.-C。；O.伊尔加米。；库特，美国。；默多克，J.W。；Wu，D。；Yaman，F.，SHOP2：一个HTN规划系统，J.Artif。智力。决议，20379-404（2003）·Zbl 1058.68106号
[6] 加拉布，M。；Laruelle，H.，《在ixtet中的代表与控制，一个时间规划师》（AIPS，第1994卷（1994）），第61-67页
[7] Möhring，R.，《不确定性下的调度：总工期分布的边界》，计算。离散数学。，79-97 (2001) ·Zbl 1015.90046号
[8] Bonfeitti，A。；伦巴第，M。；Milano，M.，忽略部分订单时间表中的持续时间不确定性？是的，我们可以！，（CPAIOR（2014）），210-225·Zbl 1412.90049号
[9] Buyya，R。；Garg，S.K。；Calheros，R.N.，《面向SLA的云计算资源供应：挑战、架构和解决方案》（云与服务计算（CSC），2011年）
[10] M.R.Genesereth，N.J.Nilsson，《人工智能逻辑基础》，摩根·考夫曼2。；M.R.Genesereth，N.J.Nilsson，《人工智能逻辑基础》，摩根·考夫曼2·Zbl 0645.68104号
[11] 瑙博士。；曹毅。；Lotem，A。；Munoz-Avila，H.，SHOP:简单层次有序规划师，（《第16届国际人工智能联合会议论文集》，第2卷（1999），摩根考夫曼出版社），968-973
[12] 罗素·S·J。；Norvig，P.，《人工智能：现代方法》（2003），培生教育
[13] Garey，M.R。；约翰逊，D.S.，《计算机与难治性》；NP完全性理论指南（1990），W.H.Freeman&Co.：W.H.Freeman&Co.，美国纽约
[14] Arora，S。；Barak，B.，《计算复杂性：现代方法》（2009），剑桥大学出版社·Zbl 1193.68112号
[15] Lilliefors，H.W.，《关于均值和方差未知的正态性的Kolmogorov-Smirnov检验》，《美国统计协会杂志》，62，318，399-402（1967）
[16] 科尔曼，T.H。；斯坦因，C。；Rivest，R.L。；Leiserson，C.E.，算法导论（2001），麦格劳-希尔高等教育·Zbl 1047.68161号
[17] Nussbaumer，H.J.，《快速卷积算法》（Fast Fourier Transform and convolution algorithms，1982），施普林格出版社，32-79
[18] Pearl，J.，《智能系统中的概率推理：合理推理网络》（1988年），Morgan Kaufmann:Morgan Koufmann San Mateo，CA
[19] Kim，J.H。；Pearl，J.，推理系统中因果和诊断推理的计算模型（IJCAI（1983））
[20] 达贡，P。；Luby，M.，《贝叶斯信念网络中近似概率推理》是NP-hard，Artif。智力。，60, 1, 141-153 (1993) ·Zbl 0781.68105号
[21] Cooper，G.F.，使用贝叶斯信念网络的概率推理的计算复杂性，人工制品。智力。，42, 2-3, 393-405 (1990) ·Zbl 0717.68080号
[22] 苏尔蒙特，H。；库珀，G.F.，使用循环割集的多连通信念网络中的概率推理，国际期刊近似推理。，4, 4, 283-306 (1990) ·Zbl 0697.68090号
[23] Bodlaender，H.L.，《树宽：表征、应用和计算》（WG（2006）），1-14·Zbl 1167.68404号
[24] Shimony，S.E。；Domshlak，C.，直接通路单连通贝叶斯网络中概率推理的复杂性，Artif。智力。，151, 213-225 (2003) ·Zbl 1082.68837号
[25] Bucher，C.G.，《自适应采样：迭代快速蒙特卡罗程序》，结构。安全。，5, 2, 119-126 (1988)
[26] 利普顿，R.J。；诺顿，J.F。；Schneider，D.A.，《通过自适应采样的实用选择性估计》，第19卷（1990年），美国计算机学会
[27] Shperberg，S.S。；Shimony，S.E。；Felner，A.，使用完美信息的批处理值进行蒙特卡罗树搜索，（《第三十三届人工智能不确定性会议论文集》，阿联酋，《第三十届人工智能中不确定性会议文献集》，2017年8月11日至15日，澳大利亚悉尼，2017年），11-15
[28] 埃罗尔，K。；亨德勒，J。；Nau，D.S.，《HTN规划：复杂性和表现力》（AAAI（1994））
[29] 埃罗尔，K。；亨德勒，J。；Nau，D.S.，HTN规划的复杂性结果，Ann.Math。Artif公司。智力。，18, 1, 69-93 (1996) ·Zbl 0891.68104号
[30] Nau，D.S。；史密斯，S.J。；Erol，K.，《HTN规划中的控制策略：理论与实践》（AAAI/IAAI（1998）），1127-1133
[31] Gabaldon，A.，《情境演算中的分层任务网络编程》（AIPS’02在线计划与调度研讨会（2002））
[32] Kelly，J.P。；Botea，A。；Koenig，S.，《视频游戏中分层任务网络的离线规划》（AIIDE（2008）），第60-65页
[33] Gelenbe，E.，《多处理器性能》（1989），威利出版社·Zbl 1080.68540号
[34] Gutjahr，W.J。；Pflug，G.C.，串并联网络的平均执行时间，Sémin。洛塔尔。梳。，29, 9 (1992) ·Zbl 0990.68501号
[35] Kim，P。；威廉姆斯，B.C。；Abramson，M.，《通过基于图形的时间规划执行基于模型的反应式程序》（IJCAI（2001）），487-493
[36] 艾昌，M。；Bresina，J。；Charest，L。；蔡斯，A。；徐成荣，J。；Jonsson，A。；Kanefsky，B。；莫里斯，P。；Rajan，K。；Yglesias，J。；查芬，B.G。；Dias，W.C。；Maldague，P.，Mapgen:火星探测车任务的混合主动规划和调度，19，8-12（2004）
[37] Hagstrom，J.N.，PERT问题的计算复杂性，网络，18，2139-147（1988）
[38] Evans，D.L。；Leemis，L.M.，计算离散随机变量和分布的算法，数学。计算。型号。，40, 13, 1429-1452 (2004) ·Zbl 1077.60013号
[39] Hong，Y.，关于计算泊松二项分布的分布函数，计算。统计数据分析。，59, 41-51 (2013) ·Zbl 1400.62036号
[40] Bromiley，P.A.，《高斯概率密度函数的乘积和卷积》（2013）
[41] Mercier，S.，《一般随机变量的离散随机界及其在可靠性中的应用》，Eur.J.Oper。第177、1378-405号决议（2007年）·Zbl 1111.90030号
[42] Devroye，L.，生成独立同分布随机变量的最大值，计算。数学。申请。，6, 3, 305-315 (1980) ·Zbl 0439.65005号
[43] K.Lai，M.Goemans，背包问题和完全多项式时间近似方案（FPTAS），2012年11月3日检索。；K.Lai，M.Goemans，背包问题和完全多项式时间近似方案（FPTAS），2012年11月3日检索。
[44] Lawler，E.L.，背包问题的快速近似算法，数学。操作。《第4、4、339-356号决议》（1979年）·Zbl 0425.90064号
[45] 戈帕兰，P。；Klivans，A.等人。；梅卡，R。；斯特凡科维奇，D。；Vempala，S。；Vigoda，E.，《#背包和相关计数问题的FPTAS》，（计算机科学基础（FOCS），2011年IEEE第52届年会（2011年），IEEE），817-826·Zbl 1292.68167号
[46] Dyer，M.，通过动态规划进行近似计算，（第三十五届ACM计算理论研讨会论文集（2003），ACM），693-699·Zbl 1192.90242号
[47] 莫里斯，B。；Sinclair，A.，截断立方体上的随机行走和0-1背包抽样解，SIAM J.Compute。，34, 1, 195-226 (2004) ·Zbl 1101.68044号
[48] 袁，C。；Druzdzel，M.J.，《贝叶斯网络重要性抽样算法：原理和性能》，数学。计算。型号。，43, 9-10, 1189-1207 (2006) ·Zbl 1459.62021号
[49] 霍尔，N.G。；Posner，M.E.，Earliness-tardiness调度问题，i：关于公共到期日的完工时间的加权偏差，Oper。研究，39，5836-846（1991）·Zbl 0749.90041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。