# A median of an AVL. How to take advantage of the AVL?

Here is the source of my question.

Given a self-balancing tree (AVL), code a method that returns the median.

(Median: the numerical value separating the higher half of a data sample from the lower half. Example: if the series is

2, 7, 4, 9, 1, 5, 8, 3, 6

then the median is 5.)

I can offer the following solution:

1. Traverse the given tree, return the number of elements.
2. Traverse n / 2 + 1 (if n is odd) the tree again applying an in-order tree walk. The value of the n / 2 + 1th element is the median.

But I can do it with a binary search tree, can't I? Is there a better algorithm for an AVL?

• Usually, search algorithms for a Binary Search Tree work with an AVL tree, but with an AVL you get the extra guarantee that your tree's height is logarithmic in the number of nodes. Commented Apr 17, 2015 at 9:29

If you modify the AVL tree by storing the size of the subtree at each node rather than just its height, then you can find the median in time $O(\log n)$ using the fact that the tree is balanced. To accomplish this, you write a more general procedure Select which accepts a node $v$ and a number $k$, and finds the $k$th smallest node at the subtree rooted at $v$.

Suppose that the left subtree (if any) has $L$ nodes. If $k \leq L$ then we recurse to the left subtree. If $k = L+1$ then we return $v$. Otherwise we recurse to the right subtree, reducing $k$ by $L+1$.

The running time of this algorithm is linear in the height of the tree, which is $O(\log n)$.

• Could you please give me an example? Commented Apr 18, 2015 at 10:05
• No, you'll have to construct one yourself. Try to understand what my algorithm is trying to accomplish and how. Commented Apr 18, 2015 at 14:40
• My solution is on codereview.stackexchange.com/q/104525/23821 Commented Sep 12, 2015 at 20:49
• Can you explain the logic behind this algorithm , I checked this method works but not able to figure out logic behind this . Specifically this part "we recurse to the right subtree, reducing k by L+1." Why aren't we reducing k when recursing left subtree . While the first two cases k ≤ L and k = L+1 are quite clear . Commented Apr 12, 2021 at 2:02
• If $L=5$ then the seventh smallest element is the smallest element in the right subtree, with the third smallest element is the third smallest element in the left subtree. Can you see why? Commented Apr 12, 2021 at 6:04

AVL is binary search tree with some special property: it is self-balancing tree. It's height is always logarithmic. Ordinary binary tree in some worst scenario can be linked list (if you add sorted data) so it's height is n. AVL tree in worst scenario is fibonacci tree.