A217710 Cardinality of the set of possible heights of AVL trees with n (leaf-) nodes.

1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3

Offset

1,8

Comments

a(n) increases at Fibonacci numbers (A000045) and decreases at powers of 2 plus 1 (A000051) for n>=8.

a(n) is the height (number of nonzero elements) of column n of triangles A143897, A217298.

Links

Alois P. Heinz, Table of n, a(n) for n = 1..50000

Wikipedia, AVL tree

Index entries for sequences related to rooted trees

Formula

a(n) = A072649(n) - A029837(n).

Example

a(8) = 2: We have 1 AVL tree with n=8 (leaf-) nodes of height 3 and 16 of height 4 (8 is both Fibonacci number and power of 2):
           o              o
         /   \          /   \
       o       o      o       o
      / \     / )    / \     / \
     o   o   o  N   o   o   o   o
    / ) ( ) ( )    ( ) ( ) ( ) ( )
   o  N N N N N    N N N N N N N N
  ( )
  N N

Maple

a:= proc(n) local j, p; for j from ilog[(1+sqrt(5))/2](n)
       while combinat[fibonacci](j+1)<=n do od;
       p:= ilog2(n);
       j-p-`if`(2^p<n, 2, 1)
    end:
seq(a(n), n=1..120);
# second Maple program:
a:= proc(n) option remember; `if`(n=0, 1, a(n-1)+
     `if`((t-> issqr(t+4) or issqr(t-4))(5*n^2), 1, 0)-
     `if`((t-> is(2^ilog2(t)=t))(n-1), 1, 0))
    end:
seq(a(n), n=1..120);  # Alois P. Heinz, Aug 14 2021

Mathematica

a[n_] := Module[{j, p}, For[j = Log[(1+Sqrt[5])/2, n] // Floor, Fibonacci[j+1] <= n, j++]; p = Log[2, n] // Floor; j-p-If[2^p < n, 2, 1]]; Table[a[n], {n, 1, 120}] (* Jean-François Alcover, Dec 30 2013, translated from Maple *)

Crossrefs

Cf. A000045, A000051, A000079, A029837, A072649, A143897, A217298.

Sequence in context: A211353 A094189 A122771 * A112190 A112188 A112189

Adjacent sequences: A217707 A217708 A217709 * A217711 A217712 A217713

Keyword

nonn

Author

Alois P. Heinz, Mar 20 2013

Status

approved