Fibonacci trees \$T_n\$ are a sequence of rooted binary trees of height \$n-1\$. They are defined as follows:

  • \$T_0\$ has no nodes.
  • \$T_1\$ has a single node (the root).
  • The root node of \$T_{n+2}\$ has \$T_{n+1}\$ as its left subtree and \$T_n\$ as its right subtree.
T0 T1   T2      T3           T4
    O    O       O            O
        /       / \         /   \
       O       O   O       O     O
              /           / \   /
             O           O   O O

Each tree in this sequence is the most unbalanced possible state of an AVL tree of same height.


Given the number \$n\$, output the \$n\$-th Fibonacci tree.

By the usual rules, your function or program may behave as one of the following:

  • Take \$n\$ as input, and output the \$n\$-th tree (\$n\$ can be 0- or 1-indexed; the given example is 0-based)
  • Take \$n\$ as input, and output the first \$n\$ trees
  • Take no input, and output the sequence of trees indefinitely

A binary tree can be output in any acceptable ways, including but not limited to

  • a built-in tree object if your language has one,
  • a nested array, an ADT, or its textual representation,
  • a human-readable ASCII/Unicode art, or
  • a flattened list of nodes labeled as numbers in level order.

Shortest code in bytes wins.

  • \$\begingroup\$ This is irrelevant to the challenge, but I think T_0 is technically not a tree but only a forest. In my opinion a tree should have exactly one connected component. However, T_0 does satisfy the definition of tree given on wikipedia: "for every pair of vertices there is a unique path between them". This is vacuously satisfied by the empty graph. \$\endgroup\$ – Hood Feb 4 at 23:18
  • 1
    \$\begingroup\$ @Hood True, and actually my definition of Fibonacci trees doesn't work for T0 because a tree height of -1 doesn't make much sense. It merely serves as a base case to correctly define T2 and beyond. \$\endgroup\$ – Bubbler Feb 4 at 23:31
  • \$\begingroup\$ In the nested array representation is an empty array, an empty tree or a node with no children? And either way how is the opposite one represented? (I ask because in my experience usually the nested array representation is taken to represent rooted trees, which do not include the empty tree). \$\endgroup\$ – Wheat Wizard Feb 5 at 12:10
  • \$\begingroup\$ @WheatWizard Honestly I didn't think of consequences of the empty graph. But for example, you can represent the empty graph as [], and then the single-node graph becomes [[],[]]. Or you can wrap the entire graph in an Option type, etc. \$\endgroup\$ – Bubbler Feb 5 at 23:12

17 Answers 17


J, 14 bytes


Try it online!

We use J boxes to represent the trees:

││└┘│││  │
│└──┴┘│  │
│││└┘│││  ││└──┴┘│
││└──┴┘│  ││     │
│└─────┴──┘│     │
  • 4
    \$\begingroup\$ I'm flabbergasted \$\endgroup\$ – Eric Duminil Feb 4 at 12:44

Wolfram Language (Mathematica), 19 bytes


Try it online!

1-indexed. Returns the \$n\$th tree.

Expressions in Mathematica are trees. True represents the absence of a node.




Jelly, 2 bytes

Try it online!

Takes input from STDIN. Outputs the nth Fibonacci tree in the form of a nested list, where a list represents a node and 0 represents NIL.


  • , — Pair
  • ¡ — Turn the preceding dyadic function f(x, y) into a triadic function g(x, n, y) such that:
    • g(x, 0, y) = x
    • g(x, 1, y) = f(x, y)
    • g(x, n, y) = f(g(x, n-1, y), g(x, n-2, y))

Since the link is called as a nilad, zeros are supplied for x and y and a number from STDIN is taken for n.


Husk, 16 12 bytes


Try it online!

Trees or arbitrarily nested lists are not a thing in Husk, so this builds a string representation of the tree, where a leaf is represented as "0" and a node with a Left child L and a right child R is represented as "(L,R)".

Returns the infinite list of Fibonacci trees, which get printed one per line.


I've started from what's probably the second shortest way of computing Fibonacci numbers in Husk (the shortest being the builtin İf):


