A262503 -id:A262503 - cp's OEIS frontend

A262505 Distance between the positions of the first and the last occurrence of n in A155043: a(n) = A262503(n) - A261089(n).

0, 1, 3, 7, 11, 9, 13, 15, 19, 21, 31, 41, 49, 59, 67, 77, 81, 87, 55, 57, 65, 59, 63, 67, 77, 79, 89, 37, 27, 33, 37, 47, 55, 65, 67, 71, 85, 99, 65, 67, 77, 89, 93, 103, 95, 105, 109, 117, 121, 131, 135, 115, 117, 119, 133, 133, 153, 133, 143, 141, 147, 159, 175, 181, 201, 205, 223, 239, 245, 249, 259, 275, 269, 271, 273, 271, 289, 303, 77

Offset: 0

Antti Karttunen, Sep 25 2015

nonn

Antti Karttunen, Table of n, a(n) for n = 0..110880

Cf. A155043, A259934, A261089, A261103, A262503, A262506.
Cf. A262508 (positions of zeros).
Cf. A262507 (the number of occurrences of n in A155043).

(define (A262505 n) (- (A262503 n) (A261089 n)))

a(n) = A262503(n) - A261089(n).

a(n) = A261103(n) + A262506(n).

A262506 a(n) = A262503(n) - A259934(n).

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 6, 14, 22, 26, 30, 30, 38, 38, 6, 2, 8, 3, 5, 9, 6, 4, 6, 14, 2, 2, 2, 10, 6, 14, 18, 18, 28, 38, 0, 4, 0, 14, 14, 18, 8, 18, 18, 26, 22, 22, 26, 0, 0, 2, 10, 6, 26, 0, 4, 0, 6, 16, 26, 34, 42, 54, 66, 74, 78, 70, 72, 82, 64, 60, 60, 62, 74, 90, 2, 0, 2, 0, 2, 10, 0, 4, 14, 18, 22, 18, 22, 40, 58, 30, 2, 8, 22, 38, 42, 0, 0, 0, 4, 0, 0, 0, 4, 0, 2

Offset: 0

Antti Karttunen, Sep 25 2015

nonn

Antti Karttunen, Table of n, a(n) for n = 0..64800
A. Karttunen, Ratio A261103(n)/a(n) drawn with the help of OEIS Plot2-script

Cf. A259934, A261089, A261103, A262503, A262505.

(define (A262506 n) (- (A262503 n) (A259934 n)))

a(n) = A262503(n) - A259934(n).

A263082 a(n) = Max( A262503(k) : k=0,1,2,3,...,n ), where A262503(k) = largest x such that A155043(x) = k.

Original entry on oeis.org

0, 2, 6, 12, 18, 22, 30, 34, 42, 48, 60, 72, 84, 96, 108, 120, 132, 140, 140, 140, 140, 140, 140, 140, 150, 156, 168, 180, 180, 184, 192, 204, 216, 228, 240, 248, 264, 280, 280, 280, 280, 288, 296, 312, 312, 320, 328, 340, 352, 364, 372, 372, 372, 372, 384, 396, 420, 420, 420, 420, 432, 450, 468, 480, 504, 520, 540, 560, 572, 580, 594, 612, 612, 618, 622, 628, 648, 672, 672, 672, 672, 672

Offset: 0

Antti Karttunen, Oct 09 2015

nonn

From position a(n)+1 onward only terms > n will occur in A155043.

Antti Karttunen, Table of n, a(n) for n = 0..10005

Cf. A155043, A262503, A263077, A263079.

a(0) = 0; for n >= 1, a(n) = max(A262503(n),a(n-1)).
Other identities and observations:
For all n >= 0 and for any k > a(n): A155043(k) > n. [See the comment above.]
For all n >= 0: A155043(a(n)) <= n.

A259934 Infinite sequence starting with a(0)=0 such that A049820(a(k)) = a(k-1) for all k>=1, where A049820(n) = n - (number of divisors of n).

Original entry on oeis.org

0, 2, 6, 12, 18, 22, 30, 34, 42, 46, 54, 58, 62, 70, 78, 90, 94, 102, 106, 114, 118, 121, 125, 129, 144, 152, 162, 166, 174, 182, 190, 194, 210, 214, 222, 230, 236, 242, 250, 254, 270, 274, 282, 294, 298, 302, 310, 314, 330, 342, 346, 354, 358, 366, 374, 390, 394, 402, 410, 418, 426, 434, 442, 446, 462, 466, 474, 486, 494, 510, 522, 530, 546, 558, 562, 566, 574, 582, 590

