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:
::
:is minimized.
Usually weight and distance functions are viewed as square real-valued
matrices, so that the cost function is written down as:
:
In matrix notation:
:
where
is the set of
permutation matrices,
is the weight matrix and
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