Identifier
Mp00231:
Integer compositions
—bounce path⟶
Dyck paths
Mp00026: Dyck paths —to ordered tree⟶ Ordered trees
Mp00139: Ordered trees —Zeilberger's Strahler bijection⟶ Binary trees
Mp00026: Dyck paths —to ordered tree⟶ Ordered trees
Mp00139: Ordered trees —Zeilberger's Strahler bijection⟶ Binary trees
Images
[1] => [1,0] => [[]] => [.,.]
[1,1] => [1,0,1,0] => [[],[]] => [.,[.,.]]
[2] => [1,1,0,0] => [[[]]] => [[.,.],.]
[1,1,1] => [1,0,1,0,1,0] => [[],[],[]] => [.,[.,[.,.]]]
[1,2] => [1,0,1,1,0,0] => [[],[[]]] => [.,[[.,.],.]]
[2,1] => [1,1,0,0,1,0] => [[[]],[]] => [[.,[.,.]],.]
[3] => [1,1,1,0,0,0] => [[[[]]]] => [[[.,.],.],.]
[1,1,1,1] => [1,0,1,0,1,0,1,0] => [[],[],[],[]] => [.,[.,[.,[.,.]]]]
[1,1,2] => [1,0,1,0,1,1,0,0] => [[],[],[[]]] => [.,[.,[[.,.],.]]]
[1,2,1] => [1,0,1,1,0,0,1,0] => [[],[[]],[]] => [.,[[.,[.,.]],.]]
[1,3] => [1,0,1,1,1,0,0,0] => [[],[[[]]]] => [.,[[[.,.],.],.]]
[2,1,1] => [1,1,0,0,1,0,1,0] => [[[]],[],[]] => [[.,[.,[.,.]]],.]
[2,2] => [1,1,0,0,1,1,0,0] => [[[]],[[]]] => [[.,[[.,.],.]],.]
[3,1] => [1,1,1,0,0,0,1,0] => [[[[]]],[]] => [[[.,[.,.]],.],.]
[4] => [1,1,1,1,0,0,0,0] => [[[[[]]]]] => [[[[.,.],.],.],.]
[1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[]] => [.,[.,[.,[.,[.,.]]]]]
[1,1,1,2] => [1,0,1,0,1,0,1,1,0,0] => [[],[],[],[[]]] => [.,[.,[.,[[.,.],.]]]]
[1,1,2,1] => [1,0,1,0,1,1,0,0,1,0] => [[],[],[[]],[]] => [.,[.,[[.,[.,.]],.]]]
[1,1,3] => [1,0,1,0,1,1,1,0,0,0] => [[],[],[[[]]]] => [.,[.,[[[.,.],.],.]]]
[1,2,1,1] => [1,0,1,1,0,0,1,0,1,0] => [[],[[]],[],[]] => [.,[[.,[.,[.,.]]],.]]
[1,2,2] => [1,0,1,1,0,0,1,1,0,0] => [[],[[]],[[]]] => [.,[[.,[[.,.],.]],.]]
[1,3,1] => [1,0,1,1,1,0,0,0,1,0] => [[],[[[]]],[]] => [.,[[[.,[.,.]],.],.]]
[1,4] => [1,0,1,1,1,1,0,0,0,0] => [[],[[[[]]]]] => [.,[[[[.,.],.],.],.]]
[2,1,1,1] => [1,1,0,0,1,0,1,0,1,0] => [[[]],[],[],[]] => [[.,[.,[.,[.,.]]]],.]
[2,1,2] => [1,1,0,0,1,0,1,1,0,0] => [[[]],[],[[]]] => [[.,[.,[[.,.],.]]],.]
[2,2,1] => [1,1,0,0,1,1,0,0,1,0] => [[[]],[[]],[]] => [[.,[[.,[.,.]],.]],.]
[2,3] => [1,1,0,0,1,1,1,0,0,0] => [[[]],[[[]]]] => [[.,[[[.,.],.],.]],.]
[3,1,1] => [1,1,1,0,0,0,1,0,1,0] => [[[[]]],[],[]] => [[[.,[.,[.,.]]],.],.]
[3,2] => [1,1,1,0,0,0,1,1,0,0] => [[[[]]],[[]]] => [[[.,[[.,.],.]],.],.]
[4,1] => [1,1,1,1,0,0,0,0,1,0] => [[[[[]]]],[]] => [[[[.,[.,.]],.],.],.]
[5] => [1,1,1,1,1,0,0,0,0,0] => [[[[[[]]]]]] => [[[[[.,.],.],.],.],.]
[1,1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[],[]] => [.,[.,[.,[.,[.,[.,.]]]]]]
[1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,1,0,0] => [[],[],[],[],[[]]] => [.,[.,[.,[.,[[.,.],.]]]]]
[1,1,1,2,1] => [1,0,1,0,1,0,1,1,0,0,1,0] => [[],[],[],[[]],[]] => [.,[.,[.,[[.,[.,.]],.]]]]
[1,1,1,3] => [1,0,1,0,1,0,1,1,1,0,0,0] => [[],[],[],[[[]]]] => [.,[.,[.,[[[.,.],.],.]]]]
[1,1,2,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0] => [[],[],[[]],[],[]] => [.,[.,[[.,[.,[.,.]]],.]]]
[1,1,2,2] => [1,0,1,0,1,1,0,0,1,1,0,0] => [[],[],[[]],[[]]] => [.,[.,[[.,[[.,.],.]],.]]]
[1,1,3,1] => [1,0,1,0,1,1,1,0,0,0,1,0] => [[],[],[[[]]],[]] => [.,[.,[[[.,[.,.]],.],.]]]
[1,1,4] => [1,0,1,0,1,1,1,1,0,0,0,0] => [[],[],[[[[]]]]] => [.,[.,[[[[.,.],.],.],.]]]
[1,2,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0] => [[],[[]],[],[],[]] => [.,[[.,[.,[.,[.,.]]]],.]]
[1,2,1,2] => [1,0,1,1,0,0,1,0,1,1,0,0] => [[],[[]],[],[[]]] => [.,[[.,[.,[[.,.],.]]],.]]
[1,2,2,1] => [1,0,1,1,0,0,1,1,0,0,1,0] => [[],[[]],[[]],[]] => [.,[[.,[[.,[.,.]],.]],.]]
[1,2,3] => [1,0,1,1,0,0,1,1,1,0,0,0] => [[],[[]],[[[]]]] => [.,[[.,[[[.,.],.],.]],.]]
[1,3,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0] => [[],[[[]]],[],[]] => [.,[[[.,[.,[.,.]]],.],.]]
[1,3,2] => [1,0,1,1,1,0,0,0,1,1,0,0] => [[],[[[]]],[[]]] => [.,[[[.,[[.,.],.]],.],.]]
[1,4,1] => [1,0,1,1,1,1,0,0,0,0,1,0] => [[],[[[[]]]],[]] => [.,[[[[.,[.,.]],.],.],.]]
[1,5] => [1,0,1,1,1,1,1,0,0,0,0,0] => [[],[[[[[]]]]]] => [.,[[[[[.,.],.],.],.],.]]
[2,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0] => [[[]],[],[],[],[]] => [[.,[.,[.,[.,[.,.]]]]],.]
[2,1,1,2] => [1,1,0,0,1,0,1,0,1,1,0,0] => [[[]],[],[],[[]]] => [[.,[.,[.,[[.,.],.]]]],.]
[2,1,2,1] => [1,1,0,0,1,0,1,1,0,0,1,0] => [[[]],[],[[]],[]] => [[.,[.,[[.,[.,.]],.]]],.]
[2,1,3] => [1,1,0,0,1,0,1,1,1,0,0,0] => [[[]],[],[[[]]]] => [[.,[.,[[[.,.],.],.]]],.]
[2,2,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0] => [[[]],[[]],[],[]] => [[.,[[.,[.,[.,.]]],.]],.]
[2,2,2] => [1,1,0,0,1,1,0,0,1,1,0,0] => [[[]],[[]],[[]]] => [[.,[[.,[[.,.],.]],.]],.]
[2,3,1] => [1,1,0,0,1,1,1,0,0,0,1,0] => [[[]],[[[]]],[]] => [[.,[[[.,[.,.]],.],.]],.]
[2,4] => [1,1,0,0,1,1,1,1,0,0,0,0] => [[[]],[[[[]]]]] => [[.,[[[[.,.],.],.],.]],.]
[3,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0] => [[[[]]],[],[],[]] => [[[.,[.,[.,[.,.]]]],.],.]
[3,1,2] => [1,1,1,0,0,0,1,0,1,1,0,0] => [[[[]]],[],[[]]] => [[[.,[.,[[.,.],.]]],.],.]
[3,2,1] => [1,1,1,0,0,0,1,1,0,0,1,0] => [[[[]]],[[]],[]] => [[[.,[[.,[.,.]],.]],.],.]
[3,3] => [1,1,1,0,0,0,1,1,1,0,0,0] => [[[[]]],[[[]]]] => [[[.,[[[.,.],.],.]],.],.]
[4,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0] => [[[[[]]]],[],[]] => [[[[.,[.,[.,.]]],.],.],.]
[4,2] => [1,1,1,1,0,0,0,0,1,1,0,0] => [[[[[]]]],[[]]] => [[[[.,[[.,.],.]],.],.],.]
[5,1] => [1,1,1,1,1,0,0,0,0,0,1,0] => [[[[[[]]]]],[]] => [[[[[.,[.,.]],.],.],.],.]
[6] => [1,1,1,1,1,1,0,0,0,0,0,0] => [[[[[[[]]]]]]] => [[[[[[.,.],.],.],.],.],.]
[1,1,1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[],[],[]] => [.,[.,[.,[.,[.,[.,[.,.]]]]]]]
[1,1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,0,1,1,0,0] => [[],[],[],[],[],[[]]] => [.,[.,[.,[.,[.,[[.,.],.]]]]]]
[1,1,1,1,2,1] => [1,0,1,0,1,0,1,0,1,1,0,0,1,0] => [[],[],[],[],[[]],[]] => [.,[.,[.,[.,[[.,[.,.]],.]]]]]
[1,1,1,1,3] => [1,0,1,0,1,0,1,0,1,1,1,0,0,0] => [[],[],[],[],[[[]]]] => [.,[.,[.,[.,[[[.,.],.],.]]]]]
[1,1,1,2,1,1] => [1,0,1,0,1,0,1,1,0,0,1,0,1,0] => [[],[],[],[[]],[],[]] => [.,[.,[.,[[.,[.,[.,.]]],.]]]]
[1,1,1,2,2] => [1,0,1,0,1,0,1,1,0,0,1,1,0,0] => [[],[],[],[[]],[[]]] => [.,[.,[.,[[.,[[.,.],.]],.]]]]
[1,1,1,3,1] => [1,0,1,0,1,0,1,1,1,0,0,0,1,0] => [[],[],[],[[[]]],[]] => [.,[.,[.,[[[.,[.,.]],.],.]]]]
[1,1,1,4] => [1,0,1,0,1,0,1,1,1,1,0,0,0,0] => [[],[],[],[[[[]]]]] => [.,[.,[.,[[[[.,.],.],.],.]]]]
[1,1,2,1,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0,1,0] => [[],[],[[]],[],[],[]] => [.,[.,[[.,[.,[.,[.,.]]]],.]]]
[1,1,2,1,2] => [1,0,1,0,1,1,0,0,1,0,1,1,0,0] => [[],[],[[]],[],[[]]] => [.,[.,[[.,[.,[[.,.],.]]],.]]]
[1,1,2,2,1] => [1,0,1,0,1,1,0,0,1,1,0,0,1,0] => [[],[],[[]],[[]],[]] => [.,[.,[[.,[[.,[.,.]],.]],.]]]
[1,1,2,3] => [1,0,1,0,1,1,0,0,1,1,1,0,0,0] => [[],[],[[]],[[[]]]] => [.,[.,[[.,[[[.,.],.],.]],.]]]
[1,1,3,1,1] => [1,0,1,0,1,1,1,0,0,0,1,0,1,0] => [[],[],[[[]]],[],[]] => [.,[.,[[[.,[.,[.,.]]],.],.]]]
[1,1,3,2] => [1,0,1,0,1,1,1,0,0,0,1,1,0,0] => [[],[],[[[]]],[[]]] => [.,[.,[[[.,[[.,.],.]],.],.]]]
[1,1,4,1] => [1,0,1,0,1,1,1,1,0,0,0,0,1,0] => [[],[],[[[[]]]],[]] => [.,[.,[[[[.,[.,.]],.],.],.]]]
[1,1,5] => [1,0,1,0,1,1,1,1,1,0,0,0,0,0] => [[],[],[[[[[]]]]]] => [.,[.,[[[[[.,.],.],.],.],.]]]
[1,2,1,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0,1,0] => [[],[[]],[],[],[],[]] => [.,[[.,[.,[.,[.,[.,.]]]]],.]]
[1,2,1,1,2] => [1,0,1,1,0,0,1,0,1,0,1,1,0,0] => [[],[[]],[],[],[[]]] => [.,[[.,[.,[.,[[.,.],.]]]],.]]
[1,2,1,2,1] => [1,0,1,1,0,0,1,0,1,1,0,0,1,0] => [[],[[]],[],[[]],[]] => [.,[[.,[.,[[.,[.,.]],.]]],.]]
[1,2,1,3] => [1,0,1,1,0,0,1,0,1,1,1,0,0,0] => [[],[[]],[],[[[]]]] => [.,[[.,[.,[[[.,.],.],.]]],.]]
[1,2,2,1,1] => [1,0,1,1,0,0,1,1,0,0,1,0,1,0] => [[],[[]],[[]],[],[]] => [.,[[.,[[.,[.,[.,.]]],.]],.]]
[1,2,2,2] => [1,0,1,1,0,0,1,1,0,0,1,1,0,0] => [[],[[]],[[]],[[]]] => [.,[[.,[[.,[[.,.],.]],.]],.]]
[1,2,3,1] => [1,0,1,1,0,0,1,1,1,0,0,0,1,0] => [[],[[]],[[[]]],[]] => [.,[[.,[[[.,[.,.]],.],.]],.]]
[1,2,4] => [1,0,1,1,0,0,1,1,1,1,0,0,0,0] => [[],[[]],[[[[]]]]] => [.,[[.,[[[[.,.],.],.],.]],.]]
[1,3,1,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0,1,0] => [[],[[[]]],[],[],[]] => [.,[[[.,[.,[.,[.,.]]]],.],.]]
[1,3,1,2] => [1,0,1,1,1,0,0,0,1,0,1,1,0,0] => [[],[[[]]],[],[[]]] => [.,[[[.,[.,[[.,.],.]]],.],.]]
[1,3,2,1] => [1,0,1,1,1,0,0,0,1,1,0,0,1,0] => [[],[[[]]],[[]],[]] => [.,[[[.,[[.,[.,.]],.]],.],.]]
[1,3,3] => [1,0,1,1,1,0,0,0,1,1,1,0,0,0] => [[],[[[]]],[[[]]]] => [.,[[[.,[[[.,.],.],.]],.],.]]
[1,4,1,1] => [1,0,1,1,1,1,0,0,0,0,1,0,1,0] => [[],[[[[]]]],[],[]] => [.,[[[[.,[.,[.,.]]],.],.],.]]
[1,4,2] => [1,0,1,1,1,1,0,0,0,0,1,1,0,0] => [[],[[[[]]]],[[]]] => [.,[[[[.,[[.,.],.]],.],.],.]]
[1,5,1] => [1,0,1,1,1,1,1,0,0,0,0,0,1,0] => [[],[[[[[]]]]],[]] => [.,[[[[[.,[.,.]],.],.],.],.]]
[1,6] => [1,0,1,1,1,1,1,1,0,0,0,0,0,0] => [[],[[[[[[]]]]]]] => [.,[[[[[[.,.],.],.],.],.],.]]
[2,1,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => [[[]],[],[],[],[],[]] => [[.,[.,[.,[.,[.,[.,.]]]]]],.]
[2,1,1,1,2] => [1,1,0,0,1,0,1,0,1,0,1,1,0,0] => [[[]],[],[],[],[[]]] => [[.,[.,[.,[.,[[.,.],.]]]]],.]
[2,1,1,2,1] => [1,1,0,0,1,0,1,0,1,1,0,0,1,0] => [[[]],[],[],[[]],[]] => [[.,[.,[.,[[.,[.,.]],.]]]],.]
[2,1,1,3] => [1,1,0,0,1,0,1,0,1,1,1,0,0,0] => [[[]],[],[],[[[]]]] => [[.,[.,[.,[[[.,.],.],.]]]],.]
[2,1,2,1,1] => [1,1,0,0,1,0,1,1,0,0,1,0,1,0] => [[[]],[],[[]],[],[]] => [[.,[.,[[.,[.,[.,.]]],.]]],.]
[2,1,2,2] => [1,1,0,0,1,0,1,1,0,0,1,1,0,0] => [[[]],[],[[]],[[]]] => [[.,[.,[[.,[[.,.],.]],.]]],.]
>>> Load all 310 entries. <<<Map
bounce path
Description
The bounce path determined by an integer composition.
Map
to ordered tree
Description
Sends a Dyck path to the ordered tree encoding the heights of the path.
This map is recursively defined as follows: A Dyck path D of semilength n may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths D1,…,Dk of respective semilengths n1,…,nk (so one has n=n1+…nk) each of which has no returns.
Denote by ˜Di the path of semilength ni−1 obtained from Di by removing the initial up- and the final down-step.
This map then sends D to the tree T having a root note with ordered children T1,…,Tk which are again ordered trees computed from D1,…,Dk respectively.
The unique path of semilength 1 is sent to the tree consisting of a single node.
This map is recursively defined as follows: A Dyck path D of semilength n may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths D1,…,Dk of respective semilengths n1,…,nk (so one has n=n1+…nk) each of which has no returns.
Denote by ˜Di the path of semilength ni−1 obtained from Di by removing the initial up- and the final down-step.
This map then sends D to the tree T having a root note with ordered children T1,…,Tk which are again ordered trees computed from D1,…,Dk respectively.
The unique path of semilength 1 is sent to the tree consisting of a single node.
Map
Zeilberger's Strahler bijection
Description
Zeilberger's Strahler bijection between ordered and binary trees.
This is a bijection sending the pruning number of the ordered tree to the Strahler number of the binary tree.
This is a bijection sending the pruning number of the ordered tree to the Strahler number of the binary tree.
searching the database
Sorry, this map was not found in the database.