×

离散优化问题的析取规划和松弛层次。 (英语) Zbl 0592.90070号

摘要:我们讨论了离散优化问题凸化的一个新概念框架,以及获取可行集凸壳近似值的一般技术。这些概念来自析取编程,关键工具是用高维多面体描述多面体并集的凸壳。尽管这一描述已为人所知多年,但直到最近才由R.G.杰罗斯洛J.K.罗[数学课程研究.22167-184(1984;Zbl 0554.90081号)]以产生离散优化问题的改进表示。我们将离散优化问题的可行集表示为多面体并集的交集(合取),并定义了一个操作,将一个这样的表达式转换为另一个等价的表达式,使用更少的合取词。然后,我们引入了一类基于用其凸包替换每个连接(多面体的并集)的松弛。松弛的强度随着连接数的减少而增加,松弛类形成了一个跨越普通线性规划松弛和可行集本身的凸壳之间的谱的层次。该方法具有优势的实例包括析取图中的关键路径问题、网络综合问题、某些固定电荷网络流问题等。我们在这些问题中的第一个问题上说明了该方法,这是机器排序的模型。

MSC公司:

90立方厘米 整数编程
52亿 多面体和多面体
90B35型 运筹学中的确定性调度理论
90B10型 运筹学中的确定性网络模型
90立方厘米 涉及图形或网络的编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Balas,Egon,《通过析取图进行机器排序:一种隐式枚举算法》,《运筹学研究》,第17期,第941页,(1969年)·Zbl 0183.49404号
[2] 伊贡·巴拉斯;Mangasarian,O。;梅耶,R.R。;Robinson,S.,《虚拟编程:从逻辑条件中切割平面》,非线性编程,2(Proc.Sympos.Specific Interest Group on Math.programming,威斯康星大学麦迪逊分校,1974),279,(1974),学术出版社,纽约·Zbl 0349.90117号
[3] 析取规划:可行点凸壳的性质MSRR No.348Carnegie-Mellon Univ.Pittsburgh,PA1974July
[4] Balas,Egon,选言编程,离散数学。,5, 3, (1979) ·兹比尔0409.90061
[5] Balas,Egon,从条件边界切割平面:集合覆盖的新方法,数学。编程研究,19,(1980)·Zbl 0435.90073号
[6] 伊贡·巴拉斯;Ho,Andrew,《使用切割平面、启发式和次梯度优化的集合覆盖算法:计算研究》,《数学》。编程研究,37,(1980)·Zbl 0435.90074号
[7] 伊贡·巴拉斯;罗伯茨·杰罗斯洛。,加强对混合整数项目的削减,欧洲期刊Oper。决议,4,224,(1980)·Zbl 0439.90064号 ·doi:10.1016/0377-2217(80)90106-X
[8] 巴拉斯,E。;Pulleyblank,W.R.,二部图的完全匹配子图多面体,网络,13495,(1983)·Zbl 0525.90069号
[9] Blair,C.,《面部选区程序和切脸序列》,《离散应用》。数学。,2, 173, (1980) ·Zbl 0459.90054号 ·doi:10.1016/0166-218X(80)90037-2
[10] 坎佩罗,R.E。;北马库兰。;科特尔,W。;凯尔曼森,M.L。;Korte,B.,《关于集合划分的深度析取割平面:一项面向计算的研究》,《数学规划》(里约热内卢,1981),69,(1984),荷兰北部,阿姆斯特丹·兹比尔0538.90062
[11] 整数规划松弛的切割平面MSRR编号347卡内基梅隆大学,宾夕法尼亚州匹兹堡,1974
[12] Jeroslow,R.G.,《割平面理论:析取方法》,《整数规划研究》(Proc.Workshop,波恩,1975),(1977),荷兰阿姆斯特丹·Zbl 0358.90035号
[13] 整数变量建模乔治亚理工学院亚特兰大1982
[14] Lenstra,J.,《枚举法排序》(1977年)·兹比尔0407.90025
[15] Németi,L.,《施肥规划和线性规划中的Das reihenfolge问题》,数学,(Cluj),6,87,(1964)·Zbl 0137.38007号
[16] 固定电荷网络流量问题的更紧密缓解乔治亚理工学院亚特兰大1979年5月
[17] 哈尼夫·谢拉利。;Shetty,C.M.,带析取约束的优化,(1980)·Zbl 0437.90052号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。