Try it online!

This puts a 0 at the beginning of the sequence (with Θ), then scans (G) recursively the same list with +, starting from 1 and summing every time the last result to the next element in the list.

With this, we just need to alter the starting values and the + operator to make it compute Fibonacci trees.

The 1 now becomes "0" (s0, string representation of the number 0) and the 0 turns into "" automagically, thanks to Husk understanding that the list is now a list of strings rather than numbers. The operator that generates a new tree from the two previous ones becomes a bit more complex (but not as complex as I originally made it, thanks Dominic van Essen!):

f≠'"s,         Input: left subtree "L", right subtree "R"
     ,         Join the two subtrees in a pair ("L","R")
    s          Convert the pair into a string "(\"L\",\"R\")"
Now we need to remove the extra quotes:
f              Keep only those characters
 ≠              that are different
  '"            than "
  • 1
    \$\begingroup\$ 14 bytes by exploiting the fact that Husk pairs already look like (,)... \$\endgroup\$ – Dominic van Essen Feb 5 at 13:00
  • 1
    \$\begingroup\$ ...and then 13 bytes by representing nodes as x instead of ()... \$\endgroup\$ – Dominic van Essen Feb 5 at 13:03
  • \$\begingroup\$ @DominicvanEssen and using 0 instead saves another byte! Thank you, that was a very smart way to do it :) \$\endgroup\$ – Leo Feb 5 at 23:59

Python 3, 53 50 45 44 bytes

f=lambda n:n and[n]if n<2else[f(n-1),f(n-2)]

Try it online!

Thanks @Dominic van Essen save 3 bytes.

Save 5 bytes changing the first if condition with and.

Thanks @user save 1 byte.

  • 2
    \$\begingroup\$ Nice one. Defining a node as [1] is readable, but if you instead define a node as [0, 0] (in other words, a tree with no branches) then you can save 16 bytes... \$\endgroup\$ – Dominic van Essen Feb 5 at 12:05
  • 2
    \$\begingroup\$ (or 50 bytes without changing the node definition)... \$\endgroup\$ – Dominic van Essen Feb 5 at 12:25
  • \$\begingroup\$ @Dominic van Essen Nice \$\endgroup\$ – n1k9 Feb 5 at 14:26
  • 1
    \$\begingroup\$ Looks like you missed a space after [n]. \$\endgroup\$ – user Feb 10 at 14:08
  • 1
    \$\begingroup\$ 43 bytes \$\endgroup\$ – movatica Feb 19 at 23:42

Haskell, 34 bytes

data T=E|N T T
f=E:scanl N(N E E)f

Try it online!

f is the infinite list of Fibonacci trees, represented as a custom type defined in the first line (E is the empty tree, N l r is the tree with left subtree l and right subtree r).


Haskell is usually very well-suited for Fibonacci-related tasks. Assume we have a recurrence of the form $$ \begin{cases} \texttt{f}_0=\texttt{a}\\ \texttt{f}_1=\texttt{b}\\ \texttt{f}_{n+2}=\texttt{g}(\texttt{f}_{n+1},\texttt{f}_n), \end{cases} $$ where \$\texttt{g}\$ is a binary operator. Then the corresponding Haskell definition is simply

f=a:scanl g b f

Unfortunately, Haskell is not very well-suited for problems involving trees, since it can't (natively) handle nested lists or tuples. Defining my own data type for trees was the shortest way I could find to solve this issue.

  • 1
    \$\begingroup\$ I guess you had to solve this because you initially posted an answer to a wrong challenge :P Nice to see a custom datatype in a golfed answer though. \$\endgroup\$ – Bubbler Apr 19 at 6:37
  • \$\begingroup\$ @Bubbler Woops ^^. That's why you never work on two problems at the same time. \$\endgroup\$ – Delfad0r Apr 19 at 7:17

05AB1E, 6 bytes


Outputs the infinite sequence, with an empty string as empty node (i.e. \$T4\$ will result in [[[[],""],[]],[[],""]])

