|
|
A375126
|
|
Strictly decreasing run-leader transformation for standard compositions.
|
|
16
|
|
|
0, 1, 2, 3, 4, 2, 6, 7, 8, 4, 10, 5, 12, 6, 14, 15, 16, 8, 4, 9, 20, 10, 10, 11, 24, 12, 26, 13, 28, 14, 30, 31, 32, 16, 8, 17, 36, 4, 18, 19, 40, 20, 42, 21, 20, 10, 22, 23, 48, 24, 12, 25, 52, 26, 26, 27, 56, 28, 58, 29, 60, 30, 62, 63, 64, 32, 16, 33, 8, 8
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
The a(n)-th composition in standard order lists the leaders of strictly decreasing runs in the n-th composition in standard order.
The leaders of strictly decreasing runs in a sequence are obtained by splitting it into maximal strictly decreasing subsequences and taking the first term of each.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Does this sequence contain all nonnegative integers?
|
|
LINKS
|
|
|
FORMULA
|
|
|
EXAMPLE
|
The 813th composition in standard order is (1,3,2,1,2,1), with strictly decreasing runs ((1),(3,2,1),(2,1)), with leaders (1,3,2). This is the 50th composition in standard order, so a(813) = 50.
|
|
MATHEMATICA
|
stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n, 2]], 1], 0]]//Reverse;
stcinv[q_]:=Total[2^(Accumulate[Reverse[q]])]/2;
Table[stcinv[First/@Split[stc[n], Greater]], {n, 0, 100}]
|
|
CROSSREFS
|
The weak opposite version is A375123.
All of the following pertain to compositions in standard order:
- Run-sum transformation is A353847.
Six types of runs:
Cf. A065120, A106356, A188920, A238343, A333213, A373949, A374634, A374685, A374744, A374766, A375128.
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|