Accuracy and Performance Evaluation of Quantum, Classical and Hybrid Solvers for the Max-Cut Problem

Jaka Vodeb,Vid Eržen,Timotej Hrga,Janez Povh
2024-12-10
Abstract:This paper investigates the performance of quantum, classical, and hybrid solvers on the NP-hard Max-Cut and QUBO problems, examining their solution quality relative to the global optima and their computational efficiency. We benchmark the new fast annealing D-Wave quantum processing unit (QPU) and D-Wave Hybrid solver against the state-of-the-art classical simulated annealing algorithm (SA) and Toshiba's simulated bifurcation machine (SBM). Our study leverages three datasets encompassing 139 instances of the Max-Cut problem with sizes ranging from 100 to 10,000 nodes. For instances below 251 nodes, global optima are known and reported, while for larger instances, we utilize the best-known solutions from the literature. Our findings reveal that for the smaller instances where the global optimum is known, the Hybrid solver and SA algorithm consistently achieve the global optimum, outperforming the QPU. For larger instances where global optima are unknown, we observe that the SBM and the slower variant of SA deliver competitive solution quality, while the Hybrid solver and the faster variant of SA performed noticeably worse. Although computing time varies due to differing underlying hardware, the Hybrid solver and the SBM demonstrate both efficient computation times, while for SA reduction in computation time can be achieved at the expense of solution quality.
Optimization and Control,Quantum Physics
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to evaluate the performance of quantum, classical, and hybrid solvers in solving NP - hard problems (Max - Cut and QUBO problems). Specifically, the paper focuses on the following points: 1. **Quality of solutions**: Compare how close the solutions found by different solvers are to the global optimal solution. 2. **Computational efficiency**: Evaluate the computation time of different solvers. The paper selected three datasets, which contain 139 Max - Cut problem instances with the number of nodes ranging from 100 to 10,000. For instances with the number of nodes less than 251, the global optimal solution is known; for larger instances, the best - known solutions reported in the literature are used. ### Main research content 1. **Benchmark tests**: - Use D - Wave's fast - annealing quantum processing unit (QPU) and hybrid solver (Hybrid solver). - Compare with the state - of - the - art classical simulated annealing algorithm (SA) and Toshiba's simulated bifurcation machine (SBM). 2. **Datasets**: - Contain 139 Max - Cut problem instances with the number of nodes ranging from 100 to 10,000. - The global optimal solution for small - scale instances (the number of nodes less than 251) is known. - For large - scale instances (the number of nodes greater than 251), the best - known solutions in the literature are used. 3. **Performance evaluation**: - For small - scale instances (with known global optimal solutions), the Hybrid solver and SA algorithm can usually find the global optimal solution, while the QPU performs poorly. - For large - scale instances (with unknown global optimal solutions), the SBM and the slower SA variant provide competitive solution quality, while the Hybrid solver and the faster SA variant perform poorly. 4. **Computation time**: - The Hybrid solver and SBM show efficient computation time. - The SA algorithm can improve the quality of solutions by reducing the computation time. ### Key formulas - **Objective function of the Max - Cut problem**: \[ \text{cut}(V_1, V_2)=\sum_{i \in V_1, j \in V_2} a_{ij}=\frac{1}{4} x^{T} L x \] where \(L\) is the Laplacian matrix of graph \(G\), defined as \(L = \text{Diag}(Ae)-A\), and \(e\) is a vector of all 1s. - **Objective function of the QUBO problem**: \[ \min x^{T} Q x \quad \text{s.t.} \quad x \in \{0, 1\}^{n} \] Through these studies, the paper hopes to answer whether quantum annealing can outperform classical algorithms in practical applications and provide valuable references for future research.