OccurrencesOfInitial123
Triples 1 < j < k ordered as 123 (|123).
✓ checked against that system · ! checked, with disagreements (hover a chip)FindStat
St000804via Permutation✓OccurrencesOfInitial123(p)Triples 1 < j < k ordered as 123 (|123).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) < 3 else Sum(Map(
Function(
Count(Filter(
Range(
j + 1,
Length(_x),
),
Function(
_x[1] <
_x[j] && _x[j] <
_x[k],
k,
),
)),
j,
),
Range(2, Length(_x) - 1),
))Examples
Basic #
Properties #
About
| Examples | 6 |
|---|---|
| Crosswalk | FindStat |