In
graph theory
In mathematics, graph theory is the study of '' graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conn ...
, the graph bandwidth problem is to label the
vertices of a
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
with distinct
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s so that the quantity
is minimized ( is the edge set of ).
The problem may be visualized as placing the vertices of a graph at distinct integer points along the ''x''-axis so that the length of the longest edge is minimized. Such placement is called linear graph arrangement, linear graph layout or linear graph placement.
[
The weighted graph bandwidth problem is a ]generalization
A generalization is a form of abstraction whereby common properties of specific instances are formulated as general concepts or claims. Generalizations posit the existence of a domain or set of elements, as well as one or more common character ...
wherein the edges are assigned weights and the cost function to be minimized is .
In terms of matrices, the (unweighted) graph bandwidth is the minimal bandwidth of a symmetric matrix
In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,
Because equal matrices have equal dimensions, only square matrices can be symmetric.
The entries of a symmetric matrix are symmetric with ...
which is an adjacency matrix
In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph. The elements of the matrix indicate whether pairs of vertices are adjacent or not in the graph.
In the special case of a finite simple ...
of the graph.
The bandwidth may also be defined as one less than the maximum clique size in a proper interval supergraph of the given graph, chosen to minimize its clique size .
Bandwidth formulas for some graphs
For several families of graphs, the bandwidth is given by an explicit formula.
The bandwidth of a path graph
In the mathematical field of graph theory, a path graph or linear graph is a graph whose vertices can be listed in the order such that the edges are where . Equivalently, a path with at least two vertices is connected and has two terminal ...
''P''''n'' on ''n'' vertices is 1, and for a complete graph ''K''''m'' we have . For the complete bipartite graph
In the mathematical field of graph theory, a complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set..Electronic edition page 17.
Graph theory ...
''K''''m'',''n'',
:, assuming
which was proved by Chvátal. As a special case of this formula, the star graph
In graph theory, a star is the complete bipartite graph a tree (graph theory), tree with one internal node and leaves (but no internal nodes and leaves when ). Alternatively, some authors define to be the tree of order (graph theory), order ...
on ''k'' + 1 vertices has bandwidth .
For the hypercube graph
In graph theory, the hypercube graph is the graph formed from the vertices and edges of an -dimensional hypercube. For instance, the cube graph is the graph formed by the 8 vertices and 12 edges of a three-dimensional cube.
has vertices, e ...
on vertices the bandwidth was determined by to be
:
Chvatálová showed that the bandwidth of the ''m'' × ''n'' square grid graph , that is, the Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\ ...
of two path graphs on and vertices, is equal to min.
Bounds
The bandwidth of a graph can be bounded in terms of various other graph parameters. For instance, letting χ(''G'') denote the chromatic number
In graph theory, graph coloring is a special case of graph labeling; it is an assignment of labels traditionally called "colors" to elements of a graph subject to certain constraints. In its simplest form, it is a way of coloring the vertices o ...
of ''G'',
:
letting diam(''G'') denote the diameter
In geometry, a diameter of a circle is any straight line segment that passes through the center of the circle and whose endpoints lie on the circle. It can also be defined as the longest chord of the circle. Both definitions are also valid fo ...
of ''G'', the following inequalities hold:
:
where is the number of vertices in .
If a graph ''G'' has bandwidth ''k'', then its pathwidth is at most ''k'' , and its tree-depth
In graph theory, the tree-depth of a connected undirected graph G is a numerical invariant of G, the minimum height of a Trémaux tree for a supergraph of G. This invariant and its close relatives have gone under many different names in the l ...
is at most ''k'' log(''n''/''k'') . In contrast, as noted in the previous section, the star graph ''S''''k'', a structurally very simple example of a tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are ...
, has comparatively large bandwidth. Observe that the pathwidth of ''S''''k'' is 1, and its tree-depth is 2.
Some graph families of bounded degree have sublinear bandwidth: proved that if ''T'' is a tree of maximum degree at most ∆, then
:
More generally, for planar graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cro ...
s of bounded maximum degree at most ''∆'', a similar bound holds (cf. ):
:
Computing the bandwidth
Both the unweighted and weighted versions are special cases of the quadratic bottleneck assignment problem.
The bandwidth 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 ...
, even for some special cases.[Garey–Johnson: GT40] Regarding the existence of efficient
approximation algorithm
In computer science and operations research, approximation algorithms are efficient algorithms that find approximate solutions to optimization problems (in particular NP-hard problems) with provable guarantees on the distance of the returned solu ...
s, it is known that the bandwidth is NP-hard to approximate within any constant, and this even holds when the input graphs are restricted to caterpillar trees with maximum hair length 2 .
For the case of dense graphs, a 3-approximation algorithm was designed by .
On the other hand, a number of polynomially-solvable special cases are known.["Coping with the NP-Hardness of the Graph Bandwidth Problem", Uriel Feige, '']Lecture Notes in Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973.
Overview
The series contains proceedings, post- proceedings, monographs, and Festschrift
In academia, a ''F ...
'', Volume 1851, 2000, pp. 129-145, A heuristic
A heuristic (; ), or heuristic technique, is any approach to problem solving or self-discovery that employs a practical method that is not guaranteed to be optimal, perfect, or rational, but is nevertheless sufficient for reaching an immediat ...
algorithm for obtaining linear graph layouts of low bandwidth is the Cuthill–McKee algorithm. Fast multilevel algorithm for graph bandwidth computation was proposed in.[
]
Applications
The interest in this problem comes from some application areas.
One area is sparse matrix
In numerical analysis and scientific computing, a sparse matrix or sparse array is a matrix in which most of the elements are zero. There is no strict definition regarding the proportion of zero-value elements for a matrix to qualify as sparse b ...
/ band matrix handling, and general algorithms from this area, such as Cuthill–McKee algorithm, may be applied to find approximate solutions for the graph bandwidth problem.
Another application domain is in electronic design automation
Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards. The tools work together ...
. In standard cell design methodology, typically standard cells have the same height, and their placement is arranged in a number of rows. In this context, graph bandwidth problem models the problem of placement of a set of standard cells in a single row with the goal of minimizing the maximal propagation delay (which is assumed to be proportional to wire length).
See also
* Pathwidth, a different NP-complete optimization problem involving linear layouts of graphs.
References
*
*
*
*
*
*
*
*
*{{Cite journal
, last1 = Karpinski , first1 = Marek
, last2 = Wirtgen , first2 = Jürgen
, last3 = Zelikovsky , first3 = Aleksandr
, title = An Approximation Algorithm for the Bandwidth Problem on Dense Graphs
, journal = Electronic Colloquium on Computational Complexity
, volume = 4 , number = 17
, year = 1997
, url = http://eccc.hpi-web.de/report/1997/017/
External links
Minimum bandwidth problem
in: Pierluigi Crescenzi and Viggo Kann (eds.), ''A compendium of NP optimization problems.'' Accessed May 26, 2010.
Graph algorithms
Combinatorial optimization
NP-hard problems
Graph invariants