Hybrid Classical–Quantum Branch-and-Bound Algorithm for Solving Integer Linear Problems

Claudio Sanavio,Edoardo Tignone,Elisa Ercolessi
DOI: https://doi.org/10.3390/e26040345
IF: 2.738
2024-04-20
Entropy
Abstract:Quantum annealers are suited to solve several logistic optimization problems expressed in the QUBO formulation. However, the solutions proposed by the quantum annealers are generally not optimal, as thermal noise and other disturbing effects arise when the number of qubits involved in the calculation is too large. In order to deal with this issue, we propose the use of the classical branch-and-bound algorithm, that divides the problem into sub-problems which are described by a lower number of qubits. We analyze the performance of this method on two problems, the knapsack problem and the traveling salesman problem. Our results show the advantages of this method, that balances the number of steps that the algorithm has to make with the amount of error in the solution found by the quantum hardware that the user is willing to risk. The results are obtained using the commercially available quantum hardware D-Wave Advantage, and they outline the strategy for a practical application of the quantum annealers.
physics, multidisciplinary
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to effectively utilize quantum annealers, especially the D - Wave Advantage quantum computer, to improve the solving efficiency and accuracy when solving integer linear programming problems. Specifically, the paper focuses on: 1. **Limitations of quantum annealers**: When dealing with large - scale problems, quantum annealers are often unable to find the global optimal solution due to the influence of thermal noise and other interfering factors. Therefore, the effect of directly using quantum annealers to solve complex problems is not good. 2. **Combination with the classical branch - and - bound algorithm**: In order to overcome the above limitations, the paper proposes a hybrid classical - quantum branch - and - bound algorithm. This method decomposes the original problem into multiple sub - problems, and each sub - problem contains fewer variables (that is, fewer qubits), so that the quantum annealer can more effectively find approximate optimal solutions on these smaller sub - problems. 3. **Application examples**: The paper verifies the effectiveness of the proposed hybrid algorithm through two specific combinatorial optimization problems - the knapsack problem and the traveling salesman problem. The experimental results show that this hybrid method can significantly reduce the required calculation steps while ensuring the quality of the solution, thereby increasing the solving speed. ### Main contributions - **Design of the hybrid algorithm**: A method that combines the classical branch - and - bound algorithm with the quantum annealer is proposed, which can effectively solve large - scale integer linear programming problems. - **Performance analysis**: Through experiments on the knapsack problem and the traveling salesman problem, the advantages of this hybrid algorithm in practical applications are demonstrated, especially in balancing the quality of the solution and computational efficiency. - **Theoretical basis**: It is introduced in detail how to transform integer linear programming problems into quadratic unconstrained binary optimization (QUBO) problems and further map them onto the Ising model of the quantum annealer. ### Conclusion The paper verifies the effectiveness of the hybrid classical - quantum branch - and - bound algorithm through experiments, especially when dealing with large - scale combinatorial optimization problems, it can significantly improve the solving efficiency and the quality of the solution. This method provides new ideas and directions for the practical application of future quantum computing technology.