On Representing Convex Quadratically Constrained Quadratic Programs via Graph Neural Networks
About
Convex quadratically constrained quadratic programs (QCQPs) involve finding a solution within a convex feasible region defined by quadratic constraints while minimizing a convex quadratic objective function. These problems arise in various industrial applications, including power systems and signal processing. Traditional methods for solving convex QCQPs primarily rely on matrix factorization, which quickly becomes computationally prohibitive as the problem size increases. Recently, graph neural networks (GNNs) have gained attention for their potential in representing and solving various optimization problems such as linear programs and linearly constrained quadratic programs. In this work, we investigate the representation power of GNNs in the context of QCQP tasks. Specifically, we propose a new tripartite graph representation for general convex QCQPs and properly associate it with message-passing GNNs. We demonstrate that there exist GNNs capable of reliably representing key properties of convex QCQPs, including feasibility, optimal value, and optimal solution. Our result deepens the understanding of the connection between QCQPs and GNNs, paving the way for future machine learning approaches to efficiently solve QCQPs.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Quadratic Multiple Knapsack Problem | QMKP 5k | Gap %0.03 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 5k | Gap (%)0.27 | 26 | |
| Quadratic Multiple Knapsack Problem | QMKP 10k | Optimality Gap (%)0.04 | 26 | |
| Quadratic Multiple Knapsack Problem | QMKP 2k | Gap (%)0.09 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 10k | Gap (%)0.23 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 2k | Gap (%)0.45 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 1k | Gap (%)0.55 | 18 | |
| Quadratic Multiple Knapsack Problem | QMKP 1k | Optimality Gap (%)0.43 | 18 | |
| Quadratic Multiple Knapsack Problem | QMKP | SGM (shift=1) Gap Percentage0.12 | 10 | |
| Quadratic Multiple Knapsack Problem | QMKP Overall | Gap (%)0.13 | 10 |