cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A374767 Numbers k such that the leaders of strictly decreasing runs in the k-th composition in standard order are distinct.

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 8, 9, 11, 12, 13, 16, 17, 18, 19, 20, 24, 25, 32, 33, 34, 35, 37, 38, 40, 41, 44, 48, 49, 50, 52, 64, 65, 66, 67, 68, 69, 70, 72, 74, 75, 77, 78, 80, 81, 82, 83, 88, 89, 92, 96, 97, 98, 101, 102, 104, 105, 108, 128, 129, 130, 131, 132, 133
Offset: 1

Views

Author

Gus Wiseman, Jul 29 2024

Keywords

Comments

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.

Examples

			The 10000000th composition in standard order is (3,1,4,3,2,1,2,8), with strictly decreasing runs ((3,1),(4,3,2,1),(2),(8)), with leaders (3,4,2,1) so 10000000 is in the sequence.
The terms together with the corresponding compositions begin:
   0: ()
   1: (1)
   2: (2)
   4: (3)
   5: (2,1)
   6: (1,2)
   8: (4)
   9: (3,1)
  11: (2,1,1)
  12: (1,3)
  13: (1,2,1)
  16: (5)
  17: (4,1)
  18: (3,2)
  19: (3,1,1)
  20: (2,3)
  24: (1,4)
  25: (1,3,1)
		

Crossrefs

The opposite version is A374698, counted by A374687.
The weak version is A374701, counted by A374743.
For identical instead of distinct runs we have A374759, counted by A374760.
Compositions of this type are counted by A374761.
All of the following pertain to compositions in standard order:
- Length is A000120.
- Sum is A029837(n+1).
- Parts are listed by A066099.
- Number of adjacent equal pairs is A124762, unequal A333382.
- Run-length transform is A333627, sum A070939.
- Run-compression transform is A373948, sum A373953, excess A373954.
- Ranks of contiguous compositions are A374249, counted by A274174.
Six types of runs:

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    Select[Range[0,100],UnsameQ@@First/@Split[stc[#],Greater]&]