A238007 -id:A238007 - cp's OEIS frontend

A238005 Number of partitions of n into distinct parts such that (greatest part) - (least part) = (number of parts).

0, 0, 0, 1, 0, 1, 1, 2, 0, 2, 2, 2, 2, 2, 1, 4, 3, 2, 3, 3, 2, 4, 4, 4, 3, 4, 2, 5, 5, 3, 5, 6, 3, 5, 3, 5, 6, 6, 4, 6, 6, 4, 6, 6, 3, 7, 7, 7, 6, 6, 5, 7, 7, 5, 6, 8, 6, 8, 8, 6, 8, 8, 4, 9, 6, 7, 9, 9, 7, 7, 9, 8, 9, 9, 5, 9, 7, 8, 10, 10

Offset: 1

Clark Kimberling, Feb 17 2014

Note that partitions into distinct parts are also called strict partitions.
a(n) is the number of strict partitions of n into nearly consecutive parts, that is, the number of ways to write n as a sum of terms i, i+1, i+2, ..., i+k (i>=1, k>=2) where one of the interior parts i+1, i+2, ..., i+k-1 is missing. Examples of nearly consecutive partitions (corresponding to the initial nonzero values of a(n)) are 13, 24, 124, 134, 35, 235, 46, ... . - Don Reble, Sep 07 2021
Let T(n) = n*(n+1)/2 = A000217(n) denote the n-th triangular number.
Theorem A. a(n) = b(n) - c(n), where b(n) is the inverse triangular number sequence A003056, that is, b(n) is the maximal i such that T_i <= n, and c(n) is the number of partitions of n into consecutive parts = number of odd divisors of n = A001227(n).
This theorem was conjectured by Omar E. Pol in February 2018, and proved independently by William J. Keith and Roland Bacher on Sep 05 2021. The elegant proof given in the link below is due to Don Reble.

			a(8) = 2 counts these partitions:  53, 431.

N. J. A. Sloane, Table of n, a(n) for n = 1..20000
N. J. A. Sloane, Proof of Theorem A in A238005

Cf. A000009, A000217, A001227, A003056, A238006, A238007.
a(n) is also the number of zeros in the n-th row of the triangles A196020, A211343, A231345, A236106, A237048 (simpler), A239662, A261699, A271344, A272026, A280850, A285574, A285891, A285914, A286013, A296508 (and possibly others). Omar E. Pol, Feb 17 2018
Row sums of A347579. - Omar E. Pol, Sep 07 2021