Offset: 0

Max Alekseyev, Jul 09 2015

Equivalently, satisfies the property: A000005(a(n)) = a(n)-a(n-1). The first differences a(n)-a(n-1) are given in A259935.
V. S. Guba (2015) proved that such an infinite sequence exists. Numerical evidence suggests that it may also be unique -- is it? All terms below 10^10 are defined uniquely.
If the current definition does not uniquely define the sequence, the "lexicographically earliest" condition may be added to make the sequence well-defined.
From Vladimir Shevelev, Jul 21 2015: (Start)
If a(k), a(k+1), a(k+2) is an arithmetic progression, then a(k+1) is in A175304.
Indeed, by the definition of this sequence, a(n)-a(n-1) = d(a(n)), for all n>=1, where d(n) = A000005(n). Hence, have a(k+1) - a(k) = a(k+2) - a(k+1) = d(a(k+1)) = d(a(k+2)). So a(k+1) + d(a(k+2)) = a(k+2) and a(k+1) + d(a(k+1)) = a(k+2).
Therefore, d(a(k+1) + d(a(k+1))) = d(a(k+2))= d(a(k+1)), i.e., a(k+1) is in A175304. Thus, if there are infinitely many pairs of the same consecutive terms of A259935, then A175304 is infinite (see there my conjecture). (End)
From Antti Karttunen, Nov 27 2015: (Start)
If multiple apparently infinite branches would occur at some point of computing, then even if the "lexicographically earliest" condition were then added to the definition, it would not help us much (when computing the sequence), as we would still not know which of the said branches were truly infinite. [See also Max Alekseyev's latter Jul 9 2015 posting on SeqFan-list, where he notes the same thing.] Note that many of the derived sequences tacitly assume that the uniqueness-conjecture is true. See also comments at A262693 and A262896.
One sufficient (but not a necessary) condition for the uniqueness of this sequence is that the sequence A262509 has infinite number of terms. Please see further comments there.
The graph of sequence exhibits two markedly different slopes, depending on whether it is on the "fast lane" of A049820 (even numbers) or the "slow lane" [odd numbers, for example when traversing the 1356 odd terms from 123871 to 113569 at range a(9859) .. a(8504)]. See A263086/A263085 for the "average cumulative speed difference" between the lanes. In general, slow and fast lane stay separate, except when they terminate into one of the squares (A262514) that work as "exchange ramps", forcing the parity (and thus the speed) to change. In average, the odd squares are slightly better than the even squares in attracting lanes going towards smaller numbers (compare A263253 to A263252). The cumulative effect of this bias is that the odd terms are much rarer in this sequence than the even terms (compare A263278 to A262516).
(End)

Robert Israel, Table of n, a(n) for n = 0..64800
M. Alekseyev et al., Apparently unique infinite sequences related to the sum of divisors, Discussion in SeqFan mailing list, 2015.
Michael De Vlieger, Poster illustrating A259934 and A263267
V. S. Guba et al., Sequence and divisors, 2015. (in Russian)

Cf. A000005, A049820, A060990, A259935 (first differences).
Topmost row of A263255. Cf. also irregular tables A263267 & A263265 and array A262898.
Cf. A262693 (characteristic function).
Cf. A155043, A262694, A262904 (left inverses).
Cf. A262514 (squares present), A263276 (their positions), A263277.
Cf. A262517 (odd terms).
Cf. A262509, A262510, A262897 (other subsequences).
Cf. also A175304, A260257, A262680.
Cf. A261089, A261103, A262503, A262506, A262516, A263279, A263280, A263085, A263086, A263253, A263257, A263278.
Cf. also A262679, A262896 (see the C++ program there).
No common terms with A045765 or A262903.
Positions of zeros in A262522, A262695, A262696, A262697, A263254.
Various metrics concerning finite side-trees: A262888, A262889, A262890.
Cf. also A262891, A262892 and A262895 (cf. its graph).
Cf. A260084, A260124 (variants).
Cf. also A179016 (a similar "beanstalk trunk sequence" but with more tractable and regular behavior).

N:= 10^4: # to get "guaranteed unique" terms <= N
S:= Vector(N,datatype=integer[1]):
for n from N+1 to 2*N do
  k:= n - numtheory:-tau(n);
  if k <= N then S[k]:= S[k]+1; B[k]:= n; fi;
od:
for n from N to 3 by -1 do
  if S[n] >= 1 then
    k:= n - numtheory:-tau(n);
    S[k]:= S[k]+1; B[k]:= n;
  fi
od:
A[0]:= 0: A[1]:= 2:
for n from 2 do
  b:= B[A[n-1]];
  if b > N or S[b] > 1 then break fi;
  A[n]:= b;
od:
seq(A[i],i=0..n-1); # Robert Israel, Jul 09 2015

NN = 10^4; (* to get "guaranteed unique" terms <= NN *)
Clear[A, B, S]; S[]=0; For[n = NN+1, n <= 2*NN, n++, k = n-DivisorSigma[0, n]; If[k <= NN, S[k] = S[k]+1; B[k]=n]]; For[n=NN, n >= 3, n--, If[S[n] >= 1 , k = n-DivisorSigma[0, n]; S[k] = S[k]+1; B[k]=n]]; A[0]=0; A[1]=2; For[n=2, True, n++, b = B[A[n-1]]; If[b>NN || S[b]>1, Break[]]; A[n]=b]; Table[A[i], {i, 0, n-1}] (* _Jean-François Alcover, Jul 22 2015, after Robert Israel *)

From Antti Karttunen, Nov 27 2015: (Start)
Other identities and observations. For all n >= 0:
a(n) = A262679(A262896(n)).
A155043(a(n)) = A262694(a(n)) = A262904(a(n)) = n.
A261089(n) <= a(n) <= A262503(n). [A261103 and A262506 give the distances of a(n) to these bounds.]
(End)

A155043 a(0)=0; for n >= 1, a(n) = 1 + a(n-d(n)), where d(n) is the number of divisors of n (A000005).

Original entry on oeis.org

0, 1, 1, 2, 2, 3, 2, 4, 3, 3, 3, 4, 3, 5, 4, 5, 5, 6, 4, 7, 5, 7, 5, 8, 6, 6, 6, 9, 6, 10, 6, 11, 7, 11, 7, 12, 10, 13, 8, 13, 8, 14, 8, 15, 9, 14, 9, 15, 9, 10, 10, 16, 10, 17, 10, 17, 10, 18, 11, 19, 10, 20, 12, 19, 19, 21, 12, 22, 13, 22, 13, 23, 11, 24, 14, 23, 14, 25, 14, 26, 14, 15, 15

Offset: 0

Ctibor O. Zizka, Jan 19 2009

From Antti Karttunen, Sep 23 2015: (Start)
Number of steps needed to reach zero when starting from k = n and repeatedly applying the map that replaces k by k - d(k), where d(k) is the number of divisors of k (A000005).
The original name was: a(n) = 1 + a(n-sigma_0(n)), a(0)=0, sigma_0(n) number of divisors of n.
(End)

Antti Karttunen, Table of n, a(n) for n = 0..124340
B. Balamohan, A. Kuznetsov and S. Tanny, On the behavior of a variant of Hofstadter's Q-sequence, J. Integer Sequences, Vol. 10 (2007), #07.7.1.
Antti Karttunen, Graph plotted with OEIS Plot script up to n=10000
John A. Pelesko, Generalizing the Conway-Hofstadter $10,000 Sequence, Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.5.

Cf. A000005, A049820, A060990, A259934.
Sum of A262676 and A262677.
Cf. A261089 (positions of records, i.e., the first occurrence of n), A262503 (the last occurrence), A262505 (their difference), A263082.
Cf. A262518, A262519 (bisections, compare their scatter plots), A262521 (where the latter is less than the former).
Cf. A261085 (computed for primes), A261088 (for squares).
Cf. A262507 (number of times n occurs in total), A262508 (values occurring only once), A262509 (their indices).
Cf. A263265 (nonnegative integers arranged by the magnitude of a(n)).
Cf. also A263077, A263078, A263079, A263080.
Cf. also A261104, A262680, A262904, A263254, A263259, A263260, A263266, A263270.
Cf. also A004001, A005185.
Cf. A264893 (first differences), A264898 (where repeating values occur).

import Data.List (genericIndex)
a155043 n = genericIndex a155043_list n
a155043_list = 0 : map ((+ 1) . a155043) a049820_list
-- Reinhard Zumkeller, Nov 27 2015

with(numtheory): a := proc (n) if n = 0 then 0 else 1+a(n-tau(n)) end if end proc: seq(a(n), n = 0 .. 90); # Emeric Deutsch, Jan 26 2009

a[0] = 0; a[n_] := a[n] = 1 + a[n - DivisorSigma[0, n]]; Table[a@n, {n, 0, 82}] (* Michael De Vlieger, Sep 24 2015 *)

uplim = 110880; \\ = A002182(30).
v155043 = vector(uplim);
v155043[1] = 1; v155043[2] = 1;
for(i=3, uplim, v155043[i] = 1 + v155043[i-numdiv(i)]);
A155043 = n -> if(!n,n,v155043[n]);
for(n=0, uplim, write("b155043.txt", n, " ", A155043(n)));
\\ Antti Karttunen, Sep 23 2015

from sympy import divisor_count as d
def a(n): return 0 if n==0 else 1 + a(n - d(n))
print([a(n) for n in range(101)]) # Indranil Ghosh, Jun 03 2017

(definec (A155043 n) (if (zero? n) n (+ 1 (A155043 (A049820 n)))))
;; Antti Karttunen, Sep 23 2015

From Antti Karttunen, Sep 23 2015 & Nov 26 2015: (Start)
a(0) = 0; for n >= 1, a(n) = 1 + a(A049820(n)).
a(n) = A262676(n) + A262677(n). - Oct 03 2015.
Other identities. For all n >= 0:
a(A259934(n)) = a(A261089(n)) = a(A262503(n)) = n. [The sequence works as a left inverse for sequences A259934, A261089 and A262503.]
a(n) = A262904(n) + A263254(n).
a(n) = A263270(A263266(n)).
A263265(a(n), A263259(n)) = n.
(End)

Extended by Emeric Deutsch, Jan 26 2009

Name edited by Antti Karttunen, Sep 23 2015

A261089 a(n) = least k such that A155043(k) = n; positions of records in A155043.

Original entry on oeis.org

0, 1, 3, 5, 7, 13, 17, 19, 23, 27, 29, 31, 35, 37, 41, 43, 51, 53, 57, 59, 61, 65, 67, 71, 73, 77, 79, 143, 149, 151, 155, 157, 161, 163, 173, 177, 179, 181, 185, 191, 193, 199, 203, 209, 211, 215, 219, 223, 231, 233, 237, 239, 241, 249, 251, 263, 267, 269, 271, 277, 285, 291, 293, 299, 303, 315, 317, 321, 327, 331, 335, 337, 341, 347, 349, 357, 359, 369, 515

Offset: 0

Antti Karttunen, Sep 23 2015

nonn

Note that there are even terms besides 0, and they all seem to be squares: a(915) = 7744 (= 88^2), a(41844) = 611524 (= 782^2), a(58264) = 872356 (= 934^2), a(66936) = 1020100 (= 1010^2), a(95309) = 1503076 (= 1226^2), a(105456) = 1653796 (= 1286^2), ...

Antti Karttunen, Table of n, a(n) for n = 0..110880

Cf. A000005, A155043, A049820, A259934, A261103.
Cf. A262503 (the last occurrence of n in A155043).
Cf. A262505 (difference between the last and the first occurrence).
Cf. A262507 (the number of occurrences of n in A155043).
Cf also A261085, A261088.

import Data.List (elemIndex); import Data.Maybe (fromJust)
a261089 = fromJust . (`elemIndex` a155043_list)
-- Reinhard Zumkeller, Nov 27 2015

lim = 80; a[0] = 0; a[n_] := a[n] = 1 + a[n - DivisorSigma[0, n]]; t = Table[a@ n, {n, 0, 12 lim}]; Table[First@ Flatten@ Position[t, n] - 1, {n, 0, lim}] (* Michael De Vlieger, Sep 29 2015 *)

allocatemem(123456789);
uplim = 2162160; \\ = A002182(41).
v155043 = vector(uplim);
v155043[1] = 1; v155043[2] = 1;
for(i=3, uplim, v155043[i] = 1 + v155043[i-numdiv(i)]);
A155043 = n -> if(!n,n,v155043[n]);
n=0; k=0; while(k <= 10000, if(A155043(n)==k, write("b261089.txt", k, " ", n); k++); n++;);

;; With Antti Karttunen's IntSeq-library, two variants.
(definec (A261089 n) (let loop ((k 0)) (if (= n (A155043 k)) k (loop (+ 1 k)))))
(define A261089 (RECORD-POS 0 0 A155043))

Other identities. For all n >= 0:

A155043(a(n)) = n.

A262509 Numbers n such that there is no other number k for which A155043(k) = A155043(n).

Original entry on oeis.org

0, 119143, 119147, 119163, 119225, 119227, 119921, 119923, 120081, 120095, 120097, 120101, 120281, 120293, 120349, 120399, 120707, 120747, 120891, 120895, 120903, 120917, 120919, 121443, 121551, 121823, 122079, 122261, 122263, 122273, 122277, 122813, 122961, 123205, 123213, 123223, 123237, 123257, 123765, 24660543, 24660549, 24662311, 24662329, 24663759, 24664997, 24665023, 24665351

Offset: 0

Antti Karttunen, Sep 25 2015

nonn

Starting offset is zero, because a(0) = 0 is a special case in this sequence.
Numbers where A155043 takes a unique value. (Those values are given by A262508.)
Numbers n such that there does not exist any other number h from which one could reach zero in exactly the same number of steps as from n by repeatedly applying the map where k is replaced by k - A000005(k) = A049820(k). Thus in the tree where zero is the root and parent-child relation is given by A049820(child) = parent, all the numbers > n+t (where t is a small value depending on n) have n as their common ancestor. As it is guaranteed that there is at least one infinite path in such a tree, any n in this sequence can be neither a leaf nor any other vertex in a finite side-tree, as then at least one node in the infinite part would have the same distance to the root, thus it must be that n itself is in the infinite part and thus has an infinite number of descendant vertices. Also, for the same reason, the tree cannot branch to two infinite parts from any ancestor of n (which are nodes nearer to the root of the tree, zero).
From the above it follows that if this sequence is infinite, then A259934 is guaranteed to be the only infinite sequence which starts with a(0)=0 and satisfies the condition A049820(a(k)) = a(k-1) for all k>=1, where A049820(n) = n-d(n) and d(n) is the number of divisors of n (A000005).  This is a sufficient condition for the uniqueness of A259934, although not necessary. See e.g. A179016 which is the unique infinite solution to a similar problem, even though A086876 contains no ones after its two initial terms.
Is it possible for any even terms to occur after zero? If not, then apart from zero, this would be a subsequence of A262517.

Antti Karttunen, Table of n, a(n) for n = 0..68

Cf. A000005, A049820, A070319, A155043, A262508.
Subsequence of A259934, A261089, A262503 and A262513.
Cf. A262510 (gives the parent nodes for the terms a(1) onward), A262514, A262516, A262517.
Cf. also A086876, A179016.

\\ Compute A262508 and A262509 at the same time:
allocatemem((2^31)+(2^30));
\\ The limits used are quite ad hoc. Beware of the horizon-effect if you change these.
\\ As a post-check, test that A262509(n) = A259934(A262508(n)) for all the terms produced by this program.
uplim1 = 43243200 + 672; \\ = A002182(54) + A002183(54).
uplim2 = 36756720; \\ = A002182(53).
uplim3 = 10810800; \\
v155043 = vector(uplim1);
v262503 = vector(uplim3);
v262507 = vector(uplim3);
v155043[1] = 1; v155043[2] = 1;
for(i=3, uplim1, v155043[i] = 1 + v155043[i-numdiv(i)]);
A155043 = n -> if(!n,n,v155043[n]);
for(i=1, uplim1, v262503[v155043[i]] = i; v262507[v155043[i]]++; if(!(i%1048576),print1(i,", ")));
A262503 = n -> if(!n,n,v262503[n]);
A262507 = n -> if(!n,1,v262507[n]);
k=0; for(n=0, uplim3, if((1==A262507(n)) && (A262503(n) <= uplim2), write("b262508.txt", k, " ", n); write("b262509.txt", k, " ", A262503(n)); k++));

(define (A262509 n) (A261089 (A262508 n)))

a(n) = A261089(A262508(n)) = A262503(A262508(n)) = A259934(A262508(n)).

A262507 a(n) = number of times n occurs in A155043.

Original entry on oeis.org

1, 2, 3, 5, 4, 5, 6, 4, 4, 4, 8, 4, 4, 5, 8, 7, 7, 7, 7, 8, 5, 6, 6, 8, 10, 7, 8, 7, 7, 5, 5, 6, 6, 8, 6, 7, 7, 7, 4, 5, 5, 6, 6, 8, 7, 5, 5, 6, 7, 11, 5, 4, 5, 8, 12, 7, 9, 5, 8, 8, 9, 10, 14, 11, 12, 11, 9, 11, 13, 12, 12, 11, 11, 11, 12, 12, 10, 9, 9, 9, 8, 6, 10, 9, 10, 8, 7, 7, 8, 11, 10, 10, 12, 9, 7, 6, 5, 5, 5, 5, 4, 7, 8, 6, 7, 9, 7, 5, 11, 13, 13, 8, 10, 12, 13, 10, 12, 16, 9, 8, 12

Offset: 0

Antti Karttunen, Sep 25 2015

nonn

Records are: 1, 2, 3, 5, 6, 8, 10, 11, 12, 14, 16, 17, 19, 21, 22, 24, 25, 26, 27, 31, 35, 39, 44, ... and they occur at positions: 0, 1, 2, 3, 6, 10, 24, 49, 54, 62, 117, 236, 445, 484, 892, 893, 1022, 1784, 1911, 1912, 1913, 20600, 50822, ...

a(n) gives the length of each row of irregular table A263265.

Antti Karttunen, Table of n, a(n) for n = 0..110880

Cf. A000005, A060990, A155043, A262502, A262505, A263265, A263270, A263279, A263280.
Cf. A261089, A262503.
Cf. A262508 (positions of ones).
Cf. A263260 (partial sums).

allocatemem(123456789);
uplim = 2162160; \\ = A002182(41).
v155043 = vector(uplim);
v155043[1] = 1; v155043[2] = 1;
for(i=3, uplim, v155043[i] = 1 + v155043[i-numdiv(i)]);
uplim2 = 110880; \\ = A002182(30).
v262507 = vector(uplim2);
for(i=1, uplim, if(v155043[i] <= uplim2, v262507[v155043[i]]++));
A262507 = n -> if(!n,1,v262507[n]);
for(n=0, uplim2, write("b262507.txt", n, " ", A262507(n)));

(define (A262507 n) (add (lambda (k) (if (= (A155043 k) n) 1 0)) n (A262502 (+ 2 n))))
;; Auxiliary function add implements sum_{i=lowlim..uplim} intfun(i)
(define (add intfun lowlim uplim) (let sumloop ((i lowlim) (res 0)) (cond ((> i uplim) res) (else (sumloop (1+ i) (+ res (intfun i)))))))

a(n) = Sum_{k=n..A262502(2+n)} [A155043(k) == n]. (Here [...] denotes the Iverson bracket, resulting 1 when A155043(k) is n and 0 otherwise.)
Other identities. For all n >= 0:
a(n) = A263279(n) + A263280(n).

A263265 Irregular triangle T(n,k), n >= 0, k = 1 .. A262507(n), read by rows, where each row n lists in ascending order all integers x for which A155043(x) = n.

Original entry on oeis.org

0, 1, 2, 3, 4, 6, 5, 8, 9, 10, 12, 7, 11, 14, 18, 13, 15, 16, 20, 22, 17, 24, 25, 26, 28, 30, 19, 21, 32, 34, 23, 38, 40, 42, 27, 44, 46, 48, 29, 36, 49, 50, 52, 54, 56, 60, 31, 33, 58, 72, 35, 62, 66, 84, 37, 39, 68, 70, 96, 41, 45, 74, 76, 78, 80, 104, 108, 43, 47, 81, 82, 88, 90, 120, 51, 83, 85, 86, 94, 128, 132, 53, 55, 87, 92, 102, 136, 140

Offset: 0

Antti Karttunen, Nov 24 2015

			Rows 0 - 8 of the triangle:
0;
1, 2;
3, 4, 6;
5, 8, 9, 10, 12;
7, 11, 14, 18;
13, 15, 16, 20, 22;
17, 24, 25, 26, 28, 30;
19, 21, 32, 34;
23, 38, 40, 42;
Row n contains A262507(n) terms, the first of which is A261089(n) and the last of which is A262503(n). For all terms on row n, A155043(n) = n.

Inverse: A263266.
Cf. A261089 (left edge), A262503 (right edge), A262507 (number of terms on each row).
Cf. A263279 (gives the positions of terms of A259934 on each row), A263280 (and their distance from the right edge).
Cf. A155043, A263259, A263270.
Cf. also permutations A263267 & A263268 and A263255 & A263256.
Differs from A263267 for the first time at n=31, where a(31) = 38, while A263267(31) = 40.

Other identities. For all n >= 0:

A155043(a(n)) = A263270(n).

A263077 a(n) = greatest k where A155043(k) < A155043(n).

Original entry on oeis.org

0, 0, 2, 2, 6, 2, 12, 6, 6, 6, 12, 6, 18, 12, 18, 18, 22, 12, 30, 18, 30, 18, 34, 22, 22, 22, 42, 22, 48, 22, 60, 30, 60, 30, 72, 48, 84, 34, 84, 34, 96, 34, 108, 42, 96, 42, 108, 42, 48, 48, 120, 48, 132, 48, 132, 48, 140, 60, 140, 48, 140, 72, 140, 140, 140, 72, 140, 84, 140, 84, 140, 60, 140, 96, 140, 96, 150, 96, 156, 96, 108, 108, 120, 72, 120, 120, 132, 108, 140, 108, 140, 132, 140, 120, 140, 84

Offset: 1

Antti Karttunen, Oct 09 2015

nonn

Antti Karttunen, Table of n, a(n) for n = 1..124340

Cf. A155043, A261089, A262503, A263078, A263079, A263080, A263082.

a[0] = 0; a[n_] := a[n] = 1 + a[n - DivisorSigma[0, n]]; Table[k = 3 n;
While[a@ k >= a@ n, k--]; k, {n, 96}] (* Michael De Vlieger, Oct 13 2015 *)

allocatemem((2^31)+(2^30));
uplim1 = 36756720 + 640; \\ = A002182(53) + A002183(53).
uplim2 = 36756720; \\ = A002182(53).
uplim3 = 32432400; \\ = A002182(52). Really just some Ad Hoc value smaller than above.
v155043 = vector(uplim1);
vother = vector(uplim3); \\ Contains A262503 and A263082 in succession.
v155043[1] = 1; v155043[2] = 1;
for(i=3, uplim1, v155043[i] = 1 + v155043[i-numdiv(i)]; if(!(i%1048576),print1(i,", ")));
A155043 = n -> if(!n,n,v155043[n]);
maxlen = 0; for(i=1, uplim2, len = v155043[i]; vother[len] = i; maxlen = max(maxlen,len); if(!(i%1048576),print1(i,", "))); \\ First it will be A262503.
print("uplim2=", uplim2, " uplim3=", uplim3, " maxlen=", maxlen);
\\ Then we convert it to A263082:
m = 0; for(i=1, maxlen, m = max(m, vother[i]); vother[i] = m; if(!(i%1048576),print1(i,", ")));
A263082 = n -> if(!n,n,vother[n]);
A263077 = n -> A263082(A155043(n)-1);
\\ Finally we can compute A263077:
for(i=1, uplim3, write("b263077.txt", i, " ", A263077(i)); );

a(n) = A263082(A155043(n)-1).

cp's OEIS Frontend

A262505 Distance between the positions of the first and the last occurrence of n in A155043: a(n) = A262503(n) - A261089(n).

Views

Author

Keywords

Links

Crossrefs

Programs

Scheme

Formula

A262506 a(n) = A262503(n) - A259934(n).

Views

Author

Keywords

Links

Crossrefs

Programs

Scheme

Formula

A263082 a(n) = Max( A262503(k) : k=0,1,2,3,...,n ), where A262503(k) = largest x such that A155043(x) = k.

Views

Author

Keywords

Comments

Links

Crossrefs

Formula

A259934 Infinite sequence starting with a(0)=0 such that A049820(a(k)) = a(k-1) for all k>=1, where A049820(n) = n - (number of divisors of n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A155043 a(0)=0; for n >= 1, a(n) = 1 + a(n-d(n)), where d(n) is the number of divisors of n (A000005).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Python

Scheme

Formula

Extensions

A261089 a(n) = least k such that A155043(k) = n; positions of records in A155043.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Haskell

Mathematica

PARI

Scheme

Formula

A262509 Numbers n such that there is no other number k for which A155043(k) = A155043(n).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

PARI

Scheme

Formula

A262507 a(n) = number of times n occurs in A155043.

Views