The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A006257

(Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
Showing entries 1-10 | older changes

A006257

Josephus problem: a(2*n) = 2*a(n)-1, a(2*n+1) = 2*a(n)+1.
(history; published version)

#225 by Joerg Arndt at Wed Feb 07 01:15:22 EST 2024

STATUS

editing

approved

#224 by Paolo P. Lava at Tue Feb 06 15:37:10 EST 2024

COMMENTS

In base 2, n-a(n) is equal to n with all digits reverted (leading zeros not considered). For instance a(43)=23 -> 43 is 101011, 43-23 = 20 is 10100. - Paolo P. Lava, Mar 09 2010

STATUS

approved

editing

#223 by Michael De Vlieger at Mon Aug 28 12:12:30 EDT 2023

STATUS

reviewed

approved

#222 by Joerg Arndt at Mon Aug 28 11:56:59 EDT 2023

STATUS

proposed

reviewed

#221 by Michel Marcus at Mon Aug 28 11:50:41 EDT 2023

STATUS

editing

proposed

Discussion

Mon Aug 28

11:56

Joerg Arndt: Thanks, I learned a thing today...

#220 by Michel Marcus at Mon Aug 28 11:50:32 EDT 2023

REFERENCES

P. Paul Weisenhorn, Josephus und seine Folgen, MNU, 59(2006), pp. 18-19.

STATUS

proposed

editing

#219 by Michel Marcus at Sun Aug 27 14:57:15 EDT 2023

STATUS

editing

proposed

#218 by Michel Marcus at Sun Aug 27 14:57:08 EDT 2023

MATHEMATICA

Table[ FromDigits[ RotateLeft[ IntegerDigits[n, 2]], 2], {n, 0, 80}] (* Robert G. Wilson v , Sep 21 2003 *)

STATUS

proposed

editing

#217 by Jon E. Schoenfield at Sun Aug 27 13:29:24 EDT 2023

STATUS

editing

proposed

Discussion

Sun Aug 27

13:34

Jon E. Schoenfield: @Joerg: I gather that it is, per the “Lexical conventions” section on the page at https://coq.inria.fr/refman/language/core/basic.html

13:56

Stefan Haan: Yes. This also seems to be the only way to write comments in Coq.

#216 by Jon E. Schoenfield at Sun Aug 27 13:26:35 EDT 2023

MATHEMATICA

Flatten@Table[Range[1, 2^n - 1, 2], {n, 0, 5}] (* Birkas Gyorgy , Feb 07 2011 *)

m = 5; Range[2^m - 1] + 1 - Flatten@Table[Reverse@Range[2^n], {n, 0, m - 1}] (* Birkas Gyorgy , Feb 07 2011 *)