Quadratic Assignment Problem
   HOME

TheInfoList



OR:

The quadratic assignment problem (QAP) is one of the fundamental combinatorial optimization problems in the branch of optimization or operations research in
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, from the category of the facilities location problems first introduced by Koopmans and Beckmann. The problem models the following real-life problem: :There are a set of ''n'' facilities and a set of ''n'' locations. For each pair of locations, a ''distance'' is specified and for each pair of facilities a ''weight'' or ''flow'' is specified (e.g., the amount of supplies transported between the two facilities). The problem is to assign all facilities to different locations with the goal of minimizing the sum of the distances multiplied by the corresponding flows. Intuitively, the cost function encourages facilities with high flows between each other to be placed close together. The problem statement resembles that of the assignment problem, except that the cost function is expressed in terms of quadratic inequalities, hence the name.


Formal mathematical definition

The formal definition of the quadratic assignment problem is as follows: :Given two sets, ''P'' ("facilities") and ''L'' ("locations"), of equal size, together with a weight function ''w'' : ''P'' × ''P'' → R and a distance function ''d'' : ''L'' × ''L'' → R. Find the
bijection In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is a function between the elements of two sets, where each element of one set is paired with exactly one element of the other s ...
''f'' : ''P'' → ''L'' ("assignment") such that the cost function: ::\sum_w(a,b)\cdot d(f(a), f(b)) :is minimized. Usually weight and distance functions are viewed as square real-valued matrices, so that the cost function is written down as: :\sum_w_d_ In matrix notation: :\min_ \operatorname(WXDX^T) where \Pi_n is the set of n \times n permutation matrices, W is the weight matrix and D is the distance matrix.


Computational complexity

The problem is
NP-hard In computational complexity theory, NP-hardness ( non-deterministic polynomial-time hardness) is the defining property of a class of problems that are informally "at least as hard as the hardest problems in NP". A simple example of an NP-hard pr ...
, so there is no known algorithm for solving this problem in polynomial time, and even small instances may require long computation time. It was also proven that the problem does not have an approximation algorithm running in polynomial time for any (constant) factor, unless P = NP. The travelling salesman problem (TSP) may be seen as a special case of QAP if one assumes that the flows connect all facilities only along a single ring, all flows have the same non-zero (constant) value and all distances are equal to the respective distances of the TSP instance. Many other problems of standard combinatorial optimization problems may be written in this form.


Applications

In addition to the original plant location formulation, QAP is a mathematical model for the problem of placement of interconnected
electronic component An electronic component is any basic discrete device or physical entity in an electronic system used to affect electrons or their associated fields. Electronic components are mostly industrial products, available in a singular form and are not ...
s onto a
printed circuit board A printed circuit board (PCB; also printed wiring board or PWB) is a medium used in Electrical engineering, electrical and electronic engineering to connect electronic components to one another in a controlled manner. It takes the form of a L ...
or on a microchip, which is part of the place and route stage of
computer aided design Computer-aided design (CAD) is the use of computers (or ) to aid in the creation, modification, analysis, or optimization of a design. This software is used to increase the productivity of the designer, improve the quality of design, improve co ...
in the electronics industry.


See also

* Quadratic bottleneck assignment problem


References

;Notes ;Sources * {{cite book, author =
Michael R. Garey Michael Randolph Garey (born November 19, 1945) is a computer science researcher, and co-author (with David S. Johnson) of '' Computers and Intractability: A Guide to the Theory of NP-completeness''. He and Johnson received the 1979 Frederick W. ...
and David S. Johnson , year = 1979 , title = Computers and Intractability: A Guide to the Theory of NP-Completeness , publisher = W.H. Freeman , isbn = 0-7167-1045-5, title-link = Computers and Intractability: A Guide to the Theory of NP-Completeness A2.5: ND43, pg.218.


External links

* https://www.opt.math.tugraz.at/qaplib/ QAPLIB - A Quadratic Assignment Problem Library * http://www.wiomax.com/team/xie/maos-qap-quadratic-assignment-problem-project-portal/ MAOS-QAP - Java-based Quadratic Assignment Problem Solver * https://CRAN.R-project.org/package=qap - R package qap: Heuristics for the Quadratic Assignment Problem * https://apps.microsoft.com/store/detail/qapsolver/9N7WMCFB6NZZ - Metaheuristic QAP solver for Windows 10/11 NP-hard problems Combinatorial optimization