×

Berge-非循环多线性0-1优化问题。 (英语) Zbl 1403.90513号

摘要:优化0-1变量中的多线性多项式(f)的问题出现在许多不同领域的应用中。我们对基于将多项式问题重新转换为等效线性问题的解决方法感兴趣,这种方法试图从整数线性规划的大量文献中获益。更准确地说,我们描述了经典标准线性化过程保证整数最优解的实例。我们证明了当定义矩阵(P_H)平衡时,标准线性化多面体(P_H\)是整数当且仅当由(f\)的高次单项式定义的超图(H\)为Berge-无环或等价时。这个特征来自于更一般的条件,这些条件保证了松弛公式的积分最优顶点,这取决于\(f\)的单项式的符号模式。

MSC公司:

90C09型 布尔编程
90立方 非线性规划
90立方厘米 整数编程

软件:

J工具
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] AlBdaiwi,B.F。;Ghosh,D。;Goldengorin,B.,p-Median问题的数据聚合,组合优化杂志,21,3,348-363,(2011)·Zbl 1319.90045号
[2] Alekseeva,E。;科切托夫,Y。;Plyasunov,A.,p-Median问题的局部搜索复杂性,《欧洲运筹学杂志》,191,3736-752,(2008)·Zbl 1157.90016号
[3] Anstee,R.,《没有特殊圈的超图》,组合数学,3,2,141-146,(1983)·Zbl 0526.05043号
[4] 比里,C。;费金,R。;Maier,D。;Yannakakis,M.,《关于非循环数据库方案的可取性》,《ACM杂志》(JACM),30,3,479-513,(1983)·Zbl 0624.68087号
[5] Berge,C.,《图和超图》,(1976年),阿姆斯特丹North-Holland出版公司·Zbl 0483.05029号
[6] Bernasconi,J.,《低自相关二进制序列:统计力学和配置空间分析》,法国物理杂志,48,4,559-567,(1987)
[7] Boros,E。;Hammer,P.L.,最大切割问题和二次0-1优化;多面体方面,松弛和边界,运筹学年鉴,33,3,151-180,(1991)·Zbl 0741.90077号
[8] Boros,E。;Hammer,P.L.,伪布尔优化,离散应用数学,123,1,155-225,(2002)·Zbl 1076.90032号
[9] 布赫海姆,C。;Rinaldi,G.,多项式零点优化到二次型的有效约简,SIAM优化杂志,18,4,1398-1413,(2007)·Zbl 1165.90685号
[10] Burer,S。;Letchford,A.N.,《非凸混合整数非线性规划:一项调查》,运筹学和管理科学调查,17,2,97-106,(2012)
[11] 康福尔蒂,M。;Cornuéjols,G.,平衡0±1-矩阵,双色和全对偶积分,数学规划,71,3,249-258,(1995)·Zbl 0849.90095号
[12] 康福尔蒂,M。;Cornuéjols,G。;卡普尔,A。;Vušković,K.,平衡0,±1矩阵,第一部分至第二部分,组合理论杂志,B辑,81,2,243-274,(2001)·Zbl 1026.05016号
[13] 康福尔蒂,M。;Cornuéjols,G。;Vušković,K.,平衡矩阵,离散数学,306,19-20,2411-2437,(2006)·Zbl 1102.05013号
[14] Crama,Y.,非线性0-1优化中的线性化技术和凹扩展,《RUTCOR研究报告32-88》,(1988),新泽西州新不伦瑞克罗格斯大学
[15] Crama,Y.,非线性0-1最大化问题的凹扩张,数学规划,61,153-60,(1993)·兹比尔0796.90040
[16] Crama,Y.,自动化制造系统生产调度的组合优化模型,欧洲运筹学杂志,99,1,136-153,(1997)·Zbl 0923.90066号
[17] Crama,Y。;Hammer,P.L.,《布尔函数:理论、算法和应用》,(2011),纽约剑桥大学出版社·Zbl 1237.06001号
[18] Crama,Y。;van de Klinder,J.,工具管理问题近似算法的最坏情况性能,海军研究后勤(NRL),46,5,445-462,(1999)·Zbl 0948.90076号
[19] Crama,Y。;Mazzola,J.B.,非线性背包超图模型和FMS部件选择问题的有效不等式和刻面,运筹学年鉴,58,2,99-128,(1995)·Zbl 0836.90141号
[20] Crama,Y。;Oerlemans,A.G.,《柔性制造系统作业分组的列生成方法》,《欧洲运筹学杂志》,78,1,58-80,(1994)·兹伯利0814.90036
[21] Crama,Y。;Rodríguez-Heck,E.,多线性0-1优化问题的一类有效不等式,离散优化,25,28-47,(2017)·Zbl 1387.90125号
[22] De Simone,C.,切割多面体和布尔二次多面体,离散数学,79,1,71-75,(1990)·Zbl 0683.90068号
[23] 迪林,P.M。;Hammer,P.L。;Simeone,B.,简单工厂选址问题的布尔和图论公式,运输科学,26,2,138-148,(1992)·兹比尔0795.90036
[24] Del Pia,A.和Khajavirad,A.(2016a)。关于多线性规划的平衡矩阵和多项式可解性。未发表的手稿。;Del Pia,A.和Khajavirad,A.(2016a)。关于多线性规划的平衡矩阵和多项式可解性。未发表的手稿。
[25] Del Pia,A。;Khajavirad,A.,二元多项式程序的多面体研究,运筹学数学,42,2,389-410,(2016)·Zbl 1364.90225号
[26] Del Pia,A。;Khajavirad,A.,非循环超图的多线性多胞形,SIAM优化杂志,28,2,1049-1076,(2018)·Zbl 1396.90048号
[27] Djeumou Fomeni,F。;Kaparis,K。;Letchford,A.,混合0-1多项式程序RLT松弛的割平面,数学规划,151,2639-658,(2015)·Zbl 1328.90111号
[28] Fagin,R.,超图和关系数据库方案的无环度,美国计算机学会杂志(JACM),30,3,514-550,(1983)·Zbl 0624.68088号
[29] Fischer,A。;费舍尔,F。;McCormick,S.T.,目标函数中嵌套非线性单项式的拟阵优化问题,数学规划,169,2,417-446,(2018)·Zbl 1419.90118号
[30] Fortet,R.,L'algèbre de Boole et ses applications en recherche opérationnelle,Cahiers du Centre d’ets de recherche opératinelle,4,5-36,(1959)·Zbl 0093.32704号
[31] Fortet,R.,《Boole en recherche opérationnelle的应用》,《自动化评论》,Informatique et recherche opératinelle,4,14,17-26,(1960)·Zbl 0109.38201号
[32] 弗里德曼,D。;Drineas,P.,通过图形切割实现能量最小化:解决可能的问题,IEEE计算机视觉和模式识别会议论文集,2939-946,(2005)
[33] 手套,F。;Woolsey,E.,《将零一多项式规划问题进一步简化为零一线性规划问题》,运筹学,21,1,156-161,(1973)·Zbl 0261.90045号
[34] 手套,F。;Woolsey,E.,《技术注释:将0-1多项式规划问题转换为0-1线性规划》,运筹学,22,1,180-182,(1974)·Zbl 0272.90049号
[35] 戈登戈林,B。;Ghosh,D。;Sierksma,G.,《简单工厂选址问题的分支和挂接算法》,计算机与运筹学,30,7,967-981,(2003)·Zbl 1039.90027号
[36] Hammer,P.L.,《工厂位置——一种伪布尔方法》,以色列技术期刊,6,330-332,(1968)·Zbl 0238.90045号
[37] Hammer,P.L。;罗森博格,I。;Rudeanu,S.,关于伪布尔函数最小值的确定,Studii si Cercetari Matematice,14,359-364,(1963)·Zbl 0131.18503号
[38] Hammer,P.L。;Rudeanu,S.,《运筹学和相关领域中的布尔方法》(1968年),柏林施普林格出版社·Zbl 0155.28001号
[39] Hansen,P。;Simeone,B.,单模函数,离散应用数学,14,3,269-281,(1986)·Zbl 0597.90058号
[40] Harary,F.,《关于有符号图的平衡概念》,《密歇根数学杂志》,第2期,第143-146页,(1953年)·兹比尔0056.42103
[41] Hemmecke,R。;科普,M。;Lee,J。;Weismantel,R.,非线性整数规划,1958-2008年整数规划50年,561-618,(2010),Springer·Zbl 1187.90270号
[42] Ishikawa,H.,一般二进制MRF最小化到一阶情况的转换,IEEE模式分析和机器智能汇刊,33,61234-1249,(2011)
[43] Kochetov,Y.,《设施位置:离散模型和局部搜索方法》,(Chvátal,V.,《组合优化.方法和应用》,(2011),阿姆斯特丹IOS出版社),97-134·Zbl 1302.90104号
[44] 科尔莫戈罗夫,V。;Zabih,R.,什么能量函数可以通过图形切割最小化?,IEEE模式分析和机器智能汇刊,26,2147-159,(2004)
[45] Liers,F。;E.马里纳里。;美国帕加茨。;Ricci-Tersenghi,F。;Schmitz,V.,《具有可调相互作用范围的非无序玻璃模型》,《统计力学杂志:理论与实验》,5,L05003,(2010)
[46] 米格尔,C。;迪米特拉科普洛斯,R。;Avis,D.,《优化露天矿设计、后顾之忧和缺口问题——综述》,《采矿科学杂志》,50,3,508-526,(2014)
[47] Michini,C.(2016)。关于布尔二次多面体的循环松弛强度。电子打印。http://www.optimization-online.org/DB_FILE/2016/06/5483.pdf; Michini,C.(2016)。关于布尔二次多面体的循环松弛强度。电子打印。http://www.optimization-online.org/DB_FILE/2016/06/5483.pdf
[48] Padberg,M.,布尔二次多面体:一些特征、面和亲属,数学规划,45,1-3139-172,(1989)·Zbl 0675.90056号
[49] ReVelle,C.S。;艾塞尔特,H.A。;Daskin,M.S.,《离散位置科学中一些基本问题类别的参考书目》,《欧洲运筹学杂志》,184,3817-848,(2008)·Zbl 1141.90025号
[50] 沈振杰。;Coullard,C。;Daskin,M.S.,联合位置库存模型,运输科学,37,1,40-55,(2003)
[51] Watters,L.J.,将整数多项式规划问题简化为零一线性规划问题,运筹学,151171-1174,(1967)
[52] 你,F。;Grossmann,I.E.,具有随机库存管理的大规模供应链设计的混合整数非线性规划模型和算法,工业与工程化学研究,47,20,7802-7817,(2008)
[53] Zangwill,W.I.,《通过决策程序选择媒体》,《广告研究杂志》,第5期,第30-36页,(1965年)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。