Adiabatic Quantum Computing for Solving the Weapon-Target Assignment Problem

Veit Stooß, Martin Ulmke, Felix Govaers

备注：: 6 pages, 9 figures

英文摘要：

Quantum computing promises significant improvements of computation capabilities in various fields such as machine learning and complex optimization problems. Recent technological advancements suggest that the adiabatic quantum computing ansatz may soon see practical applications. In this work, we adopt this computation paradigm to develop a quantum computation based solver of the well-known weapon target assignment problem, an NP-hard nonlinear integer programming optimization task. The feasibility of the presented model is demonstrated by numerical simulation of the adiabatic evolution of a system of quantum bits towards the optimal solution encoded in the model Hamiltonian. Over all, the described method is not limited to the context of weapon management but is, with slight modifications to the model Hamiltonian, applicable to worker-task allocation optimization in general.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Different Strategies for Optimization Using the Quantum Adiabatic Algorithm

We present the results of a numerical study, with 20 qubits, of the performance of the Quantum Adiabatic Algorithm on randomly generated instances of MAX 2-SAT with a unique assignment that maximizes the number of satisfied clauses. The probability of obtaining this assignment at the end of the quantum evolution measures the success of the algorithm. Here we report three strategies which consistently increase the success probability for the hardest instances in our ensemble: decreasing the overall evolution time, initializing the system in excited states, and adding a random local Hamiltonian …

2014-01-28quant-ph

A quantum-walk-inspired adiabatic algorithm for graph isomorphism

We present a 2-local quantum algorithm for graph isomorphism GI based on an adiabatic protocol. By exploiting continuous-time quantum-walks, we are able to avoid a mere diffusion over all possible configurations and to significantly reduce the dimensionality of the visited space. Within this restricted space, the graph isomorphism problem can be translated into the search of a satisfying assignment to a 2-SAT formula without resorting to perturbation gadgets or projective techniques. We present an analysis of the execution time of the algorithm on small instances of the graph isomorphism probl…

2014-01-07quant-ph

Quantum Computation by Adiabatic Evolution

We give a quantum algorithm for solving instances of the satisfiability problem, based on adiabatic evolution. The evolution of the quantum state is governed by a time-dependent Hamiltonian that interpolates between an initial Hamiltonian, whose ground state is easy to construct, and a final Hamiltonian, whose ground state encodes the satisfying assignment. To ensure that the system evolves to the desired final ground state, the evolution time must be big enough. The time required depends on the minimum energy difference between the two lowest states of the interpolating Hamiltonian. We are un…

2000-01-28quant-ph

Multiple Target Tracking and Filtering using Bayesian Diabatic Quantum Annealing

In this paper, we present a hybrid quantum/classical algorithm to solve an NP-hard combinatorial problem called the multiple target data association (MTDA) and tracking problem. We use diabatic quantum annealing (DQA) to enumerate the low energy, or high probability, feasible assignments, and we use a classical computer to find the Bayesian expected mean track estimate by summing over these assignments. We demonstrate our hybrid quantum/classical approach on a simple example. This may be the first demonstration of a Bayesian hybrid quantum-classical multiple target tracking filter. We contrast…

2022-09-01quant-ph

Quantum Adiabatic Algorithms, Small Gaps, and Different Paths

We construct a set of instances of 3SAT which are not solved efficiently using the simplest quantum adiabatic algorithm. These instances are obtained by picking random clauses all consistent with two disparate planted solutions and then penalizing one of them with a single additional clause. We argue that by randomly modifying the beginning Hamiltonian, one obtains (with substantial probability) an adiabatic path that removes this difficulty. This suggests that the quantum adiabatic algorithm should in general be run on each instance with many different random paths leading to the problem Hami…

2010-06-04cs.CCquant-ph

Classical and Quantum Annealing in the Median of Three Satisfiability

We determine the classical and quantum complexities of a specific ensemble of three-satisfiability problems with a unique satisfying assignment for up to N=100 and N=80 variables, respectively. In the classical limit we employ generalized ensemble techniques and measure the time that a Markovian Monte Carlo process spends in searching classical ground states. In the quantum limit we determine the maximum finite correlation length along a quantum adiabatic trajectory determined by the linear sweep of the adiabatic control parameter in the Hamiltonian composed of the problem Hamiltonian and the …

2011-03-18cond-mat.stat-mechcs.CCquant-ph

更多相关论文收起更多论文

QuCOOP：一种在量子退火机上求解复合与二值参数化问题的通用框架

QuCOOP: A Versatile Framework for Solving Composite and Binary-Parametrised Problems on Quantum Annealers

QuCOOP框架通过迭代局部QUBO近似，将量子退火扩展到复合二值参数化问题，在形状匹配和点集配准等任务上取得最先进结果。

2025-03-25quant-ph

量子视觉聚类

Quantum Vision Clustering

University of Arkansas（阿肯色大学）；Mississippi State University（密西西比州立大学）

本文提出首个面向绝热量子计算的视觉聚类形式，通过Ising模型表示分配优化问题，并在真实量子硬件上验证小规模可解性。

2025-02-17cs.CVquant-ph

Faster than Classical Quantum Algorithm for dense Formulas of Exact Satisfiability and Occupation Problems

We present an exact quantum algorithm for solving the Exact Satisfiability (XSAT) problem, which belongs to the important NP-complete complexity class. The algorithm is based on an intuitive approach that can be divided into two parts: First, the identification and efficient characterization of a restricted subspace that contains all the valid assignments of the XSAT; Second, a quantum search in such restricted subspace. The quantum algorithm can be used either to find a valid assignment (or to certify that no solution exists) or to count the total number of valid assignments. The query comple…

2016-08-29cs.DSquant-ph

Computational Bottlenecks of Quantum Annealing

A promising approach to solving hard binary optimisation problems is quantum adiabatic annealing (QA) in a transverse magnetic field. An instantaneous ground state --- initially a symmetric superposition of all possible assignments of $N$ qubits --- is closely tracked as it becomes more and more localised near the global minimum of the classical energy. Regions where the energy gap to excited states is small (e.g. at the phase transition) are the algorithm's bottlenecks. Here I show how for large problems the complexity becomes dominated by $O(\log N)$ bottlenecks inside the spin glass phase, …

2016-05-17cond-mat.dis-nnquant-ph