投影切割平面的半定规划

Daniel Porumbel
{"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$的最快方法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
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$.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
A prony method variant which surpasses the Adaptive LMS filter in the output signal's representation of input TorchDA: A Python package for performing data assimilation with deep learning forward and transformation functions HOBOTAN: Efficient Higher Order Binary Optimization Solver with Tensor Networks and PyTorch MPAT: Modular Petri Net Assembly Toolkit Enabling MPI communication within Numba/LLVM JIT-compiled Python code using numba-mpi v1.0
×
引用
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