arXiv:2502.02446v1 通知类型: 新 摘要: 最近，消息传递图神经网络（MPNNs）因能够捕捉变量-约束交互作用而在组合优化和连续优化问题中显示出潜力。虽然现有的方法利用MPNNs来近似解决方案或作为传统求解器的预热，它们在凸优化设置中往往缺乏可行性保证。在这里，我们提出了一个具有可证明的可行性保证的迭代MPNN框架来解决凸优化问题。首先，我们证明MPNNs可以可证明地模拟解决具有线性约束的二次问题的标准内部点方法，涵盖如支持向量机（SVMs）的相关问题。其次，为了确保可行性，我们引入了一种变体，该变体从可行点开始，并且迭代地限制在可行区域内进行搜索。实验结果表明，我们的方法在解决方案质量与可行性的表现上优于现有的神经基线方法，在一些情况下即使面对之前未见过的问题规模，也能很好地泛化，并且在某些情况下，求解速度超过了最先进的求解器Gurobi。