Embedding multidimensional grids into optimal hypercubes

Let $G$ and $H$ be graphs, with $|V(H)|\geq |V(G)|$, and $f:V(G)\rightarrow V(H)$ a one to one map of their vertices. Let $dilation(f) = max\{ dist_{H}(f(x),f(y)): xy\in E(G) \}$, where $dist_{H}(v,w)$ is the distance between vertices $v$ and $w$ of $H$. Now let $B(G,H)$ = $min_{f}\{ dilation(f) \}$, over all such maps $f$. The parameter $B(G,H)$ is a generalization of the classic and well studied "bandwidth" of $G$, defined as $B(G,P(n))$, where $P(n)$ is the path on $n$ points and $n = |V(G)|$. Let $[a_{1}\times a_{2}\times \cdots \times a_{k} ]$ be the $k$-dimensional grid graph with integer values $1$ through $a_{i}$ in the $i$'th coordinate. In this paper, we study $B(G,H)$ in the case when $G = [a_{1}\times a_{2}\times \cdots \times a_{k} ]$ and $H$ is the hypercube $Q_{n}$ of dimension $n = \lceil log_{2}(|V(G)|) \rceil$, the hypercube of smallest dimension having at least as many points as $G$. Our main result is that $$B( [a_{1}\times a_{2}\times \cdots \times a_{k} ],Q_{n}) \le 3k,$$ provided $a_{i} \geq 2^{22}$ for each $1\le i\le k$. For such $G$, the bound $3k$ improves on the previous best upper bound $4k+O(1)$. Our methods include an application of Knuth's result on two-way rounding and of the existence of spanning regular cyclic caterpillars in the hypercube.Comment: 47 pages, 8 figure

Lower bounds for dilation, wirelength, and edge congestion of embedding graphs into hypercubes

Interconnection networks provide an effective mechanism for exchanging data between processors in a parallel computing system. One of the most efficient interconnection networks is the hypercube due to its structural regularity, potential for parallel computation of various algorithms, and the high degree of fault tolerance. Thus it becomes the first choice of topological structure of parallel processing and computing systems. In this paper, lower bounds for the dilation, wirelength, and edge congestion of an embedding of a graph into a hypercube are proved. Two of these bounds are expressed in terms of the bisection width. Applying these results, the dilation and wirelength of embedding of certain complete multipartite graphs, folded hypercubes, wheels, and specific Cartesian products are computed

Degree-constrained spanners for multidimensional grids

