The On-Line Encyclopedia of Integer Sequences (OEIS)

Revision History for A246262

(Bold, blue-underlined text is an addition; faded, red-underlined text is a ~~deletion~~.)
Showing all changes.

A246262

Inverse function to injection A246261, partial sums of A246260.
(history; published version)

#8 by N. J. A. Sloane at Fri Aug 22 16:49:03 EDT 2014

STATUS

editing

approved

#7 by N. J. A. Sloane at Fri Aug 22 16:49:00 EDT 2014

NAME

Inverse function for to injection A246261, partial sums of A246260.

STATUS

proposed

editing

#6 by Antti Karttunen at Fri Aug 22 13:32:08 EDT 2014

STATUS

editing

proposed

#5 by Antti Karttunen at Fri Aug 22 13:29:25 EDT 2014

CROSSREFS

Cf. A246260, A246261, A246264, A246266.

#4 by Antti Karttunen at Thu Aug 21 18:58:16 EDT 2014

LINKS

Antti Karttunen, <a href="/A246262/b246262.txt">Table of n, a(n) for n = 0..10001</a>

#3 by Antti Karttunen at Thu Aug 21 09:54:33 EDT 2014

FORMULA

a(0) = 0, and for n >= 1, a(n) = A246260(n) + A246262a(n-1).

PROG

(definec (A246262 n) (if (<= zero? n 1) n (+ (A246260 n) (A246262 (- n 1)))))

#2 by Antti Karttunen at Thu Aug 21 09:53:28 EDT 2014

NAME

allocated Inverse function for Antti Karttuneninjection A246261, partial sums of A246260.

DATA

0, 1, 1, 2, 3, 3, 3, 3, 3, 4, 5, 6, 7, 8, 9, 9, 10, 10, 10, 10, 10, 10, 10, 11, 11, 12, 12, 13, 13, 13, 14, 15, 15, 16, 17, 18, 19, 20, 21, 22, 23, 23, 24, 24, 25, 25, 25, 26, 27, 28, 28, 28, 29, 29, 29, 29, 30, 30, 31, 32, 32, 32, 32, 32, 33, 33, 33, 33, 33, 34, 34, 35, 35, 35, 35, 36, 36, 36, 36, 36, 36, 37, 38, 39

OFFSET

0,4

FORMULA

a(0) = 0, and for n >= 1, a(n) = A246260(n) + A246262(n-1).

a(n) = n - A246264(n).

Other identities. For all n >= 1 the following holds:

a(A246261(n)) = n. [This works as an inverse function for A246261].

PROG

(Scheme, with memoization-macro definec)

(definec (A246262 n) (if (<= n 1) n (+ (A246260 n) (A246262 (- n 1)))))

CROSSREFS

Cf. A246260, A246261, A246264.

KEYWORD

allocated

nonn

AUTHOR

Antti Karttunen, Aug 21 2014

STATUS

approved

editing

#1 by Antti Karttunen at Thu Aug 21 08:02:59 EDT 2014

NAME

allocated for Antti Karttunen

KEYWORD

allocated

STATUS

approved