克里斯托弗·霍尼;伊姆克·乔曼;卢那么，亨德里克;施密特，马丁 连接最大切割问题的混合整数编程技术。 （英语） Zbl 1473.90092号 数学。程序。计算。 13，编号1，75-132（2021）. 摘要：我们考虑经典Max-\（k\）-Cut问题的一个扩展版本，其中我们还要求图分区的各个部分是连通的。对于这个问题，我们研究了两种替代的混合整数线性公式，并回顾了现有的分支和切割技术，如切割、分支规则、传播、原始启发式和对称性破坏。本文的主要重点是广泛的数值研究，其中我们分析了不同技术对各种测试集的影响。事实证明，现有文献中的技术不足以解决足够多的测试集。然而，我们的新技术在运行时间和可以解决的实例总数方面都显著优于现有技术。 引用于7文件 MSC公司： 90立方厘米 混合整数编程 90立方厘米 涉及图形或网络的编程 90C57型 多面体组合学，分支与绑定，分支与切割 关键词：最大割;连通性;分支和切割;混合整数编程 软件：算法447;天然气液化;斯坦利布;增强C++库;CPLEX公司;鹦鹉螺;SCIP公司;促进;踪迹 PDF格式BibTeX公司 XML格式引用 \textit{C.Hojny}等人，数学。程序。计算。13，编号1，75--132（2021；Zbl 1473.90092） 全文： 内政部 参考文献： [1] Achterberg，T.：约束整数编程。柏林大学博士论文（2007）·Zbl 1430.90427号 [2] Achterberg，T。；科赫，T。；Martin，A.，《重新审视分支规则》，Oper。Res.Lett.公司。，33, 1, 42-54 (2005) ·Zbl 1076.90037号 ·doi:10.1016/j.orl.2004.04.002 [3] Ambrosius，M.、Grimm，V.、Kleinative，T.、Liers，F.、Schmidt，M.和Zöttl，G.：电力市场中的内生价格区和投资激励：带图分割的多级优化应用。技术报告（2018）。http://www.optimization-online.org/DB_HTML/2018/10/6868.HTML [4] Anjos，M.F.，Ghaddar，B.，Hupp，L.，Liers，F.，Wiegele，A.：解决（k）-路图划分问题的最优性：半定松弛和束方法的影响。摘自：Jünger，M.，Reinelt，G.（编辑）《组合优化的方面：Martin Grötschel的Festschrift》，第355-386页。施普林格-柏林-海德堡（2013）。doi:10.1007/978-3-642-38189-8_15·Zbl 1317.90301号 [5] 巴拉奥纳，F。；Mahjoub，AR，关于切割的多边形，数学。程序。，36, 2, 157-173 (1986) ·Zbl 0616.90058号 ·doi:10.1007/BF02592023 [6] 巴恩斯，ER；Vannelli，A。；Walker，JQ，图节点划分的新启发式算法，SIAM J.离散数学。，1, 3, 299-305 (1988) ·Zbl 0655.68089号 ·数字对象标识代码：10.1137/0401030 [7] 增强C++库。http://www.boost.org。2018年12月4日访问 [8] 卡瓦哈尔，R。；康斯坦蒂诺，M。；Goycoolea，M。；维埃玛，JP；Weintraub，A.，《在森林规划中施加连通性约束》，Oper。研究，61，4，824-836（2013）·Zbl 1291.90341号 ·doi:10.1287/opre.2013.1183 [9] Chaourar，B.：串-并行图中最大割问题变量的线性时间算法。2017年《运筹学进展》，（2017）。doi:10.1155/2017/1267108·兹比尔1387.90259 [10] 肖普拉，S。；菲利佩基，B。；Lee，K。；Ryu，M。；垫片，S。；Van Vyve，M.，树上凸重着色问题的扩展公式，数学。程序。，165, 2, 529-548 (2017) ·Zbl 1379.92034号 ·doi:10.1007/s10107-016-1094-3 [11] 肖普拉，S。；Rao，MR，分区问题，数学。程序。，59，187-115（1993年）·Zbl 0774.90082号 ·doi:10.1007/BF01581239 [12] Color02-计算研讨会：图着色及其推广（2002）。http://mat.gsia.cmu.edu/COLOR02 [13] CPLEX优化器。https://www.ibm.com/analytics/data-science/prescriptive-analytics/cplex-optimizer。2018年12月4日访问 [14] Dilkina，B.，Gomes，C.P.：解决野生动物保护中的连通子图问题。摘自：Lodi，A.，Milano，M.，Toth，P.（eds.）《组合优化问题约束规划中人工智能与操作技术的集成：第七届国际会议》（CPAIOR 2010），意大利博洛尼亚，2010年6月14日至18日。会议记录，第102-116页。施普林格，柏林-海德堡（2010）。doi:10.1007/978-3-642-13520-0_14·Zbl 1285.68155号 [15] Dolan，ED；Moré，JJ，带性能配置文件的基准优化软件，数学。程序。，91, 201-213 (2002) ·邮编：1049.90004 ·doi:10.1007/s101070100263 [16] 菲舍蒂，M。；莱特纳，M。；卢比奇，I。；路易斯贝克，M。；莫纳西，M。；雷施，M。；Salvagnin，D。；Sinnl，M.，《细化steiner树：统一边缘成本的基于节点的模型》，数学。程序。计算。，9, 203-229 (2016) ·Zbl 1387.90132号 ·doi:10.1007/s12532-016-0111-0 [17] Fügenschuh，A。；Fügenschuh，M.，钣金设计拓扑优化的整数线性规划模型，数学。方法操作。研究，68，2，313-331（2008）·Zbl 1211.90135号 ·doi:10.1007/s00186-008-0223-z [18] Gleixner，A.、Eifler，L.、Gally，T.、Gamrath，G.、Gemander，P.、Gottwald，R.L.、Hendel，G.，Hojny，C.、Koch，T.，Miltenberger，M.、Müller，B.、Pfetsch，M.E.、Puchert，C.、Rehfeldt，D.、Schlösser，F.、Serrano，F.，Shinano，Y.、Viernickel，J.M.、Vigerske，S.、Weninger，D.、Witt，J.、Witzig，J.：SCIP优化套件5.0。技术报告，17-61，ZIB（2017） [19] 戈曼斯，M。；Williamson，DP，通过复杂半定规划求解max-3-cut和其他问题的近似算法，J.Compute。系统。科学。，68, 2, 442-470 (2004) ·Zbl 1093.90038号 ·doi:10.1016/j.jcss.2003.07.012 [20] Goldschmidt，O.，Hochbaum，D.S.：切割问题的多项式算法。摘自：【1988年论文集】第29届计算机科学基础年会，第444-451页（1988）。doi:10.1109/SFCS.1988.21960 [21] Grimm，V.、Kleinarte，T.、Liers，F.、Schmidt，M.、Zöttl，G.：电力市场的最优价格区：混合整体多级模型和全球解决方案方法。最佳方案。方法软件。34(2), 406-436 (2019). doi:10.1080/10556788.2017.1401069·兹比尔1407.90077 [22] 格林·V。；马丁。；施密特，M。；Weibelzahl，M。；Zöttl，G.，《电力市场中的输电和发电投资：市场分割和网络费用制度的影响》，欧洲期刊Oper。第254、2493-509号决议（2016年）·Zbl 1346.91098号 ·doi:10.1016/j.ejor.2016.03.044 [23] DJ Haglin；Venkatesan，SM，最大割问题及其变体的近似和难处理结果，IEEE Trans。计算。，40, 1, 110-113 (1991) ·Zbl 1395.68139号 ·数字对象标识代码：10.1109/12.67327 [24] Hajiaghayi，M.T.，Kortsarz，G.，MacDavid，R.，Purohit，M.，Sarpatwar，K.：连通最大割及相关问题的近似算法。摘自：Bansal，N.，Finocchi，I.（eds.）Algorithms-ESA 2015:第23届欧洲年会，希腊帕特拉斯，2015年9月14日至16日，会议记录，第693-704页。施普林格，柏林-海德堡（2015）。doi:10.1007/978-3-662-48350-3_58·Zbl 1420.68237号 [25] Hojny，C.，Pfetsch，M.E.：与对称处理相关的多面体。数学。程序。(2018). doi:10.1007/s10107-018-1239-7·Zbl 1421.90088号 [26] 霍普克罗夫特，J。；Tarjan，R.，《算法447：图形操作的有效算法》，Commun。美国医学会，16，6，372-378（1973）·数字对象标识代码：10.1145/362248.362272 [27] Inc.，W.R.:Mathematica，11.0版。伊利诺伊州香槟市（2016） [28] Januschowski，T.，Pfetsch，M.E.：具有对称性的最大可着色子图问题的分支切割和传播。摘自：Achterberg，T.，Beck，J.C.（编辑）CPAIOR，《计算机科学讲义》，第6697卷，第99-116页。施普林格（2011）。doi:10.1007/978-3-642-21311-311·兹比尔1302.90256 [29] Jünger，M.、Liebling，T.M.、Naddef，D.、Nemhauser，G.L.、Pulleyblank，W.R.、Reinelt，G.、Rinaldi，G.和Wolsey，L.A.：1958-2008年整数编程50年：从早期到最先进。Springer（2009）。doi:10.1007/978-3-540-68279-0·Zbl 1181.90003号 [30] Jünger，M。；Reinelt，G。；Pulleyblank，WR，关于将图的边划分为连通子图，图论，9，4，539-549（1985）·Zbl 0665.05040号 ·doi:10.1002/jgt.3190090416 [31] Kaibel，V.，Peinhardt，M.，Pfetsch，M.E.：Orbitopal固定。离散优化。8(4), 595-610 (2011). doi:10.1016/j.disopt.2011.07.001；http://www.sciencedirect.com/science/article/pii/S1572528611000430 ·兹比尔1235.90091 [32] 凯贝尔，V。；Pfetsch，ME，包装和分割轨道，数学。程序。，114, 1, 1-36 (2008) ·Zbl 1171.90004号 ·doi:10.1007/s10107-006-0081-5 [33] 卡普，RM；密勒，RE；JW·撒切尔，《组合问题的可简化性，计算机计算的复杂性》，IBM研究研讨会系列，85-103（1972），纽约：Plenum出版社，纽约·Zbl 1467.68065号 ·doi:10.1007/978-1-4684-2001-2_9 [34] Kle惰性，T.，Schmidt，M.：多级电力市场模型的全局优化，包括网络设计和图形分割。离散优化。33, 43-69 (2019). doi:10.1016/j.disopt.2019.02.002·Zbl 1474.90302号 [35] Koch，T.，Martin，A.，Voß，S.：SteinLib:关于图中steiner树问题的更新库。收录：Cheng，X.Z.，Du，D.Z.（编辑）Steiner Trees In Industry，第285-325页。美国施普林格（2001）。doi:10.1007/978-1-4613-0255-1_9 [36] Lee，J。；Nagarajan，V.公司。；沈，X。；卢沃，Q。；Skutella，M.，图约束下的Max-cut，整数规划与组合优化，50-62（2016），柏林：施普林格出版社，柏林·Zbl 1419.90112号 ·doi:10.1007/978-3-319-33461-55 [37] Liers，F。；马丁。；Pape，S.，Binary Steiner树：结构结果和精确解方法，离散优化。，21, 85-117 (2016) ·Zbl 1387.90141号 ·doi:10.1016/j.disopt.2016.05.006 [38] 林德拉斯，JT；Savelsbergh，MWP，混合整数规划搜索策略的计算研究，INFORMS J.Comput。，11, 2, 173-187 (1999) ·兹比尔1040.90535 ·doi:10.1287/ijoc.11.2.173 [39] MATPOWER：一个MATLAB电力系统仿真软件包。http://www.pserc.connell.edu/matpower/。2017年12月20日访问 [40] McCormick，ST，使稀疏矩阵更稀疏：计算结果，数学。程序。，49, 91-111 (1990) ·Zbl 0714.90067号 ·doi:10.1007/BF01588780 [41] McKay，B.D.，Piperno，A.：实用图同构，II。J.塞姆。计算。60, 94-112 (2014). doi:10.1016/j.jsc.2013.09.003。http://www.sciencedirect.com/science/article/pii/S0747717113001193 ·Zbl 1394.05079号 [42] Newman，A.：复杂半定规划和最大割。参见：Seidel，R.（ed.）第一届算法简单性研讨会（SOSA 2018），信息学开放存取系列（OASIcs），第61卷，第13:1-13:11页。Schloss Dagstuhl Leibniz Zentrum fuer Informatik出版社（2018）。doi:10.4230/OASIcs。SOSA.2018.13标准·Zbl 1434.90124 [43] Rehfeldt，D.，Koch，T.：在最大权连通子图问题的精确算法中结合了NP-hard约简技术和强启发式。技术报告17-45，ZIB，Takustr。7，14195柏林（2017）·Zbl 1410.90130号 [44] Ricca，F。；Simeone，B.，《政治区划的局部搜索算法》，欧洲期刊Oper。Res.，189，3，1409-1426（2008）·Zbl 1146.91016号 ·doi:10.1016/j.ejor.2006.08.065 [45] Schmidt，M.、Aßmann，D.、Burrac，R.、Humpola，J.、Joormann，I.、Kanelakis，N.、Koch，T.、Oucherif，D.、Pfetsch，M.E.、Schewe，L.、Schwarz，R.和Sirvent，M.：天然气管网实例库Gaslib。数据2（4）（2017年）。doi:10.3390/数据2040040；http://www.mdpi.com/2306-5729/2/4/40 [46] Soltan，S.，Yannakakis，M.，Zussman，G.：《双平衡连通图划分》，第1939-1950页。工业和应用数学学会（2016）。doi:10.1137/1.9781611974782.126·Zbl 1410.05172号 [47] 斯坦利布（2001）。http://steinlib.zib.de/testset.php [48] Takeshi，S.，空间单元分配的邻接模型，Geogr。分析。，37, 1, 2-16 (2004) ·数字对象标识代码：10.1111/j.1538-4632.2005.00605.x [49] Vicente，S.、Kolmogorov，V.、Rother，C.：基于连通性先验的图切割图像分割。摘自：IEEE计算机视觉和模式识别会议，2008年（CVPR 2008），第1-8页。IEEE（2008）。doi:10.1109/CVPR.2008.4587440 [50] 王，Y。；布坎南，A。；Butenko，S.，《关于在整数程序中施加连接性约束》，数学。程序。，166, 1, 241-271 (2017) ·Zbl 1386.90023号 ·doi:10.1007/s10107-017-1117-8 [51] 威廉姆斯，JC；里维尔，CS；莱文，SA，《空间属性和保护区设计模型：综述》，环境。模型。评估。，10, 3, 163-181 (2005) ·doi:10.1007/s10666-005-9007-5 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。