AbstractA spanning subgraph S = (V, E′) of a connected simple graph G = (V, E) is a f (x) -spanner if for any pair of nodes u and v, ds(u, v) ⩽ f (dG(u, v)) where dG and ds are the usual distance functions in graphs G and S, respectively. The delay of the f (x) -spanner is f(x) − x. We construct four spanners with maximum degree 4 for infinite d-dimensional grids with delays 2d − 4, 2⌈d2⌉ + 2[(d − 2)/4] + 2, 2⌈(d − 6)/8⌉ + 4⌈d + 1)/4⌉+ 6, and ⌈(⌈d/2⌉ + 1)/ (1 + 1)rl + 2⌈ d2⌉ + 21 + 2. All of these constructions can be modified to produce spanners of finite (d-dimensional grids with essentially the same delay. We also construct a (5d + 4 + x) -spanner with maximum degree 3 for infinite d-dimensional grids. This construction can be used to produce spanners of finite d-dimensional grids where all dimensions are even with the same delay. We prove an Ω(d) lower bound for the delay of maximum degree 3 or 4 spanners of finite or infinite d-dimensional grids. For the particular cases of infinite 3- and 4-dimensional grids, we construct (6 + x) -spanners and (14 + x) -spanners, respectively. The former can be modified to construct a (6 + x) -spanner of a finite 3-dimensional grid where all dimensions are even or where all dimensions are odd and a (8 + x) -spanner of a finite 3-dimensional grid otherwise. The latter yields (14 + x) -spanners of finite 4-dimensional grids where all dimensions are even

Some Theoretical Results of Hypercube for Parallel Architecture

This paper surveys some theoretical results of the hypercube for design of VLSI architecture. The parallel computer including the hypercube multiprocessor will become a leading technology that supports efficient computation for large uncertain systems

Parametric binary dissection

Binary dissection is widely used to partition non-uniform domains over parallel computers. This algorithm does not consider the perimeter, surface area, or aspect ratio of the regions being generated and can yield decompositions that have poor communication to computation ratio. Parametric Binary Dissection (PBD) is a new algorithm in which each cut is chosen to minimize load + lambda x(shape). In a 2 (or 3) dimensional problem, load is the amount of computation to be performed in a subregion and shape could refer to the perimeter (respectively surface) of that subregion. Shape is a measure of communication overhead and the parameter permits us to trade off load imbalance against communication overhead. When A is zero, the algorithm reduces to plain binary dissection. This algorithm can be used to partition graphs embedded in 2 or 3-d. Load is the number of nodes in a subregion, shape the number of edges that leave that subregion, and lambda the ratio of time to communicate over an edge to the time to compute at a node. An algorithm is presented that finds the depth d parametric dissection of an embedded graph with n vertices and e edges in O(max(n log n, de)) time, which is an improvement over the O(dn log n) time of plain binary dissection. Parallel versions of this algorithm are also presented; the best of these requires O((n/p) log(sup 3)p) time on a p processor hypercube, assuming graphs of bounded degree. How PBD is applied to 3-d unstructured meshes and yields partitions that are better than those obtained by plain dissection is described. Its application to the color image quantization problem is also discussed, in which samples in a high-resolution color space are mapped onto a lower resolution space in a way that minimizes the color error

Controlled approximation of the value function in stochastic dynamic programming for multi-reservoir systems

We present a new approach for adaptive approximation of the value function in stochastic dynamic programming. Under convexity assumptions, our method is based on a simplicial partition of the state space. Bounds on the value function provide guidance as to where refinement should be done, if at all. Thus, the method allows for a trade-off between solution time and accuracy. The proposed scheme is experimented in the particular context of hydroelectric production across multiple reservoirs

Separator-based graph embedding into multidimensional grids with small edge-congestion

We study the problem of embedding a guest graph with minimum edge-congestion into a multidimensional grid with the same size as that of the guest graph. Based on a well-known notion of graph separators, we show that an embedding with a smaller edge-congestion can be obtained if the guest graph has a smaller separator, and if the host grid has a higher but constant dimension. Specifically, we prove that any graph with NN nodes, maximum node degree ΔΔ, and with a node-separator of size ss, where ss is a function such that s(n)=O(nα)s(n)=O(nα) with 0≤α1/(1−α)d>1/(1−α), O(ΔlogN)O(ΔlogN) if d=1/(1−α)d=1/(1−α), and View the MathML sourceO(ΔNα−1+1d) if d1/(1−α)d>1/(1−α), and matches an existential lower bound within a constant factor if d≤1/(1−α)d≤1/(1−α). Our result implies that if the guest graph has an excluded minor of a fixed size, such as a planar graph, then we can obtain an edge-congestion of O(ΔlogN)O(ΔlogN) for d=2d=2 and O(Δ)O(Δ) for any fixed d≥3d≥3. Moreover, if the guest graph has a fixed treewidth, such as a tree, an outerplanar graph, and a series–parallel graph, then we can obtain an edge-congestion of O(Δ)O(Δ) for any fixed d≥2d≥2. To design our embedding algorithm, we introduce edge-separators bounding extension , such that in partitioning a graph into isolated nodes using edge-separators recursively, the number of outgoing edges from a subgraph to be partitioned in a recursive step is bounded. We present an algorithm to construct an edge-separator with extension of O(Δnα)O(Δnα) from a node-separator of size O(nα)O(nα)