We present efficient Pure Pointer Machine (PPM) algorithms to test for "leftness" in dynamic search trees and related problems. In particular, we show that the problem of testing if a node x is in the leftmost branch of the subtree rooted in node y, in a dynamic tree that grows and shrinks at the leaves, can be solved on PPMs in worst-case O(lg lg n)2) time per operation in the semi-dynamic case - i.e.,all the operations that add leaves to the tree are performed before any other operations - where n is the number of operations that affect the structure of the tree. We also show that the problem can be solved on PPMs in amortized O((lg lg n)2) time per operation in the fully dynamic case. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Wu, Y., Pontelli, E., & Ranjan, D. (2005). Computational issues in exploiting dependent and-parallelism in logic programming: Leftness detection in dynamic search trees. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3835 LNAI, pp. 79–94). Springer Verlag. https://doi.org/10.1007/11591191_7
Mendeley helps you to discover research relevant for your work.