Towards Solving Polynomial-Objective Integer Programming with Hypergraph Neural Networks
About
Complex real-world optimization problems often involve both discrete decisions and nonlinear relationships between variables. Many such problems can be modeled as polynomial-objective integer programs, encompassing cases with quadratic and higher-degree variable interactions. Nonlinearity makes them more challenging than their linear counterparts. In this paper, we propose a hypergraph neural network (HNN) based method to solve polynomial-objective integer programming (POIP). Besides presenting a high-degree-term-aware hypergraph representation to capture both high-degree information and variable-constraint interdependencies, we also propose a hypergraph neural network, which integrates convolution between variables and high-degree terms alongside convolution between variables and constraints, to predict solution values. Finally, a search process initialized from the predicted solutions is performed to further refine the results. Comprehensive experiments across a range of benchmarks demonstrate that our method consistently outperforms both existing learning-based approaches and state-of-the-art solvers, delivering superior solution quality with favorable efficiency. Note that our experiments involve both polynomial objectives and constraints, demonstrating our HNN's versatility for general POIP problems and highlighting its advancement over the existing literature.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| Polynomial-Objective Integer Programming | RandQCP 2k | Gap (%)0.31 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 5k | Gap (%)0.19 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 10k | Gap (%)0.14 | 26 | |
| Quadratic Multiple Knapsack Problem | QMKP 2k | Gap (%)0.07 | 26 | |
| Quadratic Multiple Knapsack Problem | QMKP 10k | Optimality Gap (%)0.03 | 26 | |
| Quadratic Multiple Knapsack Problem | QMKP 5k | Gap %0.03 | 26 | |
| Polynomial-Objective Integer Programming | RandQCP 1k | Gap (%)0.32 | 18 | |
| Quadratic Multiple Knapsack Problem | QMKP 1k | Optimality Gap (%)0.16 | 18 | |
| Polynomial-Objective Integer Programming | RandQCP Overall | Gap (%)0.26 | 10 | |
| Quadratic Multiple Knapsack Problem | QMKP | SGM (shift=1) Gap Percentage0.08 | 10 |