OFFSET
0,6
COMMENTS
Let a_1,a_2,...,a_k be a partition of n into distinct parts. We say that this partition can be refined if one of the summands, say a_i can be replaced with two numbers whose sum is a_i and the resulting partition is a partition into distinct parts. For example, the partition 5+2 can be refined because 5 can be replaced by 4+1 to give 4+2+1. If a partition into distinct parts cannot be refined we say that it is maximally refined.
The value of a(0) is taken to be 1 as is often done when considering partitions (also, the empty partition cannot be refined).
This sequence was suggested by Moshe Shmuel Newman.
LINKS
Massimo Lauria, Table of n, a(n) for n = 0..1500 (first 1000 terms by Fausto A. C. Cariboni)
Riccardo Aragona, Lorenzo Campioni, Roberto Civino, and Massimo Lauria, On the maximal part in unrefinable partitions of triangular numbers, arXiv:2111.11084 [math.CO], 2021.
Riccardo Aragona, Roberto Civino, and Norberto Gavioli, A modular idealizer chain and unrefinability of partitions with repeated parts, arXiv:2301.06347 [math.RA], 2023.
Riccardo Aragona, Roberto Civino, Norberto Gavioli and Carlo Maria Scoppola, Unrefinable partitions into distinct parts in a normalizer chain, arXiv:2107.04666 [math.CO], 2021.
Riccardo Aragona, Lorenzo Campioni, Roberto Civino and Massimo Lauria, Verification and generation of unrefinable partitions, arXiv:2112.15096 [math.CO], 2021.
Joerg Arndt, C++ program to compute such partitions.
EXAMPLE
a(11)=2 because there are two partitions of 11 which are maximally refined, namely 6+4+1 and 5+3+2+1.
From Joerg Arndt, Apr 23 2023: (Start)
The 15 maximally refined partitions of 35 are:
1: [ 1 2 3 4 5 6 14 ]
2: [ 1 2 3 4 5 7 13 ]
3: [ 1 2 3 4 5 8 12 ]
4: [ 1 2 3 4 5 9 11 ]
5: [ 1 2 3 4 6 7 12 ]
6: [ 1 2 3 4 6 8 11 ]
7: [ 1 2 3 4 6 9 10 ]
8: [ 1 2 3 4 7 8 10 ]
9: [ 1 2 3 5 6 7 11 ]
10: [ 1 2 3 5 6 8 10 ]
11: [ 1 2 3 5 7 8 9 ]
12: [ 1 2 4 5 6 7 10 ]
13: [ 1 2 4 5 6 8 9 ]
14: [ 1 3 4 5 6 7 9 ]
15: [ 2 3 4 5 6 7 8 ]
(End)
CROSSREFS
KEYWORD
nonn
AUTHOR
David S. Newman, Jan 03 2011
EXTENSIONS
More terms from Joerg Arndt, Jan 04 2011
STATUS
approved