A375126 Strictly decreasing run-leader transformation for standard compositions.

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

Offset: 0

Author

Gus Wiseman, Aug 02 2024

Keywords

• nonn

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?

Examples

			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.
		

Links

• Gus Wiseman, Statistics, classes, and transformations of standard compositions.
• Gus Wiseman, Sequences counting and ranking compositions by their leaders (for six types of runs).

Crossrefs

Positions of elements of A233564 are A374767, counted by A374761.

Positions of elements of A272919 are A374759, counted by A374760.

Ranks of rows of A374757 (row-sums A374758).

The weak opposite version is A375123.

The weak version is A375124.

The opposite version is A375125.

A011782 counts compositions.

A238130, A238279, A333755 count compositions by number of runs.

All of the following pertain to compositions in standard order:

- Length is A000120.

- Sum is A029837(n+1) = A070939(n).

- Parts are listed by A066099.

- Number of adjacent equal pairs is A124762, unequal A333382.

- Run-length transform is A333627.

- Run-compression transform is A373948, sum A373953, excess A373954.

- Ranks of contiguous compositions are A374249, counted by A274174.

- Run-sum transformation is A353847.

Six types of runs:

- Count: A124766, A124765, A124768, A124769, A333381, A124767.

- Leaders: A374629, A374740, A374683, A374757, A374515, A374251.

- Rank: A375123, A375124, A375125, A375126, A375127, A373948.

Cf. A065120, A106356, A188920, A238343, A333213, A373949, A374634, A374685, A374744, A374766, A375128.

Programs

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}]

Formula

A000120(a(n)) = A124769(n).

A065120(a(n)) = A065120(n).

A070939(a(n)) = A374758(n).