{"title":"投影切割平面的半定规划","authors":"Daniel Porumbel","doi":"arxiv-2311.09365","DOIUrl":null,"url":null,"abstract":"Seeking tighter relaxations of combinatorial optimization problems,\nsemidefinite programming is a generalization of linear programming that offers\nbetter bounds and is still polynomially solvable. Yet, in practice, a\nsemidefinite program is still significantly harder to solve than a similar-size\nLinear Program (LP). It is well-known that a semidefinite program can be\nwritten as an LP with infinitely-many cuts that could be solved by repeated\nseparation in a Cutting-Planes scheme; this approach is likely to end up in\nfailure. We proposed in [Projective Cutting-Planes, Daniel Porumbel, Siam\nJournal on Optimization, 2020] the Projective Cutting-Planes method that\nupgrades t he well-known separation sub-problem to the projection sub-problem:\ngiven a feasible $y$ inside a polytope $P$ and a direction $d$, find the\nmaximum $t^*$ so that $y+t^*d\\in P$. Using this new sub-problem, one can\ngenerate a sequence of both inner and outer solutions that converge to the\noptimum over $P$. This paper shows that the projection sub-problem can be\nsolved very efficiently in a semidefinite programming context, enabling the\nresulting method to compete very well with state-of-the-art semidefinite\noptimization software (refined over decades). Results suggest it may the\nfastest method for matrix sizes larger than $2000\\times 2000$.","PeriodicalId":501256,"journal":{"name":"arXiv - CS - Mathematical Software","volume":"15 3","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Semidefinite Programming by Projective Cutting Planes\",\"authors\":\"Daniel Porumbel\",\"doi\":\"arxiv-2311.09365\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Seeking tighter relaxations of combinatorial optimization problems,\\nsemidefinite programming is a generalization of linear programming that offers\\nbetter bounds and is still polynomially solvable. Yet, in practice, a\\nsemidefinite program is still significantly harder to solve than a similar-size\\nLinear Program (LP). It is well-known that a semidefinite program can be\\nwritten as an LP with infinitely-many cuts that could be solved by repeated\\nseparation in a Cutting-Planes scheme; this approach is likely to end up in\\nfailure. We proposed in [Projective Cutting-Planes, Daniel Porumbel, Siam\\nJournal on Optimization, 2020] the Projective Cutting-Planes method that\\nupgrades t he well-known separation sub-problem to the projection sub-problem:\\ngiven a feasible $y$ inside a polytope $P$ and a direction $d$, find the\\nmaximum $t^*$ so that $y+t^*d\\\\in P$. Using this new sub-problem, one can\\ngenerate a sequence of both inner and outer solutions that converge to the\\noptimum over $P$. This paper shows that the projection sub-problem can be\\nsolved very efficiently in a semidefinite programming context, enabling the\\nresulting method to compete very well with state-of-the-art semidefinite\\noptimization software (refined over decades). Results suggest it may the\\nfastest method for matrix sizes larger than $2000\\\\times 2000$.\",\"PeriodicalId\":501256,\"journal\":{\"name\":\"arXiv - CS - Mathematical Software\",\"volume\":\"15 3\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-11-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Mathematical Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2311.09365\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Mathematical Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2311.09365","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
寻求组合优化问题的更紧密松弛,半定规划是线性规划的推广,它提供了更好的边界,并且仍然是多项式可解的。然而,在实践中,半确定程序仍然比类似规模的线性程序(LP)更难求解。众所周知,半定规划可以写成具有无限多个切口的LP,该LP可以通过切割平面格式中的重复分离来求解;这种方法很可能以失败告终。我们在[射影切割-平面,Daniel Porumbel, SiamJournal on Optimization, 2020]中提出了将分离子问题升级为投影子问题的射影切割-平面方法:给定多面体$P$内的可行$y$和方向$d$,找到最大$t^*$,使得$y+t^*d\在P$中。利用这个新的子问题,我们可以得到一个内外解的序列,它们收敛于P$上的最优解。本文表明,在半确定规划环境中,投影子问题可以非常有效地解决,使所得到的方法能够与最先进的半确定优化软件(经过几十年的改进)竞争。结果表明,它可能是矩阵大小大于$2000 × 2000$的最快方法。
Semidefinite Programming by Projective Cutting Planes
Seeking tighter relaxations of combinatorial optimization problems,
semidefinite programming is a generalization of linear programming that offers
better bounds and is still polynomially solvable. Yet, in practice, a
semidefinite program is still significantly harder to solve than a similar-size
Linear Program (LP). It is well-known that a semidefinite program can be
written as an LP with infinitely-many cuts that could be solved by repeated
separation in a Cutting-Planes scheme; this approach is likely to end up in
failure. We proposed in [Projective Cutting-Planes, Daniel Porumbel, Siam
Journal on Optimization, 2020] the Projective Cutting-Planes method that
upgrades t he well-known separation sub-problem to the projection sub-problem:
given a feasible $y$ inside a polytope $P$ and a direction $d$, find the
maximum $t^*$ so that $y+t^*d\in P$. Using this new sub-problem, one can
generate a sequence of both inner and outer solutions that converge to the
optimum over $P$. This paper shows that the projection sub-problem can be
solved very efficiently in a semidefinite programming context, enabling the
resulting method to compete very well with state-of-the-art semidefinite
optimization software (refined over decades). Results suggest it may the
fastest method for matrix sizes larger than $2000\times 2000$.