×
安东尼，马丁;恩德雷·博罗斯;伊夫·克拉玛;阿里塔南·格鲁伯

非线性二进制优化问题的二次形式化。 （英语） Zbl 1358.90074号

数学。程序。 162，编号1-2（A），115-144（2017）.
摘要：非常大的非线性无约束二进制优化问题在广泛的应用中出现。事实证明，当目标函数是二次多项式时，几种精确或启发式技术对于解决其中许多问题都非常成功。然而，没有类似的有效方法可用于更高程度的情况。由于高度目标在某些应用领域（如计算机视觉）中变得越来越重要，最近开发了各种技术，以通过引入额外的辅助变量增加变量的数量为代价，将一般情况简化为二次情况。在本文中，我们对这些进行了系统的研究正交化方法。我们为一般目标函数、有界度函数和一类有限的象限提供了最坏情况下所需辅助变量数量的严格下界和上界。我们的上限是构造性的，因此产生了新的求积过程。最后，我们完全刻画了负单项式的所有“最小”求积。

引用于1审查
引用于11文件

MSC公司：

2009年9月90日 布尔编程
90立方厘米 整数编程
90C20个 二次规划
90立方 非线性规划

关键词：

非线性二进制优化;二次二进制优化;伪布尔函数;重新制定方法

软件：

J工具
PDF格式BibTeX公司 XML格式引用
\textit{M.Anthony}等人，《数学》。程序。162，编号1--2（A），115-144（2017；Zbl 1358.90074）
全文： 内政部 链接

参考文献：

