Abstract:The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems.

QuACS: Variational Quantum Algorithm for Coalition Structure Generation in Induced Subgraph Games

Towards Less Greedy Quantum Coalition Structure Generation in Induced Subgraph Games

Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites

A Competitive Showcase of Quantum versus Classical Algorithms in Energy Coalition Formation

Progressive Quantum Algorithm for Maximum Independent Set with Quantum Alternating Operator Ansatz

A Novel Quantum Algorithm for Ant Colony Optimization

On the Complexity and Algorithms of Coalition Structure Generation in Overlapping Coalition Formation Games

Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms

Quantum Approximate Optimization Algorithm with Cat Qubits

A practical applicable quantum-classical hybrid ant colony algorithm for the NISQ era

Hybrid Classical-Quantum Simulation of MaxCut using QAOA-in-QAOA

An Analysis of Quantum Annealing Algorithms for Solving the Maximum Clique Problem

Local to Global: A Distributed Quantum Approximate Optimization Algorithm for Pseudo-Boolean Optimization Problems

Solving Quadratic Unconstrained Binary Optimization with divide-and-conquer and quantum algorithms

MLQAOA: Graph Learning Accelerated Hybrid Quantum-Classical Multilevel QAOA

Hybrid Quantum-Classical Multilevel Approach for Maximum Cuts on Graphs

Solving boolean satisfiability problems with the quantum approximate optimization algorithm

Graph-controlled Permutation Mixers in QAOA for the Flexible Job-Shop Problem

Quantum Information-Assisted Complete Active Space Optimization (QICAS)

A hybrid algorithm for quadratically constrained quadratic optimization problems

Hamiltonian-based Quantum Reinforcement Learning for Neural Combinatorial Optimization