Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms

Z You, J Xue, Z Zuo - Cluster computing, 2016 - Springer
Binary tree traversal algorithm can be applied in many aspects, such as information
encryption, Network, operating systems, cluster computing and so on. We have already …

[PDF][PDF] Modified non-recursive algorithm for reconstructing a binary tree

N Arora, VK Tamta, S Kumar - International Journal of Computer …, 2012 - Citeseer
Binary tree traversal refers to the process of visiting each node in a specified order. Given
the inorder traversal of a binary tree, along with one of its preorder or postorder traversals …

A unified strategy for formal derivation and proof of binary tree nonrecursive algorithms

ZUO Zhengkang, Z HUANG, F Yue… - … Journal of Natural …, 2022 - wujns.edpsciences.org
In the formal derivation and proof of binary tree algorithms, Dijkstra's weakest predicate
method is commonly used. However, the method has some drawbacks, including a time …

[PDF][PDF] Iterative method for recreating a binary tree from its traversals

N Arora, PK Kaushik, S Kumar - International Journal of Computer …, 2012 - researchgate.net
Iterative Method for Recreating a Binary Tree from its Traversals Page 1 International Journal
of Computer Applications (0975 – 8887) Volume 57– No.11, November 2012 6 Iterative …

De Boor Algorithm Based NURBS Subdivision in Terms of Arc Length

X Han, J Yan, K Zhu - Proceedings of the 2023 8th International …, 2023 - dl.acm.org
This paper presents an approach to subdivide a Non-Uniform Rational B-Splines (NURBS)
curve into several small parts in terms of a given arc length for the small parts. The approach …

A fast parallelizable algorithm for constructing balanced binary search trees

PS Ruzankin - SN Computer Science, 2022 - Springer
We suggest a new non-recursive algorithm for constructing a balanced binary search tree
given an array of numbers. The algorithm has O (N) time and O (1) auxiliary memory …

A novel algorithm to determine the leaf (leaves) of a binary tree from its preorder and postorder traversals

N Aghaieabiane, H Koppelaar… - Journal of Algorithms and …, 2017 - jac.ut.ac.ir
Binary trees are essential structures in Computer Science. The leaf (leaves) of a binary tree
is one of the most significant aspects of it. In this study, we prove that the order of a leaf …

Derivation and Formal Proof of Binary Tree Depth Non-Recursive Algorithm

Z Zuo, Y Fang, Q Huang, Y Liao… - 2021 5th International …, 2021 - ieeexplore.ieee.org
The development of loop invariants for recursive problems of nonlinear data structures are
always difficult problems in formal development. The paper studies the derivation and formal …

[PDF][PDF] PrePos: A novel algorithm to reconstruct a binary

N Aghaieabiane, M Asghari, H Koppelaar… - researchgate.net
It is well-known that, given inorder traversal along with one of the preorder or postorder
traversals of a binary tree, the tree can be determined uniquely. Several algorithms have …

Data Structure Teaching Practice: Discussion on Non-recursive Algorithms for the Depth-First Traversal of a Binary Tree

Z Xu - Frontier and Future Development of Information …, 2014 - Springer
The recursive algorithms for depth-first traversal of a binary tree are widely expatiated upon
in data structure textbooks. There are three depth-first traversal sequences for a binary tree …