[1] Anthony，M.，Boros，E.，Crama，Y.，Gruber，M.：对称伪布尔函数的四次方化。离散应用程序。数学。203, 1-12 (2016) ·Zbl 1403.90512号 ·doi:10.1016/j.dam.2016.01.001
[2] Billionnet，A.，Elloumi，S.：使用混合整数二次规划求解器求解无约束二次0-1问题。数学。程序。109, 55-68 (2007) ·Zbl 1278.90263号 ·doi:10.1007/s10107-005-0637-9
[3] Boros，E.，Gruber，A.：关于伪布尔函数的求积。致：工作文件（2011年）·Zbl 1403.90512号
[4] Boros，E.，Hammer，P.L.：伪布尔优化。离散应用程序。数学。123, 155-225 (2002) ·Zbl 1076.90032号 ·doi:10.1016/S0166-218X（01）00341-9
[5] Boros，E.，Hammer，P.L.，Sun，R.，Tavares，G.：二次无约束二元优化（QUBO）改进下界的最大流方法。离散优化。5, 501-529 (2008) ·Zbl 1170.90454号 ·doi:10.1016/j.disopt.2007.02.001
[6] Boros，E.，Hammer，P.L.，Tavares，G.：二次无约束二进制优化的局部搜索启发式。《启发式杂志》13，99-132（2007）·doi:10.1007/s10732-007-9009-3
[7] Boykov，Y.，Veksler，O.，Zabih，R.：通过图切割实现快速近似能量最小化。IEEE传输。模式分析。机器。智力。23, 1222-1239 (2001) ·doi:10.1009/34.969114
[8] Buchheim，Ch.，Rinaldi，G.：多项式零点优化到二次型的有效简化。SIAM J.Optim公司。181398-1413（2007年）·Zbl 1165.90685号 ·doi:10.1137/050646500
[9] Buchheim，Ch.，Rinaldi，G.：布尔优化的Terse整数线性规划。J.满意。布尔模型。计算。6, 121-139 (2009) ·Zbl 1180.90193号
[10] Burer，S.，Letchford，A.N.：非凸混合整数非线性规划：一项调查。Surv公司。操作。资源管理。科学。17, 97-106 (2012)
[11] Conforti，M.，Cornuéjols，G.，Zambelli，G.：组合优化中的扩展公式。4OR 4OR（8），1-48（2010）·Zbl 1219.90193号 ·doi:10.1007/s10288-010-0122-z
[12] Crama，Y。；锤子，PL；Pardalos，PM（编辑）；Resende，MGC（编辑），《伪布尔优化》，445-450（2002），牛津
[13] Crama，Y.，Hammer，P.L.：布尔函数：理论、算法和应用。剑桥大学出版社，纽约（2011）·Zbl 1237.06001号 ·doi:10.1017/CBO9780511852008
[14] Crama，Y.，Rodríguez-Heck，E.：三次负单项式的短素数求积。研究报告，2014年7月。http://hdl.handle.net/2268/170649
[15] Ellis，D.，Sudakov，B.：用不相交并生成有限集的所有子集。J.库姆。理论Ser。A 1182319-2345（2011）·Zbl 1232.05223号 ·doi:10.1016/j.jcta.2011.06.003
[16] 修复：使用生成树重写QPBF的简化。未发表的笔记（2011年）·Zbl 0574.90066号
[17] Fix，A.，Gruber，A.，Boros E.，Zabih，R.：高阶马尔可夫随机场的图切割算法。摘自：2011年IEEE国际计算机视觉会议（ICCV）会议记录，第1020-1027页·兹比尔0093.32704
[18] Fix，A.，Gruber，A.，Boros，E.，Zabih，R.：基于超图的高阶马尔可夫随机场约简。IEEE传输。模式分析。机器。智力。37, 1387-1395 (2015) ·doi:10.1109/TPAMI.2014.2382109
[19] Fortet，R.：L'algèbre de Boole et ses applications en recherche opérationnelle。《理性艺术研究中心》（Cahiers du Centre d'Etudes de Recherche Opérationnelle）第1期，第5-36页（1959年）·Zbl 0093.32704号
[20] Fortet，R.：《布勒的应用》（Applications de l'algèbre de Boole en recherche opérationnelle）。《法国文学评论》第4卷，第17-26页（1960）·兹伯利0109.38201
[21] Freedman，D.，Drineas，P.：通过图形切割实现能量最小化：解决可能的问题，In:IEEE计算机视觉和模式识别会议（2），第939-946页（2005）
[22] Frein，Y.，Lévíque，B.，Sebő，A.：生成具有有界并集的所有集。梳子。普罗巴伯。计算。17641-660（2008年）·Zbl 1191.05010号 ·文件编号：10.1017/S096354830800922X
[23] Füredi，Z。，Katona，G.O.H.：2-四元组的基数。梳子。普罗巴伯。计算。15, 131-141 (2006) ·Zbl 1086.05072号 ·网址：10.1017/S0963548305007248
[24] Glover，F.，Alidaee，B.，Rego，C.，Kochenberger，G.：大型无约束二元二次型问题的单程启发式。欧洲药典。第137、272-287号决议（2002年）·Zbl 1030.90074号 ·doi:10.1016/S0377-2217（01）00209-0
[25] Glover，F.，Hao，J.-K.：求解大型0-1无约束二次优化问题的有效评估。Int.J.Metaeuristics 1，3-10（2010）·Zbl 1219.90104号 ·doi:10.1504/IJMHEUR.2010.033120
[26] Hammer，P.L.，Hansen，P.，Simeone，B.：二次0-1优化中的屋顶二元性、互补性和持久性。数学。程序。28, 121-155 (1984) ·Zbl 0574.90066号 ·doi:10.1007/BF02612354
[27] Hammer，P.L.，Rudeanu，S.：运筹学和相关领域中的布尔方法。柏林施普林格（1968）·Zbl 0155.28001号 ·doi:10.1007/978-3-642-85823-9
[28] Hansen，P.，Jaumard，B.，Mathon，V.：约束非线性0-1规划。ORSA J.计算。5, 97-119 (1993) ·兹比尔0777.90033 ·doi:10.1287/ijoc.5.2.97
[29] Hansen，P.，Meyer，Ch.：无约束二次01极小化问题的改进紧线性化。离散应用程序。数学。157, 1267-1290 (2009) ·Zbl 1178.90251号 ·doi:10.1016/j.dam.2007.12.008
[30] Helmberg，C.，Rendl，F.：用半定程序和割平面求解二次（0,1）问题。数学。程序。82, 291-315 (1998) ·Zbl 0919.90112号
[31] Ishikawa，H.：一般二进制MRF最小化到一阶情况的转换。IEEE传输。模式分析。机器。智力。33(6), 1234-1249 (2011) ·doi:10.1109/TPAMI.2010.91
[32] Kahl，F.，Strandmark，P.：广义屋顶对偶。离散应用程序。数学。160, 2419-2434 (2012) ·Zbl 1254.90118号 ·doi:10.1016/j.dam.2012.06.009
[33] Kappes，J.H.等人：离散能量最小化问题现代推理技术的比较研究。摘自：IEEE计算机视觉和模式识别会议CVPR’13，pp.1328-1335（2013）·Zbl 0839.05050号
[34] Kolmogorov，V.：广义屋顶对偶和双子模函数。离散应用程序。数学。160, 416-426 (2012) ·Zbl 1242.90197号 ·doi:10.1016/j.dam.2011.10.026
[35] Kolmogorov，V.，Rother，C.：用图割最小化非次模函数：综述。IEEE传输。模式分析。机器。智力。29, 1274-1279 (2007) ·doi:10.1109/TPAMI.2007.1031
[36] Kolmogorov，V.，Zabih，R.：哪些能量函数可以通过图形切割最小化？IEEE传输。模式分析。机器。智力。26(2), 147-159 (2004) ·兹比尔1039.68666 ·doi:10.1109/TPAMI.2004.1262177
[37] Maghout，K.：不稳定标记的终止。《科学院学报》（Comptes Rendus de l'Académie des Sci）。巴黎248，3522-3523（1959）·Zbl 0088.15601号
[38] Maghout，K.：应用程序de l'algèbre de Booleála théorie des grapes et aux programs linéaires et quariques。《理性艺术研究中心》第5期，第21-99页（1963年）·Zbl 0114.12102号
[39] Merz，P.，Freisleben，B.：无约束二进制二次规划问题的贪婪和局部搜索启发式。《启发式杂志》8，197-213（2002）·Zbl 1013.90100号 ·doi:10.1023/A：1017912624016
[40] Ramalingam，S.，Russell，Ch.，Ladickí，L.Torr，Ph.H.S.：使用单调布尔函数高效最小化高阶子模函数，（2011）arXiv:1109.2304v1·Zbl 1422.68136号
[41] Rosenberg，I.G.：将二价最大化简化为二次型情况。Cahiers du Centre d'Etudes de Recherche Opérationnelle艺术中心17、71-74（1975）·Zbl 0302.90041号
[42] Rother，C.，Kohli，P.，Feng，W.，Jia，J.（2009）离散变量稀疏高阶能量函数最小化。摘自：IEEE计算机视觉和模式识别会议，第1382-1389页
[43] Rother，C.、Kolmogorov，V.、Lempitsky，V.和Szummer，M.：通过扩展屋顶二元性优化二进制MRF。In:IEEE计算机视觉和模式识别会议（2007）·Zbl 1178.90251号
[44] Sherali，H.D.，Adams，W.P.：求解离散和连续非凸问题的一种改进线性化技术。多德雷赫特·克鲁沃（1999）·Zbl 0926.90078号 ·doi:10.1007/978-1-4757-4388-3
[45] 西多连科：关于图兰数字，我们知道什么和不知道什么。组梳。11, 179-199 (1995) ·Zbl 0839.05050号 ·doi:10.1007/BF01929486
[46] ƀivnƂ，S.，Cohen，D.A.，Jeavons，P.G.：二元子模函数的表达能力。离散应用程序。数学。157, 3347-3358 (2009) ·Zbl 1229.90093号 ·doi:10.1016/j.dam.2009.07.001
[47] ſivnƀ，S.，Jeavons，P.G.：可由图割表示的子模约束类。约束15，430-452（2010）·Zbl 1208.68196号 ·doi:10.1007/s10601-009-9078-z
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。