The tree must be a complete tree.
the only relationship between the subtrees is that they are both greater than their parent node. There is no other relationship between them.
How to gaurantee that the tree is complete? Percolation
S commplete tree is filled with bridth-first traversal
In [ ]: