Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space

In this paper we derive a linear-time, constant-space algorithm to construct a binary heap whose inorder traversal equals a given sequence. We do so in two steps. First, we invert a program that computes the inorder traversal of a binary heap, using the proof rules for program inversion by W. Chen and J.T. Udding. This results in a linear-time solution in terms of binary trees. Subsequently, we data-refine this program to a constant-space solution in terms of linked structures.

• Type: Conference
• Year: 1992
• Where: MPC
• Authors: Berry Schoenmakers
• Keywords: Binary Heap, Constant-space Algorithm, Inorder Traversal, Mathematics, MPC 1992