Semidefinite Relaxations for Max-Cut

M. Laurent
{"title":"Semidefinite Relaxations for Max-Cut","authors":"M. Laurent","doi":"10.1137/1.9780898718805.ch16","DOIUrl":null,"url":null,"abstract":"We compare several semideenite relaxations for the cut polytope obtained by applying the lift and project methods of Lovv asz and Schrijver and of Lasserre. We show that the tightest relaxation is obtained when aplying the Lasserre construction to the node formulation of the max-cut problem. This relaxation Q t (G) can be deened as the projection on the edge subspace of the set F t (n), which consists of the matrices indexed by all subsets of 1; n] of cardinality t + 1 with the same parity as t + 1 and having the property that their (I; J)-th entry depends only on the symmetric diierence of the sets I and J. The set F 0 (n) is the basic semideenite relaxation of max-cut consisting of the semideenite matrices of order n with an all ones diagonal, while F n?2 (n) is the 2 n?1-dimensional simplex with the cut matrices as vertices. We show the following geometric properties: If Y 2 F t (n) has rank t + 1, then Y can be written as a convex combination of at most 2 t cut matrices, extending a result of Anjos and Wolkowicz for the case t = 1; any 2 t+1 cut matrices form a face of F t (n) for t = 0; 1; n ? 2. The class L t of the graphs G for which Q t (G) is the cut polytope of G is shown to be closed under taking minors. The graph K 7 is a forbidden minor for membership in L 2 , while K 3 and K 5 are the only minimal forbidden minors for the classes L 0 and L 1 , respectively.","PeriodicalId":416196,"journal":{"name":"The Sharpest Cut","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"29","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Sharpest Cut","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1137/1.9780898718805.ch16","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 29

Abstract

We compare several semideenite relaxations for the cut polytope obtained by applying the lift and project methods of Lovv asz and Schrijver and of Lasserre. We show that the tightest relaxation is obtained when aplying the Lasserre construction to the node formulation of the max-cut problem. This relaxation Q t (G) can be deened as the projection on the edge subspace of the set F t (n), which consists of the matrices indexed by all subsets of 1; n] of cardinality t + 1 with the same parity as t + 1 and having the property that their (I; J)-th entry depends only on the symmetric diierence of the sets I and J. The set F 0 (n) is the basic semideenite relaxation of max-cut consisting of the semideenite matrices of order n with an all ones diagonal, while F n?2 (n) is the 2 n?1-dimensional simplex with the cut matrices as vertices. We show the following geometric properties: If Y 2 F t (n) has rank t + 1, then Y can be written as a convex combination of at most 2 t cut matrices, extending a result of Anjos and Wolkowicz for the case t = 1; any 2 t+1 cut matrices form a face of F t (n) for t = 0; 1; n ? 2. The class L t of the graphs G for which Q t (G) is the cut polytope of G is shown to be closed under taking minors. The graph K 7 is a forbidden minor for membership in L 2 , while K 3 and K 5 are the only minimal forbidden minors for the classes L 0 and L 1 , respectively.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Max-Cut的半定松弛
我们比较了用Lovv asz和Schrijver以及Lasserre的提升和投影方法得到的切割多晶体的几种半长晶石弛豫。我们证明了将Lasserre构造应用于最大切割问题的节点公式时获得了最紧的松弛。这个松弛Q t (G)可以理解为集合F t (n)在边缘子空间上的投影,该集合由所有1的子集所索引的矩阵组成;n]与t + 1的奇偶性相同,并且具有它们的(I;集合f0 (n)是最大切的基本半恒量松弛,由n阶半恒量矩阵组成,对角线为全一,而F n?2 (n)等于2n ?以切割矩阵为顶点的一维单纯形。我们证明了以下几何性质:如果Y 2 F t (n)的秩为t + 1,则Y可以写成最多2个t切矩阵的凸组合,推广了Anjos和Wolkowicz在t = 1情况下的结果;当t = 0时,任意2个t+1切割矩阵形成F t (n)的面;1;n ?2. 图G的一类L t,其中Q t (G)是G的切多面体,证明了该类L t在取余子下是闭的。图k7是l2中成员的禁止子图,而k3和k5分别是l0和l1类的唯一最小禁止子图。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Protein Folding on Lattices: An Integer Programming Approach Relaxing Perfectness: Which Graphs Are "Almost" Perfect? On the Expansion of Graphs of 0/1-Polytopes Typical and Extremal Linear Programs Graph Drawing: Exact Optimization Helps!
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1