Abstract
An optimal tree contraction algorithm for the Boolean hypercube and constant degree hypercubic networks, such as the shuffle exchange or the butterfly network, is presented. The algorithm is based on a recursive approach, uses novel routing techniques, and, for certain small subtrees, simulates optimal PRAM algorithms. For trees of size n, stored in-order on a p processor hypercube, the running time of the algorithm is O/spl lsqb/(n/p)log p/spl rsqb/, which can be shown to be optimal on the hypercube by a corresponding lower bound. Tree contraction can be used to evaluate algebraic expressions consisting of operators +,/spl minus/,/spl middot/,/ and rational operands, as well as for the membership problem for certain subclasses of languages in DCFL. The same algorithmic ingredients can also be used to solve the term matching problem, one of the fundamental problems in logic programming.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