Try it online. (The footer is to print each tree on a separated line with newline-delimiters. Feel free to remove it to see the actual infinite list output.)


   λ    # Start a recursive environment
        # to output the infinite sequence,
õ       # starting at a(0)=""
 ¯‚     # and a(1)=[]
õ¯‚     # (Push an empty string ""; push an empty list []; pair them together)
        # And we calculate every following a(n) as follows:
        #  (implicitly push the values of a(n-2) and a(n-1)
    s   #  Swap them on the stack
     ‚  #  And pair them together: [a(n-1),a(n-2)]

JavaScript (Node.js), 29 27 bytes

Saved 2 bytes with a suggestion from Jo King.


Try it online!

A tree is represented by [l, r]. The absence of a child is represented by [].


R, 39 bytes


Try it online!

Output is a nested list of lists of 2 elements each.
Leaves are represented as lists with no child lists (both list elements are NULL).


Charcoal, 18 bytes


Try it online! Link is to verbose version of code. Outputs nodes as arrays of between 0 and 2 elements. Explanation:


Input n and loop n times.


Take the last and second last results (if any), and make them the children of the root of the next tree.


Print the last tree, if any.


Branch, 35 bytes


Try it on the online Branch interpreter!

Of course, it's only natural that a language based on binary trees would have a way to solve this challenge. Branch is still in development; I'm not sure how I could've solved this before adding a bunch of bugfixes and a couple of new helpers.

Pretty-printing the tree was actually around from the start though. I used it as a debug feature; never thought I would've found a challenge so soon to use a debug feature as output formatting for :P


The command line argument is automatically loaded into the first and only node in the binary tree. Note that [...] is the same as in BF; that is, it's a while loop, so if the current value is 0 at [, it skips to ], and if the current value is non-zero at ], it jumps back to [. Therefore, [...0] will only run if the value is non-zero, but then the value is zeroed at the end and so it never runs more than once. Essentially, this is an if statement.

