Many problems are related to the Fibonacci sequence. Lists of such problems are maintained by R Knott: Easy and Hard.

- A boy runs up a flight of n steps, either taking 1 step or taking 2 steps at a time. How many ways can the boy run up?
- How many sequences of n coin tosses have no consecutive heads?
- In how many ways may we pick a subset from 1, 2, 3, 4, ... n so that no two successive numbers are picked?

Our textbooks for introductory courses in Combinatorics mentioned that the Catalan Number is the solution to all problems listed below. It is fun to find 1-1 mappings between pairs of problems.

- How many ways can the expression 2 x 2 x 2 x ... x 2 be parenthesized?
- How many paths from one corner to the diagonally opposite corner in an n x n matrix do not cross the diagonal?
- A sequence of n numbers, 1 thru n, is processed as follows: we either drop the next number into a stack, or we pop the topmost number of the stack. In 2n operations, all numbers would have been processed and the stack would also be empty. The output is the sequence of elements that were popped. How many output sequences are possible?
- In how many ways can a polygon with n sides be triangulated?
- How many trees with n nodes are there with each node having at most two children?

It turns out that there are tens of problems in combinatorics whose solution is the Catalan number! Check out Richard Stanley's addendum to his book Enumerative Combinatorics and Catalan Numbers by Tom Davis.

An exposition by Robert Borgersen that all of the following theorems are equivalent to each other:

- Marriage Theorem
- Dilworth's Theorem for partially ordered sets.
- Birkhoff - Von Neumann Theorem for doubly stochastic matrices.
- Max-Flow Min-Cut Theorem for directed graphs
- Menger's Theorem
- Konig's Theorem for graphs.
- Konig-Egervary Theorem for graphs

_{i} equals the number of ways of tiling a rectangular array of size 1 × n with tiles of size 1 × 1 or 2 × 1. This insight can be used to prove F_{m + n} = F_{m - 1} F_{n - 1} + F_{m} F_{n} by considering the squares at positions m and m + 1: either these are covered with a tile of size 2 × 1 or they are not.

© Copyright 2008—2017, Gurmeet Manku.

Send me email or a
Sarahah message!