login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A257250 Numbers n for which A256999(n) = n; numbers that cannot be made any larger by rotating (by one or more steps) the non-msb bits of their binary representation (with A080541 or A080542). 11

%I #64 Nov 05 2019 07:24:55

%S 0,1,2,3,4,6,7,8,12,14,15,16,24,26,28,30,31,32,48,52,56,58,60,62,63,

%T 64,96,100,104,106,112,114,116,118,120,122,124,126,127,128,192,200,

%U 208,212,224,226,228,232,234,236,240,242,244,246,248,250,252,254,255,256,384,392,400,416,420,424,426,448,450

%N Numbers n for which A256999(n) = n; numbers that cannot be made any larger by rotating (by one or more steps) the non-msb bits of their binary representation (with A080541 or A080542).

%C These correspond to the maximal (lexicographically largest) representatives selected from each equivalence class of binary necklaces. See the last example.

%C Indexing starts from zero, because a(0) = 0 is a special case.

%C If k is a member then so also is 2*k, i.e., k with 0 appended to the end of its binary representation.

%C If k is a member then so also is A004755(k), i.e., k with 1 prepended to the front of its binary representation.

%C One obtains A065609 if one erases the most significant bit of each term [as A053645(a(n))] and then discards any zero-terms produced from the terms that originally were powers of two (A000079).

%C First differs from A328607 in lacking 108, with binary expansion 1101100. If we define a dual-necklace to be a finite sequence that is lexicographically maximal (not minimal) among all of its cyclic rotations, these are numbers whose binary expansion, without the most significant digit, is a dual-necklace. - _Gus Wiseman_, Nov 04 2019

%H Antti Karttunen, <a href="/A257250/b257250.txt">Table of n, a(n) for n = 0..16637</a>

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Necklace_%28combinatorics%29">Necklace (combinatorics)</a>

%H <a href="/index/Ne#necklaces">Index entries for sequences related to necklaces</a>

%e For n = 5, with binary representation "101", if we rotate other bits than the most significant bit (that is, only the two rightmost digits "01") one step to either direction, we get "110" = 6 > 5, so 5 can be made larger by such rotations, and thus is NOT included in this sequence.

%e For n = 6, with binary representation "110", no such rotation will yield a larger number, and thus 6 is included in this sequence.

%e For n = 28, with binary representation "11100", if we rotate non-msb bits towards right, we get additional numbers 22, 19 and 25 (with binary representations "10110", "10011", "11001") before coming to 28 again, and 28 is the largest of these numbers, thus 28 is included in this sequence.

%e Also, if we discard the most significant bit of each and consider them just as binary strings, then A053645(28) = 12 is the lexicographically largest representative of {"1100", "0110", "0011", "1001"}, which is the complete set of representatives for a particular equivalence class of binary necklaces, obtained by rotating all bits of binary string "1100" successively towards right or left.

%t reckQ[q_]:=Array[OrderedQ[{RotateRight[q,#],q}]&,Length[q]-1,1,And];

%t Select[Range[0,110],#<=1||reckQ[Rest[IntegerDigits[#,2]]]&] (* _Gus Wiseman_, Nov 04 2019 *)

%o (Scheme, with _Antti Karttunen_'s IntSeq-library)

%o (define A257250 (MATCHING-POS 0 0 (lambda (n) (= n (A256999 n)))))

%Y Complement: A257739.

%Y Odd terms: A000225.

%Y Subsequence of A065609.

%Y Cf. A004755, A053645, A080541, A080542, A256999.

%Y Subsequence: A258003.

%Y The non-dual version is A328668.

%Y The version involving all digits is A065609.

%Y The non-dual reversed version is A328607.

%Y Numbers whose reversed binary expansion is a necklace are A328595.

%Y Binary necklaces are A000031.

%Y Necklace compositions are A008965.

%Y Cf. A000120, A001037, A003714, A014081, A069010, A275692, A328594, A328596.

%K nonn,base

%O 0,3

%A _Antti Karttunen_, May 16 2015

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 25 08:27 EDT 2024. Contains 371964 sequences. (Running on oeis4.)