Catalan numbers and triangulations

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
9
down vote

favorite
1












The number of ways to parenthesize an $n$ fold product is a Catalan number in the list $1,1,2,5,14,cdots$ where these are in order of the number of terms in the product. The $n$th such number is also the numbr of ways to triangulate an $n+1$-gon.



I'm wondering whether there is a simple translation between a specific parenthesized $n$ fold product to a specific triangulation of an $n+1$-gon.



For example one parenthesized 5-fold product is $(12)(3(45))$ This then would (hopefully) be translatable to one of the $14$ triangulations of a $6$-gon.



I have tried various ways to label the vertices of the $n+1$ gon to see which parenthesized $n$ fold product a given triangulation goes with, but no luck.







share|cite|improve this question





















  • See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
    – lhf
    Jul 30 at 16:23







  • 1




    I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
    – Mike Earnest
    Jul 30 at 16:31










  • @MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
    – coffeemath
    Jul 30 at 16:42














up vote
9
down vote

favorite
1












The number of ways to parenthesize an $n$ fold product is a Catalan number in the list $1,1,2,5,14,cdots$ where these are in order of the number of terms in the product. The $n$th such number is also the numbr of ways to triangulate an $n+1$-gon.



I'm wondering whether there is a simple translation between a specific parenthesized $n$ fold product to a specific triangulation of an $n+1$-gon.



For example one parenthesized 5-fold product is $(12)(3(45))$ This then would (hopefully) be translatable to one of the $14$ triangulations of a $6$-gon.



I have tried various ways to label the vertices of the $n+1$ gon to see which parenthesized $n$ fold product a given triangulation goes with, but no luck.







share|cite|improve this question





















  • See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
    – lhf
    Jul 30 at 16:23







  • 1




    I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
    – Mike Earnest
    Jul 30 at 16:31










  • @MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
    – coffeemath
    Jul 30 at 16:42












up vote
9
down vote

favorite
1









up vote
9
down vote

favorite
1






1





The number of ways to parenthesize an $n$ fold product is a Catalan number in the list $1,1,2,5,14,cdots$ where these are in order of the number of terms in the product. The $n$th such number is also the numbr of ways to triangulate an $n+1$-gon.



I'm wondering whether there is a simple translation between a specific parenthesized $n$ fold product to a specific triangulation of an $n+1$-gon.



For example one parenthesized 5-fold product is $(12)(3(45))$ This then would (hopefully) be translatable to one of the $14$ triangulations of a $6$-gon.



I have tried various ways to label the vertices of the $n+1$ gon to see which parenthesized $n$ fold product a given triangulation goes with, but no luck.







share|cite|improve this question













The number of ways to parenthesize an $n$ fold product is a Catalan number in the list $1,1,2,5,14,cdots$ where these are in order of the number of terms in the product. The $n$th such number is also the numbr of ways to triangulate an $n+1$-gon.



I'm wondering whether there is a simple translation between a specific parenthesized $n$ fold product to a specific triangulation of an $n+1$-gon.



For example one parenthesized 5-fold product is $(12)(3(45))$ This then would (hopefully) be translatable to one of the $14$ triangulations of a $6$-gon.



I have tried various ways to label the vertices of the $n+1$ gon to see which parenthesized $n$ fold product a given triangulation goes with, but no luck.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 30 at 16:36









Arnaud Mortier

18.1k21958




18.1k21958









asked Jul 30 at 15:10









coffeemath

1,2291212




1,2291212











  • See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
    – lhf
    Jul 30 at 16:23







  • 1




    I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
    – Mike Earnest
    Jul 30 at 16:31










  • @MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
    – coffeemath
    Jul 30 at 16:42
















  • See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
    – lhf
    Jul 30 at 16:23







  • 1




    I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
    – Mike Earnest
    Jul 30 at 16:31










  • @MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
    – coffeemath
    Jul 30 at 16:42















See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
– lhf
Jul 30 at 16:23





See also Theorem 1.19 on page 9 of Chapter 1 of Discrete and Computational Geometry by Devadoss and O'Rourke. This chapter is freely available.
– lhf
Jul 30 at 16:23





1




1




I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
– Mike Earnest
Jul 30 at 16:31




I believe your definition of $C_n$ is off by one from the usual one. That is, $C_n$ counts ways to multiply $n+1$ numbers and triangulate an $(n+2)$-gon.
– Mike Earnest
Jul 30 at 16:31












@MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
– coffeemath
Jul 30 at 16:42




@MikeEarnest Yes it's off by 1, however I kept it that way so the n-th number would go with n things to be multiplied. This way is also cleaner for the recursion $c(n)=sum c(I)c(j)$ where $1 le i,j le n-1, i+j=n.$ There my be a better way of looking at things...
– coffeemath
Jul 30 at 16:42










2 Answers
2






active

oldest

votes

















up vote
6
down vote



accepted










There is a nice bijection between both objects and binary trees:



  • Given a triangulation on the polygon with vertices numbered $0$ to $n$, build a tree whose vertices are the edges of the figure, including the $n+1$ edges of the polygon and the $n-2$ internal edges. The root is the external edge connected vertex $0$ to vertex $1$. For each internal edge $e$, which borders two triangles $T_1$ and $T_2$, then supposing $T_1$ is further from the root edge $(0,1)$, then the right (left) child of $e$ is the edge of $T_1$ which is clockwise (anti-clockwise) adjacent to $e$.


  • Given a parenthesization of $x_1cdots x_n$, build a tree with one vertex for each intermediate result when performing all of the multiplications. The result $a$ has left and right children $b$ and $c$ if $a$ was computed as the product of $b$ and $c$ in that order.


For example, with $(1,2)(3,(4,5))$, the tree is



 120
/
/ 60
2 /
/ 3 20
1 2 /
4 5


This tree corresponds to the triangultion



 1–––––0
/| /|
/ | / |
2 | / | 5
| / | /
|/ |/
3–––––4


whose tree is



 (01)
/
/ (03)
(13) /
/ (34) (04)
(12) (23) /
(45) (05)





share|cite|improve this answer























  • I'll likely accept, after I absorb it better. Thanks, +1 for now.
    – coffeemath
    Jul 30 at 16:43






  • 2




    Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
    – templatetypedef
    Jul 30 at 17:53

















up vote
3
down vote













Here is a possible way, which makes use of the intrinsically similar recursive property of both numbers.



I'm assuming the vertices of the $(n+1)$-gon are numbered counterclockwise from $1$ to $n+1$.



Starting from a triangulation.



In every triangulation, there is one triangle containing the edge $1to 2$. Call the third vertex $k$. The corresponding parenthesizing is going to start with $$(1 ldots k-2)(k-1 ldots n)$$
Now "on the right" of the edge $2to k$, you have a triangulated $(k-1)$-gon. Rename its vertices from $1$ to $k-1$ starting from the lowest and iterate.



Similarly "on the left" of the edge $1to k$ there is a triangulated $(n-k+3)$-gon. Rename its vertices from $k-1$ to $n+1$ starting from the lowest and iterate.



Starting from a parenthesized product.



  • Consider the most external product, say $$(1 ldots k-2)(k-1 ldots n)$$

  • Draw a triangle $1 2 k$

  • Iterate after renumbering the vertices accordingly as before.