z = 70; q[n_] := q[n] = Select[IntegerPartitions[n], Max[Length /@ Split@#] == 1 &]; p1[p_] := p1[p] = DeleteDuplicates[p]; t[p_] := t[p] = Length[p1[p]];
Table[Count[q[n], p_ /; Max[p] - Min[p] < t[p]], {n, z}]  (* A001227 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] <= t[p]], {n, z}] (* A003056 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] == t[p]], {n, z}] (* A238005 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] > t[p]], {n, z}]  (* A238006 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] >= t[p]], {n, z}] (* A238007 *)
{0}~Join~Array[Floor[(Sqrt[1 + 8 #] - 1)/2] - DivisorSum[#, 1 &, OddQ] &, 102] (* Michael De Vlieger, Feb 18 2018 *)

a(n) = if (n, (sqrtint(8*n+1)-1)\2 - sumdiv(n, d, d%2), 0); \\ Michel Marcus, Mar 01 2018

G.f. = (x/(1-x)) * Sum_{k >= 1} x^(k*(k+1)/2) * (1 - x^(k-1)) / (1 - x^k). This follows from Theorem A and the g.f.s for A003056 and A001227. - William J. Keith, Sep 05 2021
a(n) = A238007(n) - A238006(n). - Omar E. Pol, Sep 11 2021
A001227(n) + a(n) + A238006(n) = A000009(n). - R. J. Mathar, Sep 23 2021

Edited by N. J. A. Sloane, Sep 11 2021, mostly to add Theorem A.

A367410 Number of strict integer partitions of n whose semi-sums cover an interval of positive integers.

Original entry on oeis.org

1, 1, 1, 2, 2, 3, 4, 4, 4, 6, 6, 7, 7, 8, 8, 11, 9, 11, 11, 12, 12, 15, 14, 15, 16, 16, 16, 19, 18, 19, 22, 21, 21, 24, 22, 25, 26, 26, 26, 30, 28, 29, 32, 31, 32, 37, 35, 36, 38, 39, 39, 43, 42, 43, 47, 46, 49, 51, 52, 51, 58

Offset: 0

Gus Wiseman, Nov 18 2023

nonn

We define a semi-sum of a multiset to be any sum of a 2-element submultiset. This is different from sums of pairs of elements. For example, 2 is the sum of a pair of elements of {1}, but there are no semi-sums.

			The partition y = (4,2,1) has semi-sums {3,5,6} which are missing 4, so y is not counted under a(7).
The a(1) = 1 through a(9) = 6 partitions:
  (1)  (2)  (3)    (4)    (5)    (6)      (7)    (8)    (9)
            (2,1)  (3,1)  (3,2)  (4,2)    (4,3)  (5,3)  (5,4)
                          (4,1)  (5,1)    (5,2)  (6,2)  (6,3)
                                 (3,2,1)  (6,1)  (7,1)  (7,2)
                                                        (8,1)
                                                        (4,3,2)

For parts instead of sums we have A001227:
- non-strict A034296, ranks A073491
- complement A238007
- non-strict complement A239955, ranks A073492
The non-binary version is A188431:
- non-strict A126796, ranks A325781
- complement A365831
- non-strict complement A365924, ranks A365830
The non-strict version is A367402.
The non-strict complement is A367403.
The complement is counted by A367411.
A000009 counts partitions covering an initial interval, ranks A055932.
A046663 counts partitions w/o submultiset summing to k, strict A365663.
A365543 counts partitions w/ submultiset summing to k, strict A365661.
Cf. A000041, A002033, A261036, A264401, A276024, A284640, A304792, A364272.

Table[Length[Select[IntegerPartitions[n], UnsameQ@@#&&(d=Total/@Subsets[#,{2}]; If[d=={},{}, Range[Min@@d, Max@@d]]==Union[d])&]], {n,0,30}]

A367411 Number of strict integer partitions of n whose semi-sums do not cover an interval of positive integers.

Original entry on oeis.org

0, 0, 0, 0, 0, 0, 0, 1, 2, 2, 4, 5, 8, 10, 14, 16, 23, 27, 35, 42, 52, 61, 75, 89, 106, 126, 149, 173, 204, 237, 274, 319, 369, 424, 490, 560, 642, 734, 838, 952, 1085, 1231, 1394, 1579, 1784, 2011, 2269, 2554, 2872, 3225, 3619, 4054, 4540, 5077, 5671, 6332

Offset: 0

Gus Wiseman, Nov 17 2023

nonn

			The partition y = (4,2,1) has semi-sums {3,5,6} which are missing 4, so y is counted under a(7).
The a(7) = 1 through a(13) = 10 partitions:
  (4,2,1)  (4,3,1)  (5,3,1)  (5,3,2)  (5,4,2)  (6,4,2)    (6,4,3)
           (5,2,1)  (6,2,1)  (5,4,1)  (6,3,2)  (6,5,1)    (6,5,2)
                             (6,3,1)  (6,4,1)  (7,3,2)    (7,4,2)
                             (7,2,1)  (7,3,1)  (7,4,1)    (7,5,1)
                                      (8,2,1)  (8,3,1)    (8,3,2)
                                               (9,2,1)    (8,4,1)
                                               (5,4,2,1)  (9,3,1)
                                               (6,3,2,1)  (10,2,1)
                                                          (6,4,2,1)
                                                          (7,3,2,1)

For parts instead of sums we have A238007:
- complement A001227
- non-strict complement A034296, ranks A073491
- non-strict  A239955, ranks A073492
The non-strict version is A367403.
The non-strict complement is A367402.
The complement is counted by A367410.
The non-binary version is A365831:
- non-strict complement A126796, ranks A325781
- complement A188431
- non-strict A365924, ranks A365830
A000009 counts partitions covering an initial interval, ranks A055932.
A046663 counts partitions w/o submultiset summing to k, strict A365663.
A365543 counts partitions w/ submultiset summing to k, strict A365661.
Cf. A000041, A002033, A261036, A264401, A276024, A284640, A304792, A364272.

Table[Length[Select[IntegerPartitions[n], UnsameQ@@#&&(d=Total/@Subsets[#, {2}];If[d=={},{}, Range[Min@@d,Max@@d]]!=Union[d])&]], {n,0,30}]

A238006 Number of strict partitions of n such that (greatest part) - (least part) > (number of parts).

Original entry on oeis.org

0, 0, 0, 0, 1, 1, 2, 3, 5, 6, 8, 11, 14, 18, 22, 27, 33, 41, 49, 59, 70, 83, 98, 116, 136, 159, 186, 215, 249, 289, 333, 383, 441, 505, 578, 660, 752, 856, 974, 1105, 1252, 1418, 1602, 1808, 2039, 2295, 2581, 2901, 3255, 3649, 4088, 4573, 5111, 5709, 6368

Offset: 1

Clark Kimberling, Feb 17 2014

			a(8) = 3 counts these partitions:  7+1, 6+2, 5+2+1.

Cf. A000009, A001227, A003056, A238005, A238007.

z = 70; q[n_] := q[n] = Select[IntegerPartitions[n], Max[Length /@ Split@#] == 1 &]; p1[p_] := p1[p] = DeleteDuplicates[p]; t[p_] := t[p] = Length[p1[p]];
Table[Count[q[n], p_ /; Max[p] - Min[p] < t[p]], {n, z}]  (* A001227 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] <= t[p]], {n, z}] (* A003056 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] == t[p]], {n, z}] (* A238005 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] > t[p]], {n, z}]  (* A238006 *)
Table[Count[q[n], p_ /; Max[p] - Min[p] >= t[p]], {n, z}] (* A238007 *)

A001227(n) + A238005(n) + a(n) = A000009(n). - R. J. Mathar, Sep 08 2021
From Omar E. Pol, Sep 11 2021: (Start)
a(n) = A000009(n) - A003056(n).
a(n) = A238007(n) - A238005(n). (End)

cp's OEIS Frontend

A238005 Number of partitions of n into distinct parts such that (greatest part) - (least part) = (number of parts).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A367410 Number of strict integer partitions of n whose semi-sums cover an interval of positive integers.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A367411 Number of strict integer partitions of n whose semi-sums do not cover an interval of positive integers.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A238006 Number of strict partitions of n such that (greatest part) - (least part) > (number of parts).

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula