GPU accelerated variant of Schroeppel-Shamir's algorithm for solving the market split problem
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917393240948736 |
|---|---|
| author | Kempke, Nils-Christian Koch, Thorsten |
| author_facet | Kempke, Nils-Christian Koch, Thorsten |
| contents | The market split problem (MSP), introduced by Cornuejols and Dawande (1998), is a challenging binary optimization problem that performs poorly on state-of-the-art linear programming-based branch-and-cut solvers. We present a novel algorithm for solving the feasibility version of this problem, derived from Schroeppel-Shamir's algorithm for the one-dimensional subset sum problem. Our approach is based on exhaustively enumerating one-dimensional solutions of MSP and utilizing GPUs to evaluate candidate solutions across the entire problem. The resulting hybrid CPU-GPU implementation efficiently solves instances with up to 10 constraints and 90 variables. We demonstrate the algorithm's performance on benchmark problems, solving instances of size (9, 80) in less than fifteen minutes and (10, 90) in up to one day. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_05045 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | GPU accelerated variant of Schroeppel-Shamir's algorithm for solving the market split problem Kempke, Nils-Christian Koch, Thorsten Optimization and Control 90C27, 90-08 (Secondary), 90-04 (Secondary) The market split problem (MSP), introduced by Cornuejols and Dawande (1998), is a challenging binary optimization problem that performs poorly on state-of-the-art linear programming-based branch-and-cut solvers. We present a novel algorithm for solving the feasibility version of this problem, derived from Schroeppel-Shamir's algorithm for the one-dimensional subset sum problem. Our approach is based on exhaustively enumerating one-dimensional solutions of MSP and utilizing GPUs to evaluate candidate solutions across the entire problem. The resulting hybrid CPU-GPU implementation efficiently solves instances with up to 10 constraints and 90 variables. We demonstrate the algorithm's performance on benchmark problems, solving instances of size (9, 80) in less than fifteen minutes and (10, 90) in up to one day. |
| title | GPU accelerated variant of Schroeppel-Shamir's algorithm for solving the market split problem |
| topic | Optimization and Control 90C27, 90-08 (Secondary), 90-04 (Secondary) |
| url | https://arxiv.org/abs/2507.05045 |