×
黄文奇；何坤

关于四维正交装箱和时间调度问题的弱可计算性。 （英语） Zbl 1296.68048号

西奥。计算。科学。 501, 1-10 (2013).
摘要：本文提出了一个四维正交装箱和时间调度问题。该问题与经典包装问题的不同之处在于，容器中每个物品的位置和方向都可以随时间而改变。这样，四维时空问题更好地利用了容器时间。此外，我们考虑了所有参数都是实数的一般情况，这使得问题更难解决。本文提出了一种算法，并证明了该算法可以通过有限次运算来优化求解该问题。我们说这个问题是弱计算性的，这意味着如果存在一个可以表示实数的通用机器，并且可以在有限时间内对实数进行单位算术或逻辑运算，那么该算法可以在有限的时间内找到最优解。本文还证明了三维正交装箱问题的一般情况下的弱可计算性，其中所有参数都是正实数。

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
52C17号 包装和覆盖尺寸（离散几何方面）
90B35型 运筹学中的确定性调度理论

关键词：

可计算性；精确算法；行程安排；高维填料；实际参数
PDF格式BibTeX公司 XML格式引用
\textit{W.Huang}和\textit{K.He}，Theor。计算。科学。501，1-10（2013；Zbl 1296.68048）
全文： 内政部

参考文献：

[1] Chekuri，C。；Khanna，S.，《多维装箱问题》，（第十届ACM-SIAM离散算法研讨会论文集。第十届ADAM-SIAM离散算法研讨会文献集，SODA’99，美国马里兰州巴尔的摩（1999）），185-194·Zbl 0938.68067号
[2] 费科特，S。；Schepers，J.，高维正交填料的组合表征，运筹学，29，2353-368（2004）·Zbl 1082.90095
[3] 北班萨尔。；卡普拉拉。；Sviridenko，M.，多维装箱问题的改进近似算法，（第47届IEEE计算机科学基础年会，第47届计算机科学基础IEEE年会，FOCS’06，美国伯克利（2006）），697-708
[4] Mastrolilli，M。；Svensson，O.，近似流和作业车间调度问题的硬度，ACM杂志，58，5，1-20（2011）·Zbl 1281.68127号
[5] Kwon，O。；Chwa，K.，超立方体系统中调度作业的算法，IEEE并行和分布式系统事务，9856-860（1998）
[6] 李伟（Li，W.）。；黄，W。；江，D。；Liu，X.，带时间表的立方体装箱启发式算法，中国科学系列F：信息科学，53，1，18-29（2010）·Zbl 1497.05031号
[7] 黄，W。；Chen，L.，解决空间利用调度问题的准物理方法，中国科学系列A：数学，3325-331（1991）
[8] 科夫曼，E。；Garey，M。；Johnson，D.，装箱在多处理器调度中的应用，SIAM计算期刊，7，1-17（1978）·兹伯利0374.68032
[9] 黄，W。；何凯，三维空间包装的最优时间调度，华中科技大学学报（自然科学版），38，12，102-104（2010），（中文）·Zbl 1240.90177号
[10] 北班萨尔。；Lodi，A。；Sviridenko，M.，《二维装箱的故事》，（第46届IEEE计算机科学基础研讨会，第46届EEE计算机科学基础会议，FOCS’05，美国匹兹堡（2005）），657-666
[11] 北卡罗来纳州卡马尔卡。；Karp，R.，一维二进制装箱问题的一个有效近似方案，（第23届IEEE计算机科学基础研讨会，第23届EEE计算机科学基础会议，FOCS’82，美国芝加哥（1982）），206-213
[12] Beasley，J.，《精确的二维非切割树搜索程序》，运筹学，33，1，49-64（1985）·Zbl 0569.90038号
[13] 帕雷诺，F。；阿尔瓦雷兹·瓦尔德斯，R。；Tamarit，J。；Oliveira，J.，集装箱装载问题的最大空间算法，INFORMS计算杂志，20，3，412-422（2008）·Zbl 1243.90094号
[14] Bortfeldt，A.，矩形件二维条形包装问题的遗传算法，《欧洲运筹学杂志》，172,3814-837（2006）·兹比尔1111.90094
[15] 黄，W。；Zhan，S.，解决包装问题的准物理方法，美国数学学会数学评论，82h，52002（1982）
[16] Barnes，F.，《棒最佳装箱》，《离散数学》，142，1-3，271-275（1995）·Zbl 0832.05025号
[17] 费科特，S。；Schepers，J.，高维正交装箱问题边界的一般框架，运筹学数学，60，2，311-329（2004）·Zbl 1076.90049号
[18] 费科特，S。；Schepers，J。；Veen，J.，《高维正交装箱的精确算法》，运筹学，55，3，569-587（2007）·Zbl 1167.90483号
[19] Harren，R.，超立方体正交布局问题的近似算法，理论计算机科学，410，44，4504-4532（2009）·Zbl 1187.68708号
[20] Garey，M。；Johnson，D.，《计算机与难处理性：NP-完全性理论指南》（1979），弗里曼：弗里曼旧金山·Zbl 0411.68039号
[21] Bauer，M。；郑，X.，关于连续实函数的弱可计算性，（第七届分析中的可计算性和复杂性国际会议论文集。第七届国际分析中的计算性和复杂度会议论文集，CCA’10，中国镇江（2010）），29-40·兹比尔1456.03064
[22] Nerode，A。；黄伟，《纯递归理论在可计算分析中的应用》，《数学学报》，1985年第28期，第5期，第625-636页·Zbl 0638.03058号
[23] Ko，K.，《实函数的计算复杂性》（1991），Birkhä用户波士顿：Birkhá用户波士顿，马萨诸塞州·Zbl 0791.03019号
[24] 布鲁姆，L。；舒布，M。；Smale，S.，《实数上的计算和复杂性理论：NP-完备性、递归函数和通用机器》，美国数学学会公报（新系列），21，1，1-46（1989）·Zbl 0681.03020号
[25] 克里茨，C。；Weihrauch，K.，实数和函数的复杂性理论，理论计算机科学，145165-174（1982）·Zbl 0501.03025号
[26] Royden，H。；Fitzpatrick，P.，《真实分析》（2010），普伦蒂斯·霍尔·Zbl 1191.26002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。