Abstract
In this paper we investigate the parallel complexity of backtrack and branch-and-bound search on the mesh-connected array. We present an Ω(√dN/√logdN) lower bound for the time needed by arandomized algorithm to perform backtrack and branch-and-bound search of a tree of depthd on the √N × √N mesh, even when the depth of the tree is known in advance. The lower bound also holds for algorithms that are allowed to move tree-nodes and create multiple copies of the same tree-node.
For the upper bounds we givedeterministic algorithms that are within a factor of 0(log3/2 N) from our lower bound. Our algorithms do not make any assumption on the shape of the tree to be searched, do not know the depth of the tree in advance, and do not move tree-nodes nor create multiple copies of the same node.
The best previously known algorithm for backtrack search on the mesh was randomized and required Θ(d√N/ logN) time. Our algorithm for branch-and-bound is the first algorithm that performs branch-and-bound search on a sparse network. Both the lower and the upper bounds extend to meshes of higher dimensions.
Similar content being viewed by others
References
D. Angluin and L. Valiant. Fast probabilistic algorithms for Hamiltonian circuits and matchings.J. Comput. System Sci. 18(2) (1979), 155–193.
S. Bhatt and Jin-Yi Cai. Take a walk, Grow a tree.Proceedings of the 29th Annual IEEE Symposium on Foundations of Computer Science, pp. 458–469, 1988.
S. Bhatt, D. Greenberg, T. Leighton, and Pangfeng Liu. Tight bounds for on-line tree embeddings.Proceedings of the 2nd SIAM Symposium on Discrete Algorithms, pp. 344–350, 1991.
D. Hilbert. Ueber die stitige Abbidungen einen Linie auf ein Flachenstiick.Math. Ann. 38 (1891), 459–480.
R. Karp and Yanjun Zhang. A randomized parallel branch-and-bound procedure.Proceedings of the 20th Annual ACM Symposium on Theory of Computing, pp. 290–300, 1988.
T. Leighton, M. Newman, A. Ranade, and E. Schwabe. Dynamic tree embedding in butterflies and hypercubes.Proceedings of the 1st Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 224–234, 1989.
G. Peano. Sur une courbe qui remplit toute une aire plane.Math. Ann. 36 (1880), 157–160.
A. Ranade. Optimal speedup for backtrack search on a butterfly network.Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 40–48, 1991.
C. P. Schnorr and A. Shamir. An optimal sorting algorithm for mesh-connected computers.Proceedings of the 18th Annual ACM Symposium on Theory of Computing, pp. 255–263, 1986.
C. T. Thompson and H. T. Kung. Sorting on a mesh-connected parallel computer.Commun. ACM,20 (1977), 263–270.
Author information
Authors and Affiliations
Additional information
Part of this work was done while the authors were at Harvard University.
Rights and permissions
About this article
Cite this article
Kaklamanis, C., Persiano, G. Branch-and-bound and backtrack search on mesh-connected arrays of processors. Math. Systems Theory 27, 471–489 (1994). https://doi.org/10.1007/BF01184935
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01184935