share|cite|improve this answer























    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867110%2fcatalan-numbers-and-triangulations%23new-answer', 'question_page');

    );

    Post as a guest






























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    6
    down vote



    accepted










    There is a nice bijection between both objects and binary trees:



    • Given a triangulation on the polygon with vertices numbered $0$ to $n$, build a tree whose vertices are the edges of the figure, including the $n+1$ edges of the polygon and the $n-2$ internal edges. The root is the external edge connected vertex $0$ to vertex $1$. For each internal edge $e$, which borders two triangles $T_1$ and $T_2$, then supposing $T_1$ is further from the root edge $(0,1)$, then the right (left) child of $e$ is the edge of $T_1$ which is clockwise (anti-clockwise) adjacent to $e$.


    • Given a parenthesization of $x_1cdots x_n$, build a tree with one vertex for each intermediate result when performing all of the multiplications. The result $a$ has left and right children $b$ and $c$ if $a$ was computed as the product of $b$ and $c$ in that order.


    For example, with $(1,2)(3,(4,5))$, the tree is



     120
    /
    / 60
    2 /
    / 3 20
    1 2 /
    4 5


    This tree corresponds to the triangultion



     1–––––0
    /| /|
    / | / |
    2 | / | 5
    | / | /
    |/ |/
    3–––––4


    whose tree is



     (01)
    /
    / (03)
    (13) /
    / (34) (04)
    (12) (23) /
    (45) (05)





    share|cite|improve this answer























    • I'll likely accept, after I absorb it better. Thanks, +1 for now.
      – coffeemath
      Jul 30 at 16:43






    • 2




      Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
      – templatetypedef
      Jul 30 at 17:53














    up vote
    6
    down vote



    accepted










    There is a nice bijection between both objects and binary trees:



    • Given a triangulation on the polygon with vertices numbered $0$ to $n$, build a tree whose vertices are the edges of the figure, including the $n+1$ edges of the polygon and the $n-2$ internal edges. The root is the external edge connected vertex $0$ to vertex $1$. For each internal edge $e$, which borders two triangles $T_1$ and $T_2$, then supposing $T_1$ is further from the root edge $(0,1)$, then the right (left) child of $e$ is the edge of $T_1$ which is clockwise (anti-clockwise) adjacent to $e$.


    • Given a parenthesization of $x_1cdots x_n$, build a tree with one vertex for each intermediate result when performing all of the multiplications. The result $a$ has left and right children $b$ and $c$ if $a$ was computed as the product of $b$ and $c$ in that order.


    For example, with $(1,2)(3,(4,5))$, the tree is



     120
    /
    / 60
    2 /
    / 3 20
    1 2 /
    4 5


    This tree corresponds to the triangultion



     1–––––0
    /| /|
    / | / |
    2 | / | 5
    | / | /
    |/ |/
    3–––––4


    whose tree is



     (01)
    /
    / (03)
    (13) /
    / (34) (04)
    (12) (23) /
    (45) (05)





    share|cite|improve this answer























    • I'll likely accept, after I absorb it better. Thanks, +1 for now.
      – coffeemath
      Jul 30 at 16:43






    • 2




      Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
      – templatetypedef
      Jul 30 at 17:53












    up vote
    6
    down vote



    accepted







    up vote
    6
    down vote



    accepted






    There is a nice bijection between both objects and binary trees:



    • Given a triangulation on the polygon with vertices numbered $0$ to $n$, build a tree whose vertices are the edges of the figure, including the $n+1$ edges of the polygon and the $n-2$ internal edges. The root is the external edge connected vertex $0$ to vertex $1$. For each internal edge $e$, which borders two triangles $T_1$ and $T_2$, then supposing $T_1$ is further from the root edge $(0,1)$, then the right (left) child of $e$ is the edge of $T_1$ which is clockwise (anti-clockwise) adjacent to $e$.


    • Given a parenthesization of $x_1cdots x_n$, build a tree with one vertex for each intermediate result when performing all of the multiplications. The result $a$ has left and right children $b$ and $c$ if $a$ was computed as the product of $b$ and $c$ in that order.


    For example, with $(1,2)(3,(4,5))$, the tree is



     120
    /
    / 60
    2 /
    / 3 20
    1 2 /
    4 5


    This tree corresponds to the triangultion



     1–––––0
    /| /|
    / | / |
    2 | / | 5
    | / | /
    |/ |/
    3–––––4


    whose tree is



     (01)
    /
    / (03)
    (13) /
    / (34) (04)
    (12) (23) /
    (45) (05)





    share|cite|improve this answer















    There is a nice bijection between both objects and binary trees:



    • Given a triangulation on the polygon with vertices numbered $0$ to $n$, build a tree whose vertices are the edges of the figure, including the $n+1$ edges of the polygon and the $n-2$ internal edges. The root is the external edge connected vertex $0$ to vertex $1$. For each internal edge $e$, which borders two triangles $T_1$ and $T_2$, then supposing $T_1$ is further from the root edge $(0,1)$, then the right (left) child of $e$ is the edge of $T_1$ which is clockwise (anti-clockwise) adjacent to $e$.


    • Given a parenthesization of $x_1cdots x_n$, build a tree with one vertex for each intermediate result when performing all of the multiplications. The result $a$ has left and right children $b$ and $c$ if $a$ was computed as the product of $b$ and $c$ in that order.


    For example, with $(1,2)(3,(4,5))$, the tree is



     120
    /
    / 60
    2 /
    / 3 20
    1 2 /
    4 5


    This tree corresponds to the triangultion



     1–––––0
    /| /|
    / | / |
    2 | / | 5
    | / | /
    |/ |/
    3–––––4


    whose tree is



     (01)
    /
    / (03)
    (13) /
    / (34) (04)
    (12) (23) /
    (45) (05)






    share|cite|improve this answer















    share|cite|improve this answer



    share|cite|improve this answer








    edited Jul 30 at 16:44


























    answered Jul 30 at 16:20









    Mike Earnest

    14.8k11644




    14.8k11644











    • I'll likely accept, after I absorb it better. Thanks, +1 for now.
      – coffeemath
      Jul 30 at 16:43






    • 2




      Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
      – templatetypedef
      Jul 30 at 17:53
















    • I'll likely accept, after I absorb it better. Thanks, +1 for now.
      – coffeemath
      Jul 30 at 16:43






    • 2




      Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
      – templatetypedef
      Jul 30 at 17:53















    I'll likely accept, after I absorb it better. Thanks, +1 for now.
    – coffeemath
    Jul 30 at 16:43




    I'll likely accept, after I absorb it better. Thanks, +1 for now.
    – coffeemath
    Jul 30 at 16:43




    2




    2




    Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
    – templatetypedef
    Jul 30 at 17:53




    Here’s an excellent series of blog posts about this correspondence with tons of cool applications to binary search trees.
    – templatetypedef
    Jul 30 at 17:53










    up vote
    3
    down vote













    Here is a possible way, which makes use of the intrinsically similar recursive property of both numbers.



    I'm assuming the vertices of the $(n+1)$-gon are numbered counterclockwise from $1$ to $n+1$.



    Starting from a triangulation.



    In every triangulation, there is one triangle containing the edge $1to 2$. Call the third vertex $k$. The corresponding parenthesizing is going to start with $$(1 ldots k-2)(k-1 ldots n)$$
    Now "on the right" of the edge $2to k$, you have a triangulated $(k-1)$-gon. Rename its vertices from $1$ to $k-1$ starting from the lowest and iterate.



    Similarly "on the left" of the edge $1to k$ there is a triangulated $(n-k+3)$-gon. Rename its vertices from $k-1$ to $n+1$ starting from the lowest and iterate.



    Starting from a parenthesized product.



    • Consider the most external product, say $$(1 ldots k-2)(k-1 ldots n)$$

    • Draw a triangle $1 2 k$

    • Iterate after renumbering the vertices accordingly as before.





    share|cite|improve this answer



























      up vote
      3
      down vote













      Here is a possible way, which makes use of the intrinsically similar recursive property of both numbers.



      I'm assuming the vertices of the $(n+1)$-gon are numbered counterclockwise from $1$ to $n+1$.



      Starting from a triangulation.



      In every triangulation, there is one triangle containing the edge $1to 2$. Call the third vertex $k$. The corresponding parenthesizing is going to start with $$(1 ldots k-2)(k-1 ldots n)$$
      Now "on the right" of the edge $2to k$, you have a triangulated $(k-1)$-gon. Rename its vertices from $1$ to $k-1$ starting from the lowest and iterate.



      Similarly "on the left" of the edge $1to k$ there is a triangulated $(n-k+3)$-gon. Rename its vertices from $k-1$ to $n+1$ starting from the lowest and iterate.



      Starting from a parenthesized product.



      • Consider the most external product, say $$(1 ldots k-2)(k-1 ldots n)$$

      • Draw a triangle $1 2 k$

      • Iterate after renumbering the vertices accordingly as before.





      share|cite|improve this answer

























        up vote
        3
        down vote










        up vote
        3
        down vote









        Here is a possible way, which makes use of the intrinsically similar recursive property of both numbers.



        I'm assuming the vertices of the $(n+1)$-gon are numbered counterclockwise from $1$ to $n+1$.



        Starting from a triangulation.



        In every triangulation, there is one triangle containing the edge $1to 2$. Call the third vertex $k$. The corresponding parenthesizing is going to start with $$(1 ldots k-2)(k-1 ldots n)$$
        Now "on the right" of the edge $2to k$, you have a triangulated $(k-1)$-gon. Rename its vertices from $1$ to $k-1$ starting from the lowest and iterate.



        Similarly "on the left" of the edge $1to k$ there is a triangulated $(n-k+3)$-gon. Rename its vertices from $k-1$ to $n+1$ starting from the lowest and iterate.



        Starting from a parenthesized product.



        • Consider the most external product, say $$(1 ldots k-2)(k-1 ldots n)$$

        • Draw a triangle $1 2 k$

        • Iterate after renumbering the vertices accordingly as before.





        share|cite|improve this answer















        Here is a possible way, which makes use of the intrinsically similar recursive property of both numbers.



        I'm assuming the vertices of the $(n+1)$-gon are numbered counterclockwise from $1$ to $n+1$.



        Starting from a triangulation.



        In every triangulation, there is one triangle containing the edge $1to 2$. Call the third vertex $k$. The corresponding parenthesizing is going to start with $$(1 ldots k-2)(k-1 ldots n)$$
        Now "on the right" of the edge $2to k$, you have a triangulated $(k-1)$-gon. Rename its vertices from $1$ to $k-1$ starting from the lowest and iterate.



        Similarly "on the left" of the edge $1to k$ there is a triangulated $(n-k+3)$-gon. Rename its vertices from $k-1$ to $n+1$ starting from the lowest and iterate.



        Starting from a parenthesized product.



        • Consider the most external product, say $$(1 ldots k-2)(k-1 ldots n)$$

        • Draw a triangle $1 2 k$

        • Iterate after renumbering the vertices accordingly as before.






        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Jul 30 at 21:44


























        answered Jul 30 at 16:35









        Arnaud Mortier

        18.1k21958




        18.1k21958






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2867110%2fcatalan-numbers-and-triangulations%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?