{"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.
我们比较了用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类的唯一最小禁止子图。