- FindStat

edit this statistic or download as text // json

Identifier

St000920: Dyck paths ⟶ ℤ

Values

[] => 0

[1,0] => 1

[1,0,1,0] => 1

[1,1,0,0] => 1

[1,0,1,0,1,0] => 1

[1,0,1,1,0,0] => 1

[1,1,0,0,1,0] => 1

[1,1,0,1,0,0] => 1

[1,1,1,0,0,0] => 2

[1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,1,0,0] => 1

[1,0,1,1,0,0,1,0] => 1

[1,0,1,1,0,1,0,0] => 1

[1,0,1,1,1,0,0,0] => 2

[1,1,0,0,1,0,1,0] => 1

[1,1,0,0,1,1,0,0] => 1

[1,1,0,1,0,0,1,0] => 1

[1,1,0,1,0,1,0,0] => 1

[1,1,0,1,1,0,0,0] => 2

[1,1,1,0,0,0,1,0] => 2

[1,1,1,0,0,1,0,0] => 2

[1,1,1,0,1,0,0,0] => 2

[1,1,1,1,0,0,0,0] => 2

[1,0,1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,0,1,1,0,0] => 1

[1,0,1,0,1,1,0,0,1,0] => 1

[1,0,1,0,1,1,0,1,0,0] => 1

[1,0,1,0,1,1,1,0,0,0] => 2

[1,0,1,1,0,0,1,0,1,0] => 1

[1,0,1,1,0,0,1,1,0,0] => 1

[1,0,1,1,0,1,0,0,1,0] => 1

[1,0,1,1,0,1,0,1,0,0] => 1

[1,0,1,1,0,1,1,0,0,0] => 2

[1,0,1,1,1,0,0,0,1,0] => 2

[1,0,1,1,1,0,0,1,0,0] => 2

[1,0,1,1,1,0,1,0,0,0] => 2

[1,0,1,1,1,1,0,0,0,0] => 2

[1,1,0,0,1,0,1,0,1,0] => 1

[1,1,0,0,1,0,1,1,0,0] => 1

[1,1,0,0,1,1,0,0,1,0] => 1

[1,1,0,0,1,1,0,1,0,0] => 1

[1,1,0,0,1,1,1,0,0,0] => 2

[1,1,0,1,0,0,1,0,1,0] => 1

[1,1,0,1,0,0,1,1,0,0] => 1

[1,1,0,1,0,1,0,0,1,0] => 1

[1,1,0,1,0,1,0,1,0,0] => 1

[1,1,0,1,0,1,1,0,0,0] => 2

[1,1,0,1,1,0,0,0,1,0] => 2

[1,1,0,1,1,0,0,1,0,0] => 2

[1,1,0,1,1,0,1,0,0,0] => 2

[1,1,0,1,1,1,0,0,0,0] => 2

[1,1,1,0,0,0,1,0,1,0] => 2

[1,1,1,0,0,0,1,1,0,0] => 2

[1,1,1,0,0,1,0,0,1,0] => 2

[1,1,1,0,0,1,0,1,0,0] => 2

[1,1,1,0,0,1,1,0,0,0] => 2

[1,1,1,0,1,0,0,0,1,0] => 2

[1,1,1,0,1,0,0,1,0,0] => 2

[1,1,1,0,1,0,1,0,0,0] => 2

[1,1,1,0,1,1,0,0,0,0] => 2

[1,1,1,1,0,0,0,0,1,0] => 2

[1,1,1,1,0,0,0,1,0,0] => 2

[1,1,1,1,0,0,1,0,0,0] => 2

[1,1,1,1,0,1,0,0,0,0] => 2

[1,1,1,1,1,0,0,0,0,0] => 2

[1,0,1,0,1,0,1,0,1,0,1,0] => 1

[1,0,1,0,1,0,1,0,1,1,0,0] => 1

[1,0,1,0,1,0,1,1,0,0,1,0] => 1

[1,0,1,0,1,0,1,1,0,1,0,0] => 1

[1,0,1,0,1,0,1,1,1,0,0,0] => 2

[1,0,1,0,1,1,0,0,1,0,1,0] => 1

[1,0,1,0,1,1,0,0,1,1,0,0] => 1

[1,0,1,0,1,1,0,1,0,0,1,0] => 1

[1,0,1,0,1,1,0,1,0,1,0,0] => 1

[1,0,1,0,1,1,0,1,1,0,0,0] => 2

[1,0,1,0,1,1,1,0,0,0,1,0] => 2

[1,0,1,0,1,1,1,0,0,1,0,0] => 2

[1,0,1,0,1,1,1,0,1,0,0,0] => 2

[1,0,1,0,1,1,1,1,0,0,0,0] => 2

[1,0,1,1,0,0,1,0,1,0,1,0] => 1

[1,0,1,1,0,0,1,0,1,1,0,0] => 1

[1,0,1,1,0,0,1,1,0,0,1,0] => 1

[1,0,1,1,0,0,1,1,0,1,0,0] => 1

[1,0,1,1,0,0,1,1,1,0,0,0] => 2

[1,0,1,1,0,1,0,0,1,0,1,0] => 1

[1,0,1,1,0,1,0,0,1,1,0,0] => 1

[1,0,1,1,0,1,0,1,0,0,1,0] => 1

[1,0,1,1,0,1,0,1,0,1,0,0] => 1

[1,0,1,1,0,1,0,1,1,0,0,0] => 2

[1,0,1,1,0,1,1,0,0,0,1,0] => 2

[1,0,1,1,0,1,1,0,0,1,0,0] => 2

[1,0,1,1,0,1,1,0,1,0,0,0] => 2

[1,0,1,1,0,1,1,1,0,0,0,0] => 2

[1,0,1,1,1,0,0,0,1,0,1,0] => 2

[1,0,1,1,1,0,0,0,1,1,0,0] => 2

[1,0,1,1,1,0,0,1,0,0,1,0] => 2

[1,0,1,1,1,0,0,1,0,1,0,0] => 2

[1,0,1,1,1,0,0,1,1,0,0,0] => 2

[1,0,1,1,1,0,1,0,0,0,1,0] => 2

[1,0,1,1,1,0,1,0,0,1,0,0] => 2

[1,0,1,1,1,0,1,0,1,0,0,0] => 2

>>> Load all 2181 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

click to show known generating functions

Description

The logarithmic height of a Dyck path.
This is the floor of the binary logarithm of the usual height increased by one:
$$ \lfloor\log_2(1+height(D))\rfloor $$

References

[1] Françon, J. Sur le nombre de registres nécessaires à l'évaluation d'une expression arithmétique MathSciNet:0775838

Code

def statistic(D):
    return floor(log(1+D.height(), 2))

Created

Jul 29, 2017 at 15:23 by Martin Rubey

Updated

Jun 17, 2021 at 10:55 by Martin Rubey