塔吉·卡尼耶夫;萨米尔·埃尔赫德利;法提赫·萨法·埃雷奈 混合整数程序中的结构检测。 （英语） Zbl 1528.90161号 信息J.计算。 30，第3号，570-587（2018）. 摘要：尽管计算能力有了很大提高，但许多涉及整数变量的大规模优化问题仍然很难解决。然而，某些类可以通过利用特殊的结构有效地解决。其中一种结构是单边界块二对角（BBD）结构，它有助于Dantzig-Wolfe分解、拉格朗日松弛、分支和价格。我们首先引入一种新的优度度量，以捕获BBD结构中所需的特征，例如结构的粒度、块大小的均匀性和块的同构性。然后，我们使用它提出了一种新的方法来识别约束矩阵中固有的最佳BBD结构。该方法的主要构建块是使用社区检测方法代替图/超图划分方法，以缓解文献中现有方法的一个主要缺点：预定义块的数量。在MIPLIB2003/2010实例上进行测试并与最先进的技术进行比较时，发现所提出的算法能够识别出非常好的结构，并且在大多数情况下需要更短的CPU时间才能达到可比较的界限。 引用于7文件 MSC公司： 90立方厘米 混合整数编程 关键词：结构检测;带边框块对角线;社区检测;优度测量;Dantzig-Wolfe重组;拉格朗日松弛 软件：DIP公司;赫梅蒂斯;GCG公司;BaPCod公司;算法447;梅蒂斯;MIPLIB公司;MIPLIB2003公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Khaniyev}等人，《信息与计算》。30，第3号，570--587（2018；Zbl 1528.90161） 全文： 内政部 参考文献： [1] Achterberg T、Koch T、Martin A（2006）Miplib 2003。操作。Res.Lett公司。34（4）:361-372.谷歌学者Crossref·Zbl 1133.90300号 ·doi:10.1016/j.orl.2005.07.009 [2] Aykanat C，Pinar A，ChatalyüreküV（2004）将稀疏矩形矩阵置换为块对角形式。SIAM J.科学。计算。25（6）：1860-1879。Crossref，谷歌学者·Zbl 1070.65027号 ·doi:10.1137/S1064827502401953 [3] Bergner M、Caprara A、Ceselli A、Furini F、Lübbecke ME、Malaguti E、Traversi E（2015）《混合整数程序的自动Dantzig-Wolfe重编》。数学。编程149（1-2）:391-424.Crossref，谷歌学者·Zbl 1307.90114号 ·doi:10.1007/s10107-014-0761-5 [4] Blondel VD、Guillaume J-L、Lambiotte R、Lefebvre E（2008）大型网络中社区的快速发展。J.统计。机械：理论与实验2008（10）：文章编号：P10008.Crossref，谷歌学者·Zbl 1459.91130号 ·doi:10.1088/1742-5468/2008/10/P10008 [5] Borndörfer R，Ferreira CE，Martin A（1998）将矩阵分解为块。SIAM J.Optim公司。9（1）：236-269.Crossref，谷歌学者·Zbl 1032.90523号 ·doi:10.1137/S1052623497318682 [6] Brandes U、Delling D、Gaertler M、Gorke R、Hoefer M、Nikoloski Z、Wagner D（2008）《模块化集群》。IEEE传输。知识数据工程。20（2）：172-188.Crossref，谷歌学者·doi:10.1109/TKDE.2007.190689 [7] Bui TN，Jones C（1992）发现良好的近似顶点和边划分是NP-hard。通知。处理信函。42（3）：153-159。Crossref，谷歌学者·Zbl 0764.68061号 ·doi:10.1016/0020-0190（92）90140-Q [8] Catalysturek UV，Aykanat C（1999），并行稀疏矩阵向量乘法的基于Hypergraph分区的分解。IEEE传输。并行分布式系统10（7）：673-693.Crossref，谷歌学者·数字对象标识代码：10.1109/71.780863 [9] Clauset A、Newman MEJ、Moore C（2004）《在非常大的网络中发现社区结构》。物理版本E70（6）：文章编号066111.Crossref，谷歌学者·doi:10.1103/PhysRevE.70.066111 [10] Cordella LP，Foggia P，Sansone C，Vento M（2001）用于匹配大型图形的改进算法。Jolion JM、Kropatsch W、Vento M编辑。第三届IAPR-TC15研讨会基于图形的表示模式识别（C.U.E.N.，意大利那不勒斯），149-159.谷歌学者 [11] Ferris MC，Horn JD（1998）并行求解的分区数学程序。数学。编程80（1）:35-61.Crossref，谷歌学者·Zbl 0894.90108号 ·doi:10.1007/BF01582130 [12] Fortunato S（2010）《图形中的社区检测》。物理学。代表。486（3）：75-174.Crossref，谷歌学者·doi:10.1016/j.physrep.2009.11.002 [13] Gamrath G，Lübbecke ME（2010）整数程序的通用Dantzig-Wolfe分解实验。实验算法（施普林格，柏林），239-252.Crossref，谷歌学者·doi:10.1007/978-3-642-13193-6_21 [14] Girvan M，Newman MEJ（2002），《社会和生物网络中的社区结构》。程序。国家。阿卡德。科学。99（12）:7821-7826.Crossref，谷歌学者·Zbl 1032.91716号 ·doi:10.1073/pnas.122653799 [15] Good BH，de Montjoye Y-A，Clauset A（2010），模块化最大化在实际环境中的表现。物理版本E81（4）：文章编号046106.Crossref，谷歌学者·doi:10.1103/PhysRevE.81.046106 [16] Hopcroft J，Tarjan R（1973）《算法447：图形操作的有效算法》。通信ACM16（6）:372-378.Crossref，谷歌学者·数字对象标识代码：10.1145/362248.362272 [17] Karypis G，Kumar V（1998a）hMETIS-超图和电路划分。2018年5月18日查阅，http://glaros.dtc.umn.edu/gkhome/metis/hmetis/overview.谷歌学者 [18] Karypis G，Kumar V（1998b）METIS-序列图划分和填充-约简矩阵排序。2018年5月18日查阅，http://glaros.dtc.umn.edu/gkhome/metis/metis/overview.谷歌学者 [19] Kernighan BW，Lin S（1970）划分图的有效启发式程序。贝尔系统技术J。49（2）：291-307.谷歌学者Crossref·兹比尔0333.05001 ·文件编号：10.1002/j.1538-7305.1970.tb01770.x [20] Koch T、Achterberg T、Andersen E、Bastert O、Berthold T、Bixby RE、Danna E、Gamrath G、Gleixner AM、Heinz Set al.（2011）MIPLIB 2010。数学。编程计算。3（2）：103-163.Crossref，谷歌学者·doi:10.1007/s12532-011-0025-9 [21] Lancichinetti A，Fortunato S（2009）《社区检测算法：比较分析》。物理版本E80（5）：文章编号：056117.Crossref，谷歌学者·doi:10.1103/PhysRevE.80.056117 [22] Lancichinetti A，Fortunato S，Radichi F（2008）测试社区检测算法的基准图。物理版本E78（4）：文章编号046110.Crossref，谷歌学者·doi:10.1103/PhysRevE.78.046110 [23] Leskovec J，Lang KJ，Mahoney M（2010）网络社区检测算法的实证比较。程序。第19届国际米兰。Conf.万维网（ACM，纽约），631-640.谷歌学者 [24] Lyaudet L（2010）超图划分的NP硬和线性变体。理论。计算。科学。411（1）：10-21.Crossref，谷歌学者·Zbl 1189.68086号 ·doi:10.1016/j.tcs.2009.08.035 [25] Newman MEJ，Girvan M（2004）《发现和评估网络中的社区结构》。物理版本E69（2）：文章编号026113.Crossref，谷歌学者·doi:10.1103/PhysRevE.69.026113 [26] Pons P，Latapy M（2006）使用随机行走在大型网络中计算社区。J.图形算法应用。10（2）：191-218.Crossref，谷歌学者·Zbl 1161.68694号 ·doi:10.7155/jgaa.00124 [27] Porter MA、Onnela J-P、Mucha PJ（2009）《网络社区》。通知AMS56（9）：1082-1097.谷歌学者·Zbl 1188.05142号 [28] Puchinger J、Stuckey PJ、Wallace MG、Brand S（2011）《G12中的Dantzig-Wolfe分解和分支与价格求解》。约束条件16（1）：77-99。Crossref，谷歌学者·Zbl 1213.90174号 ·doi:10.1007/s10601-009-9085-0 [29] Ralphs TK，Galati MV（2009），整数规划的DIP-decomposition。访问时间：2018年5月18日，https://projects.coin-or.org/Dip.谷歌学者 [30] Ronhovde P，Nussinov Z（2009）《基于信息的副本相关性的大规模网络多分辨率社区检测》。物理版本E80（1）：文章编号016109。Crossref，谷歌学者·doi:10.1103/PhysRevE.80.016109 [31] Rosvall M，Bergstrom CT（2007）用于解决复杂网络中社区结构的信息论框架。程序。国家。阿卡德。科学。104（18）：7327-7331.Crossref，谷歌学者·doi:10.1073/pnas.0611034104 [32] Suresh Kumar C，Chandrasekharan MP（1990）《分组功效：分组技术中二进制矩阵块对角形式优度的定量标准》。国际。J.生产研究。28（2）：233-243.Crossref，谷歌学者·doi:10.1080/00207549008942706 [33] Vanderbeck F（2005）BaPCod——通用分支和价格代码。2018年5月18日查阅，https://realopt.bordeaux.inria.fr/.Google学者 [34] Vanderbeck F，Wolsey LA（2010）整型程序的重组和分解。Jünger M、Liebling ThM、Naddef D、Nemhauser GL、Pulleyblank WR、Reinelt G、Rinaldi G、Wolsey LA编辑。1958-2008年整数规划50年（柏林施普林格），431-502.Crossref，谷歌学者·Zbl 1187.90207号 ·doi:10.1007/978-3-540-68279-0_13 [35] Wang J，Ralphs TK（2013）离散优化中基于超图的自动分解方法的计算经验。Gomes C，Sellmann M，编辑。CPAIOR公司（柏林施普林格）。Crossref，谷歌学者·Zbl 1382.90119号 ·doi:10.1007/978-3-642-38171-331 [36] Weil RL，Kettler PC（1971）将矩阵重新排列为块角形式，用于分解（和其他）算法。管理科学。18（1）:98-108.链接，谷歌学者·Zbl 0232.90023号 [37] 威特JT， 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。