Graph Bandwidth Problem
   HOME

TheInfoList



OR:

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 conne ...
, 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 \max\ 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 characteri ...
wherein the edges are assigned weights and the cost function to be minimized is \max\. In terms of matrices, the (unweighted) graph bandwidth is the minimal
bandwidth Bandwidth commonly refers to: * Bandwidth (signal processing) or ''analog bandwidth'', ''frequency bandwidth'', or ''radio bandwidth'', a measure of the width of a frequency range * Bandwidth (computing), the rate of data transfer, bit rate or thr ...
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 re ...
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 simp ...
of the graph. The bandwidth may also be defined as one less than the
maximum clique In the mathematical area of graph theory, a clique ( or ) is a subset of vertices of an undirected graph such that every two distinct vertices in the clique are adjacent. That is, a clique of a graph G is an induced subgraph of G that is comple ...
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 \varphi(G) 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 \varphi(K_n)=n-1. 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'', :\varphi(K_) = \lfloor (m-1)/2\rfloor+n, assuming m \ge n\ge 1, 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 ...
S_k = K_ on ''k'' + 1 vertices has bandwidth \varphi(S_) = \lfloor (k-1)/2\rfloor+1. 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, ...
Q_n on 2^n vertices the bandwidth was determined by to be :\varphi(Q_n)=\sum_^ \binom. Chvatálová showed that the bandwidth of the ''m'' × ''n''
square grid graph In graph theory, a lattice graph, mesh graph, or grid graph is a Graph (discrete mathematics), graph whose graph drawing, drawing, Embedding, embedded in some Euclidean space , forms a regular tiling. This implies that the group (mathematics), g ...
P_m \times P_n, 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\ti ...
of two path graphs on m and n 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'', : \varphi(G) \ge \chi(G) - 1; 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 for ...
of ''G'', the following inequalities hold: :\lceil (n-1)/\operatorname(G) \rceil \le \varphi(G) \le n - \operatorname(G), where n is the number of vertices in G. If a graph ''G'' has bandwidth ''k'', then its
pathwidth In graph theory, a path decomposition of a graph is, informally, a representation of as a "thickened" path graph, and the pathwidth of is a number that measures how much the path was thickened to form . More formally, a path-decomposition ...
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 lite ...
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 In graph theory, a path decomposition of a graph is, informally, a representation of as a "thickened" path graph, and the pathwidth of is a number that measures how much the path was thickened to form . More formally, a path-decomposition ...
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 :\varphi(T) \le \frac. 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 cross ...
s of bounded maximum degree at most ''∆'', a similar bound holds (cf. ): :\varphi(G) \le \frac.


Computing the bandwidth

Both the unweighted and weighted versions are special cases of the
quadratic bottleneck assignment problem In mathematics, the quadratic bottleneck assignment problem (QBAP) is one of fundamental combinatorial optimization problems in the branch of optimization or operations research, from the category of the facilities location problems. It is related ...
. 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 tree In graph theory, a caterpillar or caterpillar tree is a tree in which all the vertices are within distance 1 of a central path. Caterpillars were first studied in a series of papers by Harary and Schwenk. The name was suggested by Arthur Hobb ...
s 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 Festschrifts. In addition, tutorials, ...
'', 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 immediate, ...
algorithm for obtaining linear graph layouts of low bandwidth is the
Cuthill–McKee algorithm In numerical linear algebra, the Cuthill–McKee algorithm (CM), named after Elizabeth Cuthill and James McKee,E. Cuthill and J. McKeethe bandwidth of sparse symmetric matrices''In Proc. 24th Nat. Conf. ACM, pages 157–172, 1969. is an algori ...
. 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 Band or BAND may refer to: Places *Bánd, a village in Hungary *Band, Iran, a village in Urmia County, West Azerbaijan Province, Iran *Band, Mureș, a commune in Romania * Band-e Majid Khan, a village in Bukan County, West Azerbaijan Province, I ...
handling, and general algorithms from this area, such as
Cuthill–McKee algorithm In numerical linear algebra, the Cuthill–McKee algorithm (CM), named after Elizabeth Cuthill and James McKee,E. Cuthill and J. McKeethe bandwidth of sparse symmetric matrices''In Proc. 24th Nat. Conf. ACM, pages 157–172, 1969. is an algori ...
, 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 Electronics, electronic systems such as integrated circuits and printed circuit boards. The tools wo ...
. In
standard cell In semiconductor design, standard cell methodology is a method of designing application-specific integrated circuits (ASICs) with mostly digital-logic features. Standard cell methodology is an example of design abstraction, whereby a low-level v ...
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 Propagation delay is the time duration taken for a signal to reach its destination. It can relate to networking, electronics or physics. ''Hold time'' is the minimum interval required for the logic level to remain on the input after triggering e ...
(which is assumed to be proportional to wire length).


See also

*
Pathwidth In graph theory, a path decomposition of a graph is, informally, a representation of as a "thickened" path graph, and the pathwidth of is a number that measures how much the path was thickened to form . More formally, a path-decomposition ...
, 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