×

整数规划公式和Benders分解用于最大诱导匹配问题。 (英语) Zbl 1528.90153号

摘要:我们研究了最大诱导匹配问题(MIM),即在无向图上寻找具有最大基数的诱导匹配的问题。这个问题对于一般图来说是NP-hard。我们首先提出了一种用于MIM的基于顶点的整数规划公式,与文献中发现的基于边缘的公式相比,该公式更紧凑。我们还引入了最大权重诱导匹配问题(MWIM),该问题推广了MIM,使得顶点和边都具有权重。我们将基于边缘的公式应用于MWIM,并基于我们的基于顶点的公式提出了MWIM的二次规划公式。然后,我们将二次规划公式线性化,并设计一种利用线性化公式的特殊结构的Benders分解算法。我们还提出有效的不平等和公式收紧程序,以提高我们方法的效率。我们对大量随机生成图的计算测试表明,基于顶点的公式化和分解方法显著提高了MIM和MWIM的可解性,尤其是在稠密图上。
在线附录和数据可在https://doi.org/10.1287/ijoc.2017.0764.

MSC公司:

90立方厘米 整数编程
90立方厘米 涉及图形或网络的编程
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)

软件:

柠檬
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Balakrishnan H,Barrett CL,Kumar VA,Marathe MV,Thite S(2004)距离2匹配问题及其与自组织无线网络MAC层容量的关系。IEEE J.选定区域通信。22(6):1069-1079。Crossref,谷歌学者·doi:10.1109/JSAC.2004.830909
[2] Bodur M,Ekim T,Taşkın ZC(2013)用于解决最小权重最大匹配问题的分解算法。网络62(4):273-287.Crossref,谷歌学者·Zbl 1338.05212号 ·数字对象标识代码:10.1002/net.21516
[3] Cameron K(1989)诱导匹配。离散应用程序。数学。24(1):97-102.Crossref,谷歌学者·Zbl 0687.05033号 ·doi:10.1016/0166-218X(92)90275-F
[4] Cameron K,Sritharan R,Tang Y(2003)在弱弦图中寻找最大诱导匹配。离散数学。266(1):133-142.Crossref,谷歌学者·Zbl 1022.05064号 ·doi:10.1016/S0012-365X(02)00803-8
[5] Chang MS,Chen LH,Hung LJ(2015)最大诱导匹配问题的适度指数时间算法。最佳方案。莱特。9(5):981-998.Crossref,谷歌学者·Zbl 1327.90350号 ·doi:10.1007/s11590-014-0813-z
[6] Christou IT,Vassilaras S(2013)最大距离-2匹配问题的并行混合贪婪分支定界方案。计算。操作。物件。40(10):2387-2397。交叉引用,谷歌学者·Zbl 1348.90592号 ·doi:10.1016/j.cor.2013.04.009
[7] Dabrowski KK,Demange M,Lozin VV(2013)二部图及其后最大诱导匹配的新结果。西奥。计算。科学。478:33-40.谷歌学者Crossref·Zbl 1267.68118号 ·doi:10.1016/j.tcs.2013.01.027文件
[8] DezsöB,Jüttner A,Kovács P(2011)LEMON-A开源C++图形模板库。电子票据理论。计算。科学。264(5):23-45.Crossref,谷歌学者·doi:10.1016/j.entcs.2011.06.003
[9] Duckworth W,Manlove DF,Zito M(2005)关于最大诱导匹配问题的逼近性。J.离散算法3(1):79-91.Crossref,谷歌学者·兹比尔1075.68063 ·doi:10.1016/j.jda.2004.05.001
[10] Duckworth W,Wormald N,Zito M(2002)随机三次图的最大诱导匹配。J.计算。申请。数学。142(1):39-50.谷歌学者克罗斯里·Zbl 1001.05093号 ·doi:10.1016/S0377-0427(01)00457-5
[11] Edmonds J(1965)《小径、树木和花朵》。加拿大数学杂志。17(3):449-467.Crossref,谷歌学者·兹宝l 0132.20903 ·doi:10.4153/CJM-1965-045-4
[12] Fricke G,Laskar R(1992)树上的强匹配。数值国会89:239-243.谷歌学者·Zbl 0786.05065号
[13] Golumbic MC,Laskar RC(1993),圆弧图中的无冗余性。离散应用程序。数学。44(1):79-89。Crossref,谷歌学者·Zbl 0783.05059号 ·doi:10.1016/0166-218X(93)90223-B
[14] Moser H,Sikdar S(2009)诱导匹配问题的参数化复杂性。离散应用程序。数学。157(4):715-727.Crossref,谷歌学者·Zbl 1172.05350号 ·doi:10.1016/j.dam.2008.07.011
[15] Orlovich Y,Finke G,Gordon V,Zverovich I(2008)最大和最小诱导匹配问题的近似结果。离散优化。5(3):584-593.Crossref,谷歌学者·Zbl 1140.90479号 ·doi:10.1016/j.disopt.2007.11.010
[16] Stockmeyer L,Vazirani V(1982)最大匹配问题某些推广的NP-完备性。通知。处理Lett。15(1):14-19.Crossref,谷歌学者·Zbl 0493.68039号 ·doi:10.1016/0020-0190(82)90077-1
[17] Taškín ZC,Cevik M(2013)《使用矩形光阑分解IMRT通量图的组合Benders切割》。计算。操作。物件。40(9):2178-2186.谷歌学者交叉引用·Zbl 1348.90495号 ·doi:10.1016/j.cor.2011.07.005
[18] 瓦西拉拉斯S·doi:10.1109/PIMRC.2011.6140071
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。