Identifier
-
Mp00020:
Binary trees
—to Tamari-corresponding Dyck path⟶
Dyck paths
St001256: Dyck paths ⟶ ℤ
Values
[.,.] => [1,0] => 1
[.,[.,.]] => [1,1,0,0] => 1
[[.,.],.] => [1,0,1,0] => 1
[.,[.,[.,.]]] => [1,1,1,0,0,0] => 1
[.,[[.,.],.]] => [1,1,0,1,0,0] => 1
[[.,.],[.,.]] => [1,0,1,1,0,0] => 1
[[.,[.,.]],.] => [1,1,0,0,1,0] => 1
[[[.,.],.],.] => [1,0,1,0,1,0] => 1
[.,[.,[.,[.,.]]]] => [1,1,1,1,0,0,0,0] => 1
[.,[.,[[.,.],.]]] => [1,1,1,0,1,0,0,0] => 1
[.,[[.,.],[.,.]]] => [1,1,0,1,1,0,0,0] => 1
[.,[[.,[.,.]],.]] => [1,1,1,0,0,1,0,0] => 1
[.,[[[.,.],.],.]] => [1,1,0,1,0,1,0,0] => 1
[[.,.],[.,[.,.]]] => [1,0,1,1,1,0,0,0] => 1
[[.,.],[[.,.],.]] => [1,0,1,1,0,1,0,0] => 1
[[.,[.,.]],[.,.]] => [1,1,0,0,1,1,0,0] => 1
[[[.,.],.],[.,.]] => [1,0,1,0,1,1,0,0] => 1
[[.,[.,[.,.]]],.] => [1,1,1,0,0,0,1,0] => 1
[[.,[[.,.],.]],.] => [1,1,0,1,0,0,1,0] => 1
[[[.,.],[.,.]],.] => [1,0,1,1,0,0,1,0] => 1
[[[.,[.,.]],.],.] => [1,1,0,0,1,0,1,0] => 1
[[[[.,.],.],.],.] => [1,0,1,0,1,0,1,0] => 1
[.,[.,[.,[.,[.,.]]]]] => [1,1,1,1,1,0,0,0,0,0] => 1
[.,[.,[.,[[.,.],.]]]] => [1,1,1,1,0,1,0,0,0,0] => 1
[.,[.,[[.,.],[.,.]]]] => [1,1,1,0,1,1,0,0,0,0] => 1
[.,[.,[[.,[.,.]],.]]] => [1,1,1,1,0,0,1,0,0,0] => 1
[.,[.,[[[.,.],.],.]]] => [1,1,1,0,1,0,1,0,0,0] => 1
[.,[[.,.],[.,[.,.]]]] => [1,1,0,1,1,1,0,0,0,0] => 1
[.,[[.,.],[[.,.],.]]] => [1,1,0,1,1,0,1,0,0,0] => 1
[.,[[.,[.,.]],[.,.]]] => [1,1,1,0,0,1,1,0,0,0] => 1
[.,[[[.,.],.],[.,.]]] => [1,1,0,1,0,1,1,0,0,0] => 1
[.,[[.,[.,[.,.]]],.]] => [1,1,1,1,0,0,0,1,0,0] => 1
[.,[[.,[[.,.],.]],.]] => [1,1,1,0,1,0,0,1,0,0] => 1
[.,[[[.,.],[.,.]],.]] => [1,1,0,1,1,0,0,1,0,0] => 1
[.,[[[.,[.,.]],.],.]] => [1,1,1,0,0,1,0,1,0,0] => 1
[.,[[[[.,.],.],.],.]] => [1,1,0,1,0,1,0,1,0,0] => 1
[[.,.],[.,[.,[.,.]]]] => [1,0,1,1,1,1,0,0,0,0] => 1
[[.,.],[.,[[.,.],.]]] => [1,0,1,1,1,0,1,0,0,0] => 1
[[.,.],[[.,.],[.,.]]] => [1,0,1,1,0,1,1,0,0,0] => 1
[[.,.],[[.,[.,.]],.]] => [1,0,1,1,1,0,0,1,0,0] => 1
[[.,.],[[[.,.],.],.]] => [1,0,1,1,0,1,0,1,0,0] => 1
[[.,[.,.]],[.,[.,.]]] => [1,1,0,0,1,1,1,0,0,0] => 1
[[.,[.,.]],[[.,.],.]] => [1,1,0,0,1,1,0,1,0,0] => 1
[[[.,.],.],[.,[.,.]]] => [1,0,1,0,1,1,1,0,0,0] => 1
[[[.,.],.],[[.,.],.]] => [1,0,1,0,1,1,0,1,0,0] => 1
[[.,[.,[.,.]]],[.,.]] => [1,1,1,0,0,0,1,1,0,0] => 1
[[.,[[.,.],.]],[.,.]] => [1,1,0,1,0,0,1,1,0,0] => 1
[[[.,.],[.,.]],[.,.]] => [1,0,1,1,0,0,1,1,0,0] => 1
[[[.,[.,.]],.],[.,.]] => [1,1,0,0,1,0,1,1,0,0] => 1
[[[[.,.],.],.],[.,.]] => [1,0,1,0,1,0,1,1,0,0] => 1
[[.,[.,[.,[.,.]]]],.] => [1,1,1,1,0,0,0,0,1,0] => 1
[[.,[.,[[.,.],.]]],.] => [1,1,1,0,1,0,0,0,1,0] => 1
[[.,[[.,.],[.,.]]],.] => [1,1,0,1,1,0,0,0,1,0] => 1
[[.,[[.,[.,.]],.]],.] => [1,1,1,0,0,1,0,0,1,0] => 1
[[.,[[[.,.],.],.]],.] => [1,1,0,1,0,1,0,0,1,0] => 1
[[[.,.],[.,[.,.]]],.] => [1,0,1,1,1,0,0,0,1,0] => 1
[[[.,.],[[.,.],.]],.] => [1,0,1,1,0,1,0,0,1,0] => 1
[[[.,[.,.]],[.,.]],.] => [1,1,0,0,1,1,0,0,1,0] => 1
[[[[.,.],.],[.,.]],.] => [1,0,1,0,1,1,0,0,1,0] => 1
[[[.,[.,[.,.]]],.],.] => [1,1,1,0,0,0,1,0,1,0] => 1
[[[.,[[.,.],.]],.],.] => [1,1,0,1,0,0,1,0,1,0] => 1
[[[[.,.],[.,.]],.],.] => [1,0,1,1,0,0,1,0,1,0] => 1
[[[[.,[.,.]],.],.],.] => [1,1,0,0,1,0,1,0,1,0] => 1
[[[[[.,.],.],.],.],.] => [1,0,1,0,1,0,1,0,1,0] => 2
[.,[.,[.,[.,[.,[.,.]]]]]] => [1,1,1,1,1,1,0,0,0,0,0,0] => 1
[.,[.,[.,[.,[[.,.],.]]]]] => [1,1,1,1,1,0,1,0,0,0,0,0] => 1
[.,[.,[.,[[.,.],[.,.]]]]] => [1,1,1,1,0,1,1,0,0,0,0,0] => 1
[.,[.,[.,[[.,[.,.]],.]]]] => [1,1,1,1,1,0,0,1,0,0,0,0] => 1
[.,[.,[.,[[[.,.],.],.]]]] => [1,1,1,1,0,1,0,1,0,0,0,0] => 1
[.,[.,[[.,.],[.,[.,.]]]]] => [1,1,1,0,1,1,1,0,0,0,0,0] => 1
[.,[.,[[.,.],[[.,.],.]]]] => [1,1,1,0,1,1,0,1,0,0,0,0] => 1
[.,[.,[[.,[.,.]],[.,.]]]] => [1,1,1,1,0,0,1,1,0,0,0,0] => 1
[.,[.,[[[.,.],.],[.,.]]]] => [1,1,1,0,1,0,1,1,0,0,0,0] => 1
[.,[.,[[.,[.,[.,.]]],.]]] => [1,1,1,1,1,0,0,0,1,0,0,0] => 1
[.,[.,[[.,[[.,.],.]],.]]] => [1,1,1,1,0,1,0,0,1,0,0,0] => 1
[.,[.,[[[.,.],[.,.]],.]]] => [1,1,1,0,1,1,0,0,1,0,0,0] => 1
[.,[.,[[[.,[.,.]],.],.]]] => [1,1,1,1,0,0,1,0,1,0,0,0] => 1
[.,[.,[[[[.,.],.],.],.]]] => [1,1,1,0,1,0,1,0,1,0,0,0] => 1
[.,[[.,.],[.,[.,[.,.]]]]] => [1,1,0,1,1,1,1,0,0,0,0,0] => 1
[.,[[.,.],[.,[[.,.],.]]]] => [1,1,0,1,1,1,0,1,0,0,0,0] => 1
[.,[[.,.],[[.,.],[.,.]]]] => [1,1,0,1,1,0,1,1,0,0,0,0] => 1
[.,[[.,.],[[.,[.,.]],.]]] => [1,1,0,1,1,1,0,0,1,0,0,0] => 1
[.,[[.,.],[[[.,.],.],.]]] => [1,1,0,1,1,0,1,0,1,0,0,0] => 1
[.,[[.,[.,.]],[.,[.,.]]]] => [1,1,1,0,0,1,1,1,0,0,0,0] => 1
[.,[[.,[.,.]],[[.,.],.]]] => [1,1,1,0,0,1,1,0,1,0,0,0] => 1
[.,[[[.,.],.],[.,[.,.]]]] => [1,1,0,1,0,1,1,1,0,0,0,0] => 1
[.,[[[.,.],.],[[.,.],.]]] => [1,1,0,1,0,1,1,0,1,0,0,0] => 1
[.,[[.,[.,[.,.]]],[.,.]]] => [1,1,1,1,0,0,0,1,1,0,0,0] => 1
[.,[[.,[[.,.],.]],[.,.]]] => [1,1,1,0,1,0,0,1,1,0,0,0] => 1
[.,[[[.,.],[.,.]],[.,.]]] => [1,1,0,1,1,0,0,1,1,0,0,0] => 1
[.,[[[.,[.,.]],.],[.,.]]] => [1,1,1,0,0,1,0,1,1,0,0,0] => 1
[.,[[[[.,.],.],.],[.,.]]] => [1,1,0,1,0,1,0,1,1,0,0,0] => 1
[.,[[.,[.,[.,[.,.]]]],.]] => [1,1,1,1,1,0,0,0,0,1,0,0] => 1
[.,[[.,[.,[[.,.],.]]],.]] => [1,1,1,1,0,1,0,0,0,1,0,0] => 1
[.,[[.,[[.,.],[.,.]]],.]] => [1,1,1,0,1,1,0,0,0,1,0,0] => 1
[.,[[.,[[.,[.,.]],.]],.]] => [1,1,1,1,0,0,1,0,0,1,0,0] => 1
[.,[[.,[[[.,.],.],.]],.]] => [1,1,1,0,1,0,1,0,0,1,0,0] => 1
[.,[[[.,.],[.,[.,.]]],.]] => [1,1,0,1,1,1,0,0,0,1,0,0] => 1
[.,[[[.,.],[[.,.],.]],.]] => [1,1,0,1,1,0,1,0,0,1,0,0] => 1
[.,[[[.,[.,.]],[.,.]],.]] => [1,1,1,0,0,1,1,0,0,1,0,0] => 1
[.,[[[[.,.],.],[.,.]],.]] => [1,1,0,1,0,1,1,0,0,1,0,0] => 1
>>> Load all 196 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
Number of simple reflexive modules that are 2-stable reflexive.
See Definition 3.1. in the reference for the definition of 2-stable reflexive.
See Definition 3.1. in the reference for the definition of 2-stable reflexive.
Map
to Tamari-corresponding Dyck path
Description
Return the Dyck path associated with a binary tree in consistency with the Tamari order on Dyck words and binary trees.
The bijection is defined recursively as follows:
The bijection is defined recursively as follows:
- a leaf is associated with an empty Dyck path,
- a tree with children $l,r$ is associated with the Dyck word $T(l) 1 T(r) 0$ where $T(l)$ and $T(r)$ are the images of this bijection to $l$ and $r$.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!