/;{            Go to the left child, copy the parent, and decrement
^\;{           Go back to the parent, go to the right child, copy, and decrement
Z              Save the value to register Z
[  0]          If that value is not zero
 {Z            Decrement and save to Z (we need to save the value because it gets zeroed to allow the if statement to end)
z              Restore Z; this is (parent value - 2) if parent value is not 1, and otherwise just 0
^              Go back to the parent
[      0]      If the node is non-zero
 /@            Go to the left child and run this line on that, returning here when done
   ^\@         Go to the right sibling and run this line on that, returning here when done
      ^        Go to the parent, then zero it to end the if statement
~              Return to @, if we are currently in a sub-evaluation. If not, this gets skipped, and we can end the program
`L             Delete all leaves; every node with leaves is a 0 with -1 and -2 as children; these shouldn't be output
`L             Delete all leaves again; it might be valid to output such that these leaves are considered the "null" elements like my APL solution and the 2-byte jelly solution do, but I decided to remove them for style and this code is long enough as it is
[   ]          While this node is non-zero (input 0 and 1 give the same tree, so we need to suppress output if the value was 0)
 0             Zero the top node; this turns the while loop into an if statement and also prevents the final output from having the value there
  `P           Pretty-print the tree; this was created for debugging purposes, but conveniently enough, lets us answer this challenge quite nicely

APL(Dyalog Unicode), 14 bytes SBCS


Try it on APLgolf!

Outputs as a nested list, where each list contains two elements which are the left and right children, and 0 is null.

-10 bytes thanks to Razetime and user, and also using a better online interface courtesy of Razetime


{            }  dfn
 ⍵>0:           if the argument is greater than 0
     ∇¨         - recurse; apply this dfn to each of
       ⍵-       - the argument minus        (vectorizes)
         ⍳2     -                    [1, 2]
           ⋄0   else, just return 0
  • 1
    \$\begingroup\$ You can submit tryAPL solutions on APLgolf: 16 bytes \$\endgroup\$ – Razetime Apr 18 at 16:54
  • \$\begingroup\$ 14 bytes?: {⍵>0:∇¨⍵-⍳2⋄0}. I can't get {×⍵:∇¨⍵-⍳2⋄0} to work, though \$\endgroup\$ – user Apr 18 at 17:05
  • \$\begingroup\$ @user Oh that's clever. I'll take a look at trying to golf it a bit more from there too; thanks. \$\endgroup\$ – hyper-neutrino Apr 18 at 17:10
  • \$\begingroup\$ @Razetime that's a very nice site. Thanks! \$\endgroup\$ – hyper-neutrino Apr 18 at 17:11

Retina, 34 bytes


Try it online! Outputs a tree of tuples. No test suite due to the program's use of history. Explanation:


Replace the input with a newline, representing two empty trees.


Repeat the number of times given by the original input...


... create a node containing the previous two trees, and forget the second last tree.


Keep only the last tree.


Common Lisp, 58 bytes

(defun f(n)(case n(0())(1 0)(t(cons(f(1- n))(f(- n 2))))))


USER> (loop for i from 0 to 7 do (print (f i)))

((0) . 0) 
(((0) . 0) 0) 
((((0) . 0) 0) (0) . 0) 
(((((0) . 0) 0) (0) . 0) ((0) . 0) 0) 
((((((0) . 0) 0) (0) . 0) ((0) . 0) 0) (((0) . 0) 0) (0) . 0) 

Additionally, if you (ql:quickload :memoize), you can do (memoize-function 'f) and it will cache intermediate results.


Stax, 12 10 bytes


Run and debug it

A bit long since the trees need to be printed as a string to be observed.


z1]            push empty list and [1] (base cases)
   W           loop forever
    n          copy the second to last element
     |u        uneval (JSON.Stringify)
       P       pop & print with newline
        b      copy top two elements
         s     swap
          2l   two element list 

Pyth, 19 bytes


Try it online!

Near literal translation of n1k9's Python 3 answer.


C (gcc), 214 175 bytes

-39 bytes thanks to ceilingcat

char m[12][50];c(n){f(n,!memset(m,32,600),n*n);}f(n,i,j){m[i][j]=48;n-1?n-2?m[i+1][j-n/2]=47,m[i+1][j+n/2]=92,f(n-1,i+2,j-n),f(n-2,i+2,j+n):(m[++i][--j]=47,m[++i][--j]=48):0;}

Try it online!

I chose the ASCII art for fun.
The code consists of a function c() whose role is to call f(), just once. f() is a very creative recursive function with a passion for drawing trees on blank arrays.

Only the first 5 trees are correct. To display bigger trees I should use an exponential law for the spacing between the nodes, but if I do so, then the highest nodes would be so distant from each other that you wouldn't recognize bigger trees anyway.

I will post a conceptually right solution.

  • 2
    \$\begingroup\$ Definitely interesting, but the convention here is that submissions should theoretically work for higher inputs (I know this is debatable). My suggestion is to actually apply exponential spacing so that at least it doesn't conceptually break. \$\endgroup\$ – Bubbler Feb 4 at 5:07
  • \$\begingroup\$ @Bubbler All right I will modify it. \$\endgroup\$ – Sheik Yerbouti Feb 4 at 7:06
  • \$\begingroup\$ @Bubbler I am coding from the phone an if instead of j-n and j+n I put j-n*n and j+n*n (correcting also the position of slashes and backslashes, the starting column of the root and the size of the array) I can only see till tree #4, cause the width of #5 doesn't fit in the screen and character go on a new line. I don't know if doing n*n would be enough, maybe is already too much or maybe not. I guess that putting j-pow(n,n) would be safe and doesn't conceptually break, but my trees would become an abstraction that nobody could see. \$\endgroup\$ – Sheik Yerbouti Feb 4 at 9:23
  • 2
    \$\begingroup\$ You can always include two versions of code: one for theoretically working (therefore valid for the challenge), and another for human-observable/whatever interesting stuff (this doesn't need to be valid for the challenge). \$\endgroup\$ – Bubbler Feb 4 at 23:28
  • \$\begingroup\$ Ahaha all right I will add a valid code \$\endgroup\$ – Sheik Yerbouti Feb 4 at 23:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.