arXiv:2502.02446v1 宣布类型: 新颖 摘要: 近期，消息传递图神经网络（MPNNs）因其捕捉变量约束交互的能力，在解决组合优化和连续优化问题方面展示了潜力。虽然现有的方法利用MPNNs来近似解决方案或作为传统求解器的预热器，但在凸优化设置中，它们经常缺乏可行性保证。在这里，我们提出了一种迭代MPNN框架，以具有可证明的可行性保证来解决凸优化问题。首先，我们证明MPNNs可以证明地模拟标准的内部点方法，用于求解具有线性约束的二次问题，涵盖了诸如SVMs的相关问题。其次，为了确保可行性，我们引入了一种从可行点开始的变体，并在可行区域内逐步限制搜索。实验结果表明，我们的方法在解决方案质量和可行性方面优于现有的神经基线模型，在某些情况下，还比最先进的求解器（如Gurobi）实现了更快的求解时间，并且能很好地泛化到未见过的问题规模。