UpDownRuns
Maximal monotone runs, with p(1) counted alone when it is a descent.
✓ checked against that system · ! checked, with disagreements (hover a chip)FindStat
St000638via Permutation✓UpDownRuns(p)Maximal monotone runs, with p(1) counted alone when it is a descent.Typed signatures
| Type | Package | Applies |
|---|---|---|
(list<integer> | permutation) -> number | combinatorics | always |
Details
- Defined over
Permutationas an expression in_x, evaluated by compute-engine — the definition IS the implementation. - Takes a
Permutation, and also a bare list of integers: this reading compares entries with each other rather than with their positions, so it stands on any sequence.
Definition
Epsil, as the implementation runs it.
on Permutation, over _x
0 if Length(_x) < 1 else 1 if Length(_x) < 2 else (0 if Length(_x) < 3 else Apply((w: list<integer>) => Count(Filter(
Range(2, Length(w) - 1),
Function(w[i - 1] <
w[i] &&
w[i] >
w[i + 1], i),
)), _x) +
Apply(
(w: list<integer>) => Count(Filter(
Range(2, Length(w) - 1),
Function(w[i - 1] <
w[i] &&
w[i] >
w[i + 1], i),
)),
Map(
Function(Length(_x) + 1 -
_x[i], i),
Range(1, Length(_x)),
),
)) +
2 if _x[1] > _x[2] else (0 if Length(_x) <
3 else Apply((w: list<integer>) => Count(Filter(
Range(2, Length(w) - 1),
Function(w[i - 1] <
w[i] &&
w[i] >
w[i + 1], i),
)), _x) +
Apply(
(w: list<integer>) => Count(Filter(
Range(2, Length(w) - 1),
Function(w[i - 1] <
w[i] &&
w[i] >
w[i + 1], i),
)),
Map(Function(Length(_x) + 1 -
_x[i], i), Range(1, Length(_x))),
)) +
1Examples
Basic #
Properties #
About
| Examples | 6 |
|---|---|
| Crosswalk | FindStat |