A236565 -id:A236565 - cp's OEIS frontend

A049820 a(n) = n - d(n), where d(n) is the number of divisors of n (A000005).

0, 0, 1, 1, 3, 2, 5, 4, 6, 6, 9, 6, 11, 10, 11, 11, 15, 12, 17, 14, 17, 18, 21, 16, 22, 22, 23, 22, 27, 22, 29, 26, 29, 30, 31, 27, 35, 34, 35, 32, 39, 34, 41, 38, 39, 42, 45, 38, 46, 44, 47, 46, 51, 46, 51, 48, 53, 54, 57, 48, 59, 58, 57, 57, 61, 58, 65

Offset: 1

Clark Kimberling

a(n) is the number of non-divisors of n in 1..n. - Jaroslav Krizek, Nov 14 2009
Also equal to the number of partitions p of n such that max(p)-min(p) = 1. The number of partitions of n with max(p)-min(p) <= 1 is n; there is one with k parts for each 1 <= k <= n. max(p)-min(p) = 0 iff k divides n, leaving n-d(n) with a difference of 1. It is easiest to see this by looking at fixed k with increasing n: for k=3, starting with n=3 the partitions are [1,1,1], [2,1,1], [2,2,1], [2,2,2], [3,2,2], etc. - Giovanni Resta, Feb 06 2006 and Franklin T. Adams-Watters, Jan 30 2011
Number of positive numbers in n-th row of array T given by A049816.
Number of proper non-divisors of n. - Omar E. Pol, May 25 2010
a(n+2) is the sum of the n-th antidiagonal of A225145. - Richard R. Forberg, May 02 2013
For n > 2, number of nonzero terms in n-th row of triangle A051778. - Reinhard Zumkeller, Dec 03 2014
Number of partitions of n of the form [j,j,...,j,i] (j > i). Example: a(7)=5 because we have [6,1], [5,2], [4,3], [3,3,1], and [2,2,2,1]. - Emeric Deutsch, Sep 22 2016

			a(7) = 5; the 5 non-divisors of 7 in 1..7 are 2, 3, 4, 5, and 6.
The 5 partitions of 7 with max(p) - min(p) = 1 are [4,3], [3,2,2], [2,2,2,1], [2,2,1,1,1] and [2,1,1,1,1,1]. - _Emeric Deutsch_, Mar 01 2006

Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
G. E. Andrews, M. Beck, N. Robbins, Partitions with fixed differences between largest and smallest parts, arXiv preprint arXiv:1406.3374 [math.NT], 2014-2015.

Cf. A000005.
One less than A062968, two less than A059292.
Cf. A161664 (partial sums).
Cf. A060990 (number of solutions to a(x) = n).
Cf. A045765 (numbers not occurring in this sequence).
Cf. A236561 (same sequence sorted into ascending order), A236562 (with also duplicates removed), A236565, A262901 and A262903.
Cf. A262511 (numbers that occur only once).
Cf. A055927 (positions of repeated terms).
Cf. A245388 (positions of squares).
Cf. A155043 (number of steps needed to reach zero when iterating a(n)), A262680 (number of nonzero squares encountered).
Cf. A259934 (an infinite trunk of the tree defined by edge-relation a(child) = parent, conjectured to be unique).
Cf. tables and arrays A047916, A051731, A051778, A173540, A173541.
Cf. also arrays A225145, A262898, A263255 and tables A263265, A263267.
Other related sequences: A006218, A006590, A051953, A070824, A094181, A062249, A067391, A076627, A128508, A131187, A134156, A140826, A161886, A177235, A177236, A227874, A228453, A230653, A230654, A231167, A245197, A253473.

List([1..80],n->n-Tau(n)); # Muniru A Asiru, Sep 28 2018

a049820 n = n - a000005 n  -- Reinhard Zumkeller, Feb 06 2012

A049820 := n->n-numtheory[tau](n):
seq(A049820(n), n=1..100);

Table[n - DivisorSigma[0, n], {n, 100}] (* Wesley Ivan Hurt, Nov 19 2014 *)
Array[(# - DivisorSigma[0, #])&, 70] (* Vincenzo Librandi, Dec 29 2015 *)

PARI
```
a(n)=n-numdiv(n)
```

(define (A049820 n) (- n (A000005 n))) ;; Antti Karttunen, Nov 27 2015

a(n) = Sum_{k=1..n} ceiling(n/k)-floor(n/k). - Benoit Cloitre, May 11 2003
G.f.: Sum_{k>0} x^(2*k+1)/(1-x^k)/(1-x^(k+1)). - Emeric Deutsch, Mar 01 2006
a(n) = A006590(n) - A006218(n) = A161886(n) - A000005(n) - A006218(n) + 1 for n >= 1. - Jaroslav Krizek, Nov 14 2009
a(n) = Sum_{k=1..n} A000007(A051731(n,k)). - Reinhard Zumkeller, Mar 09 2010
a(n) = A076627(n) / A000005(n). - Reinhard Zumkeller, Feb 06 2012
For n >= 2, a(n) = A094181(n) / A051953(n). - Antti Karttunen, Nov 27 2015
a(n) = Sum_{k=1..n} ((n mod k) + (-n mod k))/k. - Wesley Ivan Hurt, Dec 28 2015
G.f.: Sum_{j>=2} (x^(j+1)*(1-x^(j-1))/(1-x^j))/(1-x). - Emeric Deutsch, Sep 22 2016
Dirichlet g.f.: zeta(s-1)- zeta(s)^2. - Ilya Gutkovskiy, Apr 12 2017
a(n) = Sum_{i=1..n-1} sign(i mod n-i). - Wesley Ivan Hurt, Sep 27 2018

Edited by Franklin T. Adams-Watters, Jan 30 2012

A060990 Number of solutions to x - d(x) = n, where d(n) is the number of divisors of n (A000005).

Original entry on oeis.org

2, 2, 1, 1, 1, 1, 3, 0, 0, 1, 1, 3, 1, 0, 1, 1, 1, 2, 1, 0, 0, 1, 4, 1, 0, 0, 1, 2, 0, 2, 1, 1, 1, 0, 2, 2, 0, 0, 2, 2, 0, 1, 1, 0, 1, 1, 3, 1, 2, 0, 0, 2, 0, 1, 1, 0, 0, 3, 2, 1, 1, 1, 2, 0, 0, 2, 0, 0, 0, 2, 4, 1, 1, 1, 0, 0, 1, 1, 2, 0, 1, 2, 1, 1, 1, 0, 1, 2, 0, 1, 1, 2, 1, 1, 1, 1, 2, 1, 0, 1, 0, 1, 3, 0, 1, 1

Offset: 0

Labos Elemer, May 11 2001

nonn

If x-d(x) is never equal to n, then n is in A045765 and a(n) = 0.

Number of solutions to A049820(x) = n. - Jaroslav Krizek, Feb 09 2014

			a(11) = 3 because three numbers satisfy equation x-d(x)=11, namely {13,15,16} with {2,4,5} divisors respectively.

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

Cf. A000005, A002183, A049820, A049816, A082284, A155043, A236561, A236565, A259934, A261100, A262507, A262513, A262686.
Cf. A045765 (positions of zeros), A236562 (positions of nonzeros), A262511 (positions of ones).
Cf. A263087 (computed for squares).

lim = 105; s = Table[n - DivisorSigma[0, n], {n, 2 lim + 3}]; Length@ Position[s, #] & /@ Range[0, lim] (* Michael De Vlieger, Sep 29 2015, after Wesley Ivan Hurt at A049820 *)

allocatemem(123456789);
uplim = 2162160; \\ = A002182(41).
v060990 = vector(uplim);
for(n=3, uplim, v060990[n-numdiv(n)]++);
A060990 = n -> if(!n,2,v060990[n]);
uplim2 = 110880; \\ = A002182(30).
for(n=0, uplim2, write("b060990.txt", n, " ", A060990(n)));
\\ Antti Karttunen, Sep 25 2015

(define (A060990 n) (if (zero? n) 2 (add (lambda (k) (if (= (A049820 k) n) 1 0)) n (+ n (A002183 (+ 2 (A261100 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)))))))
;; Proof-of-concept code for the given formula, by Antti Karttunen, Sep 25 2015

a(0) = 2; for n >= 1, a(n) = Sum_{k = n .. n+A002183(2+A261100(n))} [A049820(k) = n]. (Here [...] denotes the Iverson bracket, resulting 1 when A049820(k) is n and 0 otherwise.) - Antti Karttunen, Sep 25 2015, corrected Oct 12 2015.
a(n) = Sum_{k = A082284(n) .. A262686(n)} [A049820(k) = n] (when tacitly assuming that A049820(0) = 0.) - Antti Karttunen, Oct 12 2015
Other identities and observations. For all n >= 0:
a(A045765(n)) = 0. a(A236562(n)) > 0. - Jaroslav Krizek, Feb 09 2014

Offset corrected by Jaroslav Krizek, Feb 09 2014

A045765 k - d(k) never takes these values, where d(k) = A000005(k).

Original entry on oeis.org

7, 8, 13, 19, 20, 24, 25, 28, 33, 36, 37, 40, 43, 49, 50, 52, 55, 56, 63, 64, 66, 67, 68, 74, 75, 79, 85, 88, 98, 100, 103, 108, 109, 112, 113, 116, 117, 123, 124, 126, 131, 132, 133, 134, 136, 140, 143, 145, 150, 153, 156, 159, 160, 163, 164, 167, 168

Offset: 1

David W. Wilson

nonn

Complement of A236562. - Jaroslav Krizek, Feb 09 2014
Positions of zeros in A060990, leaf-nodes in the tree generated by edge-relation A049820(child) = parent. - Antti Karttunen, Oct 06 2015
Since A000005(x) <= 1 + x/2, k is in the sequence if there are no x <= 2*(k+1) with k = x - d(x). - Robert Israel, Oct 12 2015
This can be improved as: k is in the sequence if there are no x <= k + A002183(2+A261100(k)) with k = x - d(x). Cf. also A070319, A262686. - Antti Karttunen, Oct 12 2015
Luca (2005) proved that this seqeunce is infinite. - Amiram Eldar, Jul 26 2025

Antti Karttunen, Table of n, a(n) for n = 1..10000
Florian Luca, On numbers not of the form n-omega(n), Acta Mathematica Hungarica, Vol. 106, No. 1 (2005), pp. 117-135.

Top row of A262898.
Cf. A000005, A002183, A049820, A060990, A070319, A236562, A236565, A261100, A262511, A262686, A262901, A262902, A262903, A262909, A263081.
Cf. A263091 (primes in this sequence), A263095 (squares).
Cf. A259934 (gives the infinite trunk of the same tree, conjectured to be unique).

N:= 1000: # to get all terms <= N
sort(convert({$1..N} minus {seq(x - numtheory:-tau(x), x=1..2*(1+N))},list)); # Robert Israel, Oct 12 2015

lim = 10000; Take[Complement[Range@ lim, Sort@ DeleteDuplicates@ Table[n - DivisorSigma[0, n], {n, lim}]], 57] (* Michael De Vlieger, Oct 13 2015 *)

allocatemem((2^31)+(2^30));
uplim = 36756720 + 640; \\ = A002182(53) + A002183(53).
v060990 = vector(uplim);
for(n=3, uplim, v060990[n-numdiv(n)]++);
A060990 = n -> if(!n,2,v060990[n]);
uplim2 = 36756720;
n=0; k=1; while(n <= uplim2, if(0==A060990(n), write("b045765_big.txt", k, " ", n); k++); n++;);
\\ Antti Karttunen, Oct 09 2015

(define A045765 (ZERO-POS 1 1 A060990))
;; Using also IntSeq-library of Antti Karttunen, Oct 06 2015

A236562 Numbers n such that A049820(x) = n has a solution.

Original entry on oeis.org

0, 1, 2, 3, 4, 5, 6, 9, 10, 11, 12, 14, 15, 16, 17, 18, 21, 22, 23, 26, 27, 29, 30, 31, 32, 34, 35, 38, 39, 41, 42, 44, 45, 46, 47, 48, 51, 53, 54, 57, 58, 59, 60, 61, 62, 65, 69, 70, 71, 72, 73, 76, 77, 78, 80, 81, 82, 83, 84, 86, 87, 89, 90, 91, 92, 93, 94

Offset: 1

Jaroslav Krizek, Feb 09 2014

nonn

Complement of A045765.

			10 is in sequence because A049820(14) = 14 - A000005(14) = 14 - 4 = 10.

Jaroslav Krizek, Table of n, a(n) for n = 1..10000

Cf. A049820, A236561, A236565.

Take[Sort@ DeleteDuplicates@ Table[n - DivisorSigma[0, n], {n, 1200}], 67] (* Michael De Vlieger, Oct 13 2015 *)

A060990(a(n)) > 0.

A236561 Values taken by the A049820, sorted into ascending order.

Original entry on oeis.org

0, 0, 1, 1, 2, 3, 4, 5, 6, 6, 6, 9, 10, 11, 11, 11, 12, 14, 15, 16, 17, 17, 18, 21, 22, 22, 22, 22, 23, 26, 27, 27, 29, 29, 30, 31, 32, 34, 34, 35, 35, 38, 38, 39, 39, 41, 42, 44, 45, 46, 46, 46, 47, 48, 48, 51, 51, 53, 54, 57, 57, 57, 58, 58, 59, 60, 61, 62

Offset: 1

Jaroslav Krizek, Feb 09 2014

nonn

Jaroslav Krizek, Table of n, a(n) for n = 1..10000

Cf. A049820, A236562, A236563, A236564, A236565.

A060991 a(n) is the smallest positive integer c such that the equation A049820(x) = c has exactly n solutions.

Original entry on oeis.org

7, 2, 1, 6, 22, 838, 17638, 192520, 3240114, 219476872, 2146772872, 24443168392

Offset: 0

Labos Elemer, May 11 2001

Essentially same as A236565, except here for n=2 we have a(2) = 1 instead of A236565(2) = 0, because this sequence requires its terms to be strictly positive. - Antti Karttunen, Oct 09 2015

			The solution sets of smallest values of x-d(x) deviations with 1, 2, 3, 4, 5, 6 terms are as follows: {6}, {3, 4}, {9, 10, 12}, {25, 26, 28, 30}, {841, 842, 844, 848, 850}, {17642, 17648, 17650, 17654, 17658, 17670}. Thus difference x-d(x) for x={25, 26, 28, 30} with d(x)={3, 4, 6, 8} divisors is equally 22, so a(4)=22.

Cf. A000005, A049820, A045765, A049816, A236565.

s = Array[# - DivisorSigma[0, #] &, {20000}]; t = Length@ Position[s, #] & /@ Range@ Max@ s; Table[FirstPosition[t, n], {n, 0, 6}] // Flatten (* Michael De Vlieger, Oct 09 2015 *)

a(9)-a(11) from Donovan Johnson, Jan 08 2009

cp's OEIS Frontend

A049820 a(n) = n - d(n), where d(n) is the number of divisors of n (A000005).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Haskell

Maple

Mathematica

PARI

Scheme

Formula

Extensions

A060990 Number of solutions to x - d(x) = n, where d(n) is the number of divisors of n (A000005).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Scheme

Formula

Extensions

A045765 k - d(k) never takes these values, where d(k) = A000005(k).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Scheme

A236562 Numbers n such that A049820(x) = n has a solution.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A236561 Values taken by the A049820, sorted into ascending order.

Views

Author

Keywords

Links

Crossrefs

A060991 a(n) is the smallest positive integer c such that the equation A049820(x) = c has exactly n solutions.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions