×

关于Lovászθ函数和一些变体。 (英语) Zbl 1387.90181号

摘要:图的Lovászθ函数是稳定数的一个著名上界。通过求解半定规划(SDP)可以有效地计算它。实际上,一个人可以解决两个SDP中的任何一个,一个是因为[L.洛瓦兹,IEEE传输。Inf.理论25,1-7(1979;兹伯利03959.4021)]另一个去[M.Grötschel先生等人,《几何算法与组合优化》。柏林等:Springer-Verlag(1988;Zbl 0634.05001号)]. 前一个SDP通常被认为在计算上更可取,因为它具有较少的变量和约束。我们在这两个等价SDP上得到了一些新的结果。令人惊讶的结果是,如果我们通过聚合约束来削弱SDP,或者通过添加切割平面来加强SDP,那么等效性就会失效。特别是,Grötschel等人的方案[loc.cit.]通常产生比Lovász方案更强的界限。

MSC公司:

90C22型 半定规划
05C69号 具有特殊属性的顶点子集(支配集、独立集、团等)
05C85号 图形算法(图形理论方面)
90立方厘米 涉及图形或网络的编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Hástad,J.,《数学学报》。,182, 105-142 (1999) ·Zbl 0989.68060号
[2] Lovász,L.,关于图的Shannon容量,IEEE Trans。通知。理论,25,1-7(1979)·Zbl 0395.94021号
[3] M.Grötschel。;Lovász,L。;Schrijver,A.J.,组合优化中的椭球方法及其后果,组合数学,1169-197(1981)·Zbl 0492.90056号
[4] Feige,美国。;Kilian,J.,《零知识与色数》,J.Compute。系统科学。,57, 187-199 (1998) ·Zbl 0921.68089号
[5] Grötschel先生。;Lovász,L。;Schrijver,A.J.,《几何算法和组合优化》(1988),威利出版社:威利纽约·Zbl 0634.05001号
[6] Lovász,L。;Schrijver,A.J.,矩阵和集合函数的Cones和0-1优化,SIAM J.Optim。,1, 166-190 (1991) ·Zbl 0754.90039号
[7] Gruber,G。;Rendl,F.,稳定集松弛的计算经验,SIAM J.Optim。,13, 1014-1028 (2003) ·Zbl 1049.90075号
[8] Yildirim,E.A。;Fan-Orzechowski,X.,关于使用Lovász的theta函数提取完美图中的最大稳定集,Compute。最佳方案。申请。,33, 229-247 (2006) ·Zbl 1103.90075号
[9] 杜卡诺维奇,I。;Rendl,F.,图着色和最大团问题的半定规划松弛,数学。程序。,109345-365(2007年)·Zbl 1278.90299号
[10] 詹多梅尼科,M。;Letchford,A.N.,《探索最大割与稳定集松弛之间的关系》,数学。程序。,106, 159-175 (2006) ·Zbl 1134.90519号
[11] Schrijver,A.J.,Delsarte和Lovász边界的比较,IEEE Trans。通知。理论,IT-25,425-429(1979)·Zbl 0444.94009号
[12] Lieder,F。;半径,F。;Jarre,F.,二元问题的统一半定和集正松弛与随机化技术,计算。最佳方案。申请。,61, 669-688 (2015) ·Zbl 1346.90603号
[13] Padberg,M.W.,《集合封装多面体的面结构》,数学。程序。,5, 199-215 (1973) ·Zbl 0272.90041号
[14] Borndörfer,R.,《集合打包、分区和覆盖方面》(1998),柏林技术大学,(博士论文)
[15] 巴拉斯,E。;Ceria,S。;科努约尔,G。;Pataki,G.,最大团问题的多面体方法,(Johnson,D.S.;Trick,M.A.,团、着色和可满足性:第二个DIMACS实现挑战(1996),美国数学学会:美国数学学会普罗维登斯,RI)·Zbl 0864.90115号
[16] Burer,S。;Vandenbussche,D.,求解二元整数规划的提升和项目松弛,SIAM J.Optim。,16, 726-750 (2006) ·Zbl 1113.90100号
[17] 詹多梅尼科,M。;Letchford,A.N。;罗西,F。;Smriglio,S.,Lovász-Schrijver算子在稳定集问题中的应用,数学。程序。,120, 381-401 (2009) ·Zbl 1176.90494号
[18] 詹多梅尼科,M。;罗西,F。;Smriglio,S.,稳定集问题的强大提升和投影切割平面,数学。程序。,141, 165-192 (2013) ·Zbl 1280.90087号
[19] 纳姆豪泽,G.L。;Sigismondi,G.,用于节点封装的强大切割平面/分支边界算法,J.Oper。Res.Soc.日本,43,443-457(1992)·Zbl 0756.90067号
[20] Rebennack,S。;奥斯瓦尔德,M。;蒂斯·D·O。;Seitz,H。;Reinelt,G。;Pardalos,P.M.,最大稳定集问题的分支与切割求解器,J.Comb。最佳。,21, 434-457 (2011) ·Zbl 1319.90079号
[21] 罗西,F。;Smriglio,S.,最大基数稳定集问题的分支切割算法,Oper。Res.Lett.公司。,28, 63-74 (2001) ·Zbl 1054.90098号
[22] Laurent,M.,《0-1编程中Sherali-Adams、Lovász-Schrijver和Lasserre松弛的比较》,数学。操作。Res.,28,470-496(2001)·邮编1082.90084
[23] Padberg,M.W.,《布尔二次多面体:一些特征、面和相关关系》,数学。程序。,45, 139-172 (1989) ·Zbl 0675.90056号
[24] Deza,M.M。;Laurent,M.,《切割与度量几何》(1997),施普林格出版社:施普林格出版社,柏林·Zbl 0885.52001号
[25] 埃尔德斯,P。;Rényi,A.,关于随机图,Publ。材料,6290-297(1959)·Zbl 0092.15705号
[26] Borchers,B.,CSDP,半定编程的C库,Optim。方法软件。,11, 613-623 (1999) ·Zbl 0973.90524号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。