Interactive application
Interactive
Overview · selected highlights

Catalan structures

Trees, parentheses, lattice paths and triangulations share a recursive structure. This focused combinatorics study makes their correspondences concrete and uses the reflection principle to show exactly which paths a Catalan count excludes.

Many objects; one counting sequence
ConstructPairCount
Brochure →Open project ↗
  1. ( )

    Choose an object

    Begin with a balanced expression, tree, path or triangulation.

  2. ↔

    Follow a bijection

    Translate its structure into another representation.

  3. Σ

    Read the recursion

    See how smaller valid objects combine into larger ones.

  4. ↗

    Reflect the failures

    Account for lattice paths that cross the forbidden boundary.

A combinatorial building block becomes useful when the correspondence is visible, not just the formula.

Dyck-Path (Classic)
Dyck-Path (Classic)
Matching & Triangulation
Matching & Triangulation
Parathesis & Mountain Range
Parathesis & Mountain Range