First-hand information for everyone
Linear program scientists have found that changing the way a problem is written can make a big difference for a class of solvers called primal–dual hybrid gradient (PDHG) methods. Unlike interior‑point solvers, which usually see little benefit from formulation changes, PDHG solvers – such as the open‑source PDLP – react strongly to how constraints are presented. The new work shows that a general recipe can absorb many constraints into the solver’s projection step. This reduces the number of dual variables and changes four key constants that control the algorithm’s restart, termination, distance, and sharpness.
When the authors applied this recipe to two widely studied problems – the quadratic unconstrained binary optimisation (QUBO) relaxation and the joint‑replenishment problem (JRP) – the reformulated solvers ran between 6.4 and 9.6 times faster on QUBO instances and between 6.1 and 28.9 times faster on JRP instances compared with a GPU LP solver that solves the original formulations. The reformulated solvers also required far fewer iterations: 1.7–4.3 times fewer on QUBO and 13.6–52.3 times fewer on JRP.
The QUBO speedups are illustrated in Table 4, which compares solve times for each instance size and shows the dramatic 6.1–9.6× acceleration that the reformulated solver gains over the GPU solver. The JRP speedups appear in Table 10, where the reformulated solver outperforms the GPU solver by factors of 6.1–28.9, demonstrating that absorbing constraints can also reduce the number of instances that time out.
| Gurobi | |||||||
|---|---|---|---|---|---|---|---|
| Edges | Instances | PRAQ | cuPDLPx | Max-flow | s | solved | cuPDLPx/PRAQ |
| 103–104 | 897 | 0.0054 | 0.052 | 0.0026 | 0.10 | 897 | 9.6 |
| 104–105 | 767 | 0.012 | 0.080 | 0.024 | 1.4 | 767 | 6.8 |
| 105–106 | 385 | 0.048 | 0.36 | 0.47 | 83 | 290 | 7.5 |
| 106–107 | 193 | 0.59 | 3.7 | 13.2 | — | 0 | 6.4 |
| 107–108 | 40 | 3.7 | 28.4 | 96.6 | — | 0 | 7.7 |
| cuPDLPx | Gurobi | ||||||
|---|---|---|---|---|---|---|---|
| x variables | Instances | PRIA | s | solved | s | solved | cuPDLPx/PRIA |
| 103–104 | 100 | 0.031 | 0.187 | 100 | 0.087 | 100 | 6.1 |
| 104–105 | 135 | 0.136 | 1.32 | 135 | 2.14 | 135 | 9.7 |
| 105–106 | 75 | 0.61 | 17.5 | 74 | 72.9 | 73 | 28.9 |
| 106–107 | 40 | 2.88 | 80.4 | 30 | — | 0 | 27.9 |
| 107–108 | 13 | 11.3 | 234 | 8 | — | 0 | 20.8 |
A caveat is that the benefit of removing dual variables can be offset when the absorbed constraints cause expensive projections. The authors note that for problems such as the JRP, the added projection cost can reduce the overall speedup.
These results suggest that careful reformulation is a powerful lever for PDHG‑based linear‑program solvers, offering substantial speedups that are not seen with interior‑point approaches.