Abstract.
An optimal tree contraction algorithm for the boolean hypercube and the constant-degree hypercubic networks, such as the shuffle exchange or the butterfly network, is presented. The algorithm is based on novel routing techniques and, for certain small subtrees, simulates optimal PRAM algorithms. For trees of size n, stored on a p processor hypercube in in-order, the running time of the algorithm is \(O(\lceil n/p\rceil\log p)\) . The resulting speed-up of \(O(p/\log p)\) is optimal due to logarithmic communication overhead, as shown by a corresponding lower bound. The same algorithmic ingredients can also be used to solve the term matching problem, one of the fundamental problems in logic programming.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received August 10, 1994; revised May 2, 1995.
Rights and permissions
About this article
Cite this article
Mayr, E., Werchner, R. Optimal Tree Contraction and Term Matching on the Hypercube and Related Networks. Algorithmica 18, 445–460 (1997). https://doi.org/10.1007/PL00009165
Issue Date:
DOI: https://doi.org/10.1007/PL00009165