A326080 -id:A326080 - cp's OEIS frontend

A365042 Number of subsets of {1..n} containing n such that some element can be written as a positive linear combination of the others.

0, 0, 1, 2, 4, 5, 9, 11, 17, 21, 29, 36, 50, 60, 78, 95, 123, 147, 185, 221, 274, 325, 399, 472, 574, 672, 810, 945, 1131, 1316, 1557, 1812, 2137, 2462, 2892, 3322, 3881, 4460, 5176, 5916, 6846, 7817, 8993, 10250, 11765, 13333, 15280, 17308, 19731, 22306

Offset: 0

Gus Wiseman, Aug 23 2023

nonn

Sets of this type may be called "positive combination-full".

Also subsets of {1..n} containing n whose greatest element can be written as a positive linear combination of the others.

			The subset {3,4,10} has 10 = 2*3 + 1*4 so is counted under a(10).
The a(0) = 0 through a(7) = 11 subsets:
  .  .  {1,2}  {1,3}    {1,4}    {1,5}    {1,6}      {1,7}
               {1,2,3}  {2,4}    {1,2,5}  {2,6}      {1,2,7}
                        {1,2,4}  {1,3,5}  {3,6}      {1,3,7}
                        {1,3,4}  {1,4,5}  {1,2,6}    {1,4,7}
                                 {2,3,5}  {1,3,6}    {1,5,7}
                                          {1,4,6}    {1,6,7}
                                          {1,5,6}    {2,3,7}
                                          {2,4,6}    {2,5,7}
                                          {1,2,3,6}  {3,4,7}
                                                     {1,2,3,7}
                                                     {1,2,4,7}

Steven R. Finch, Monoids of natural numbers, March 17, 2009.

The nonnegative complement is A124506, first differences of A326083.
The binary complement is A288728, first differences of A007865.
First differences of A365043.
The complement is counted by A365045, first differences of A365044.
The nonnegative version is A365046, first differences of A364914.
Without re-usable parts we have A365069, first differences of A364534.
The binary version is A365070, first differences of A093971.
A085489 and A364755 count subsets with no sum of two distinct elements.
A088314 counts sets that can be linearly combined to obtain n.
A088809 and A364756 count subsets with some sum of two distinct elements.
A364350 counts combination-free strict partitions, complement A364839.
A364913 counts combination-full partitions.
Cf. A151897, A237113, A237668, A308546, A324736, A326020, A326080, A364272.

combp[n_,y_]:=With[{s=Table[{k,i},{k,y},{i,1,Floor[n/k]}]},Select[Tuples[s],Total[Times@@@#]==n&]];
Table[Length[Select[Subsets[Range[n]],MemberQ[#,n]&&Or@@Table[combp[#[[k]],Union[Delete[#,k]]]!={},{k,Length[#]}]&]],{n,0,10}]

a(n) = A088314(n) - 1.

A365070 Number of subsets of {1..n} containing n and some element equal to the sum of two other (possibly equal) elements.

Original entry on oeis.org

0, 0, 1, 1, 5, 9, 24, 46, 109, 209, 469, 922, 1932, 3858, 7952, 15831, 32214, 64351, 129813, 259566, 521681, 1042703, 2091626, 4182470, 8376007, 16752524, 33530042, 67055129, 134165194, 268328011, 536763582, 1073523097, 2147268041, 4294505929, 8589506814, 17178978145

Offset: 0

Gus Wiseman, Aug 24 2023

nonn

These are binary sum-full sets where elements can be re-used. The complement is counted by A288728. The non-binary version is A365046, complement A124506. For non-re-usable parts we have A364756, complement A085489.

			The subset {1,3} has no element equal to the sum of two others, so is not counted under a(3).
The subset {3,4,5} has no element equal to the sum of two others, so is not counted under a(5).
The subset {1,3,4} has 4 = 1 + 3, so is counted under a(4).
The subset {2,4,5} has 4 = 2 + 2, so is counted under a(5).
The a(0) = 0 through a(5) = 9 subsets:
  .  .  {1,2}  {1,2,3}  {2,4}      {1,2,5}
                        {1,2,4}    {1,4,5}
                        {1,3,4}    {2,3,5}
                        {2,3,4}    {2,4,5}
                        {1,2,3,4}  {1,2,3,5}
                                   {1,2,4,5}
                                   {1,3,4,5}
                                   {2,3,4,5}
                                   {1,2,3,4,5}

Andrew Howroyd, Table of n, a(n) for n = 0..88
Steven R. Finch, Monoids of natural numbers, March 17, 2009.

The complement w/o re-usable parts is A085489, first differences of A364755.
First differences of A093971.
The non-binary complement is A124506, first differences of A326083.
The complement is counted by A288728, first differences of A007865.
For partitions (not requiring n) we have A363225, strict A363226.
The case without re-usable parts is A364756, firsts differences of A088809.
The non-binary version is A365046, first differences of A364914.
A116861 and A364916 count linear combinations of strict partitions.
A364350 counts combination-free strict partitions, complement A364839.
A364913 counts combination-full partitions.
A365006 counts no positive combination-full strict ptns.
Cf. A050291, A051026, A151897, A236912, A237113, A237668, A326080, A364349, A364533, A364670.

Table[Length[Select[Subsets[Range[n]], MemberQ[#,n]&&Intersection[#,Total /@ Tuples[#,2]]!={}&]], {n,0,10}]

First differences of A093971.

a(21) onwards added (using A093971) by Andrew Howroyd, Jan 13 2024

A365069 Number of subsets of {1..n} containing n and some element equal to the sum of two or more distinct other elements. A variation of non-binary sum-full subsets without re-usable elements.

Original entry on oeis.org

0, 0, 0, 1, 2, 7, 17, 41, 88, 201, 418, 892, 1838, 3798, 7716, 15740

Offset: 0

Gus Wiseman, Aug 26 2023

nonn

The complement is counted by A365071. The binary case is A364756. Allowing elements to be re-used gives A365070. A version for partitions (but not requiring n) is A237668.

			The subset {2,4,6} has 6 = 4 + 2 so is counted under a(6).
The subset {1,2,4,7} has 7 = 4 + 2 + 1 so is counted under a(7).
The subset {1,4,5,8} has 5 = 4 + 1 so is counted under a(8).
The a(0) = 0 through a(6) = 17 subsets:
  .  .  .  {1,2,3}  {1,3,4}    {1,4,5}      {1,5,6}
                    {1,2,3,4}  {2,3,5}      {2,4,6}
                               {1,2,3,5}    {1,2,3,6}
                               {1,2,4,5}    {1,2,4,6}
                               {1,3,4,5}    {1,2,5,6}
                               {2,3,4,5}    {1,3,4,6}
                               {1,2,3,4,5}  {1,3,5,6}
                                            {1,4,5,6}
                                            {2,3,4,6}
                                            {2,3,5,6}
                                            {2,4,5,6}
                                            {1,2,3,4,6}
                                            {1,2,3,5,6}
                                            {1,2,4,5,6}
                                            {1,3,4,5,6}
                                            {2,3,4,5,6}
                                            {1,2,3,4,5,6}

Steven R. Finch, Monoids of natural numbers, March 17, 2009.

The complement w/ re-usable parts is A288728, first differences of A007865.
First differences of A364534.
The binary complement is A364755, first differences of A085489.
The binary version is A364756, first differences of A088809.
The version with re-usable parts is A365070, first differences of A093971.
The complement is counted by A365071, first differences of A151897.
A124506 counts nonnegative combination-free subsets, differences of A326083.
A365046 counts nonnegative combination-full subsets, differences of A364914.
For partitions: A108917, A236912, A237113, A237668, A364532, A364913.
Strict partitions: A116861, A364272, A364349, A364350, A364839, A364916.
Cf. A050291, A326080, A363226, A364346, A364348, A364670.

Table[Length[Select[Subsets[Range[n]], MemberQ[#,n]&&Intersection[#, Total/@Subsets[#, {2,Length[#]}]]!={}&]],{n,0,10}]

a(n) = 2^(n-1) - A365070(n).

First differences of A364534.

A365071 Number of subsets of {1..n} containing n such that no element is a sum of distinct other elements. A variation of non-binary sum-free subsets without re-usable elements.

Original entry on oeis.org

0, 1, 2, 3, 6, 9, 15, 23, 40, 55, 94, 132, 210, 298, 476, 644, 1038, 1406, 2149, 2965, 4584, 6077, 9426, 12648, 19067, 25739, 38958, 51514, 78459, 104265, 155436, 208329, 312791, 411886, 620780, 823785, 1224414, 1631815, 2437015, 3217077, 4822991

Offset: 0

Gus Wiseman, Aug 26 2023

nonn

The complement is counted by A365069. The binary version is A364755, complement A364756. For re-usable parts we have A288728, complement A365070.

			The subset {1,3,4,6} has 4 = 1 + 3 so is not counted under a(6).
The subset {2,3,4,5,6} has 6 = 2 + 4 and 4 = 1 + 3 so is not counted under a(6).
The a(0) = 0 through a(6) = 15 subsets:
  .  {1}  {2}    {3}    {4}      {5}      {6}
          {1,2}  {1,3}  {1,4}    {1,5}    {1,6}
                 {2,3}  {2,4}    {2,5}    {2,6}
                        {3,4}    {3,5}    {3,6}
                        {1,2,4}  {4,5}    {4,6}
                        {2,3,4}  {1,2,5}  {5,6}
                                 {1,3,5}  {1,2,6}
                                 {2,4,5}  {1,3,6}
                                 {3,4,5}  {1,4,6}
                                          {2,3,6}
                                          {2,5,6}
                                          {3,4,6}
                                          {3,5,6}
                                          {4,5,6}
                                          {3,4,5,6}

Andrew Howroyd, Table of n, a(n) for n = 0..85
Steven R. Finch, Monoids of natural numbers, March 17, 2009.

First differences of A151897.
The version with re-usable parts is A288728 first differences of A007865.
The binary version is A364755, first differences of A085489.
The binary complement is A364756, first differences of A088809.
The complement is counted by A365069, first differences of A364534.
The complement w/ re-usable parts is A365070, first differences of A093971.
A108917 counts knapsack partitions, strict A275972.
A124506 counts combination-free subsets, differences of A326083.
A364350 counts combination-free strict partitions, complement A364839.
A365046 counts combination-full subsets, differences of A364914.
Partitions: A236912, A237113, A237668, A364532, A364272, A364349, A364913.
Cf. A050291, A095944, A103580, A324741, A326080, A326117, A341507, A364533.

Table[Length[Select[Subsets[Range[n]], MemberQ[#,n]&&Intersection[#, Total/@Subsets[#,{2,Length[#]}]]=={}&]], {n,0,10}]

a(n) + A365069(n) = 2^(n-1).

First differences of A151897.

a(14) onwards added (using A151897) by Andrew Howroyd, Jan 13 2024

A365542 Number of subsets of {1..n-1} that can be linearly combined using nonnegative coefficients to obtain n.

Original entry on oeis.org

0, 1, 2, 6, 10, 28, 48, 116, 224, 480, 920, 2000, 3840, 7984, 15936, 32320, 63968, 130176, 258304, 521920, 1041664, 2089472, 4171392, 8377856, 16726528, 33509632, 67004416, 134129664, 268111360, 536705024, 1072961536, 2146941952, 4293509120, 8588414976

Offset: 1

Gus Wiseman, Sep 09 2023

nonn

			The a(2) = 1 through a(5) = 10 partitions:
  {1}  {1}    {1}      {1}
       {1,2}  {2}      {1,2}
              {1,2}    {1,3}
              {1,3}    {1,4}
              {2,3}    {2,3}
              {1,2,3}  {1,2,3}
                       {1,2,4}
                       {1,3,4}
                       {2,3,4}
                       {1,2,3,4}

The case of positive coefficients is A365042, complement A365045.
For subsets of {1..n} instead of {1..n-1} we have A365073.
The binary complement is A365315.
The complement is counted by A365380.
A124506 and A326083 appear to count combination-free subsets.
A179822 and A326080 count sum-closed subsets.
A364350 counts combination-free strict partitions.
A364914 and A365046 count combination-full subsets.
Cf. A007865, A088314, A088809, A151897, A364534, A364839, A365314, A365322.

combs[n_,y_]:=With[{s=Table[{k,i},{k,y},{i,0,Floor[n/k]}]},Select[Tuples[s],Total[Times@@@#]==n&]];
Table[Length[Select[Subsets[Range[n-1]],combs[n,#]!={}&]],{n,5}]

from itertools import combinations
from sympy.utilities.iterables import partitions
def A365542(n):
    a = {tuple(sorted(set(p))) for p in partitions(n)}
    return sum(1 for m in range(1,n) for b in combinations(range(1,n),m) if any(set(d).issubset(set(b)) for d in a)) # Chai Wah Wu, Sep 12 2023

More terms from Alois P. Heinz, Sep 13 2023

A384350 Number of subsets of {1..n} containing at least one element that is a sum of distinct non-elements.

Original entry on oeis.org

0, 0, 0, 1, 4, 13, 33, 81, 183, 402, 856, 1801, 3721, 7646, 15567, 31575

Offset: 0

Gus Wiseman, Jun 05 2025

Conjecture: Also the number of subsets of {1..n} such that it is possible in more than one way to choose a disjoint family of strict integer partitions, one of each element.

			For the set s = {1,5} we have 5 = 2+3, so s is counted under a(5).
The a(0) = 0 through a(5) = 13 subsets:
  .  .  .  {3}  {3}    {3}
                {4}    {4}
                {2,4}  {5}
                {3,4}  {1,5}
                       {2,4}
                       {2,5}
                       {3,4}
                       {3,5}
                       {4,5}
                       {1,4,5}
                       {2,3,5}
                       {2,4,5}
                       {3,4,5}

The complement is counted by A326080, allowing repeats A326083.
For strict partitions of n instead of subsets of {1..n} we have A384318, ranks A384322.
First differences are A384391.
A048767 is the Look-and-Say transform, fixed points A048768, counted by A217605.
A179009 counts maximally refined strict partitions, ranks A383707.
A239455 counts Look-and-Say or section-sum partitions, ranks A351294 or A381432.
A351293 counts non-Look-and-Say or non-section-sum partitions, ranks A351295 or A381433.
A383706 counts ways to choose disjoint strict partitions of prime indices, non-disjoint A357982, non-strict A299200.
Cf. A279375, A279790, A317141, A317142, A383708, A383710, A384317, A384319, A384320, A384321.

nonsets[y_]:=If[Length[y]==0,{},Rest[Subsets[Complement[Range[Max@@y],y]]]];
Table[Length[Select[Subsets[Range[n]],Intersection[#,Total/@nonsets[#]]!={}&]],{n,0,10}]

A384391 Number of subsets of {1..n} containing n and some element that is a sum of distinct non-elements.

Original entry on oeis.org

0, 0, 1, 3, 9, 20, 48, 102, 219, 454, 945, 1920, 3925, 7921, 16008

Offset: 0

Gus Wiseman, Jun 06 2025

			The a(0) = 0 through a(6) = 20 subsets:
  .  .  .  {3}  {4}    {5}      {6}
                {2,4}  {1,5}    {1,6}
                {3,4}  {2,5}    {2,6}
                       {3,5}    {3,6}
                       {4,5}    {4,6}
                       {1,4,5}  {5,6}
                       {2,3,5}  {1,3,6}
                       {2,4,5}  {1,5,6}
                       {3,4,5}  {2,3,6}
                                {2,4,6}
                                {2,5,6}
                                {3,4,6}
                                {3,5,6}
                                {4,5,6}
                                {1,3,5,6}
                                {1,4,5,6}
                                {2,3,4,6}
                                {2,3,5,6}
                                {2,4,5,6}
                                {3,4,5,6}

The complement with n is counted by A179822, first differences of A326080.
Partial sums are A384350.
A048767 is the Look-and-Say transform, fixed points A048768, counted by A217605.
A179009 counts maximally refined strict partitions, ranks A383707.
A239455 counts Look-and-Say or section-sum partitions, ranks A351294 or A381432.
A351293 counts non-Look-and-Say or non-section-sum partitions, ranks A351295 or A381433.
A383706 counts ways to choose disjoint strict partitions of prime indices, non-disjoint A357982, non-strict A299200.
Cf. A279375, A279790, A317141, A317142, A326083, A383708, A383710, A384317, A384318, A384319, A384320, A384321.

nonsets[y_]:=If[Length[y]==0,{},Rest[Subsets[Complement[Range[Max@@y],y]]]];
Table[Length[Select[Subsets[Range[n]],MemberQ[#,n]&&Intersection[#,Total/@nonsets[#]]!={}&]],{n,0,10}]

A384392 Number of integer partitions of n whose distinct parts are maximally refined.

Original entry on oeis.org

1, 1, 2, 2, 4, 6, 7, 10, 14, 20, 24, 33, 41, 55, 70, 88, 110, 140, 171, 214, 265, 324, 397, 485, 588, 711, 861, 1032, 1241, 1486, 1773

Offset: 0

Gus Wiseman, Jun 07 2025

Given any partition, the following are equivalent:
1) The distinct parts are maximally refined.
2) Every strict partition of a part contains a part. In other words, if y is the set of parts and z is any strict partition of any element of y, then z must contain at least one element from y.
3) No part is a sum of distinct non-parts.

			The a(1) = 1 through a(8) = 14 partitions:
  (1)  (2)   (21)   (22)    (32)     (222)     (322)      (332)
       (11)  (111)  (31)    (41)     (321)     (331)      (431)
                    (211)   (221)    (411)     (421)      (521)
                    (1111)  (311)    (2211)    (2221)     (2222)
                            (2111)   (3111)    (3211)     (3221)
                            (11111)  (21111)   (4111)     (3311)
                                     (111111)  (22111)    (4211)
                                               (31111)    (22211)
                                               (211111)   (32111)
                                               (1111111)  (41111)
                                                          (221111)
                                                          (311111)
                                                          (2111111)
                                                          (11111111)

The strict case is A179009, ranks A383707.
For subsets instead of partitions we have A326080, complement A384350.
These partitions are ranked by A384320, complement A384321.
A048767 is the Look-and-Say transform, fixed points A048768, counted by A217605.
A239455 counts Look-and-Say or section-sum partitions, ranks A351294 or A381432.
A351293 counts non-Look-and-Say or non-section-sum partitions, ranks A351295 or A381433.
Cf. A179822, A279375, A279790, A299200, A317142, A326083, A357982, A383706, A383708, A383710, A384317, A384318, A384319, A384391.

nonsets[y_]:=If[Length[y]==0,{},Rest[Subsets[Complement[Range[Max@@y],y]]]];
Table[Length[Select[IntegerPartitions[n],Intersection[#,Total/@nonsets[#]]=={}&]],{n,0,15}]

A358392 Number of nonempty subsets of {1, 2, ..., n} with GCD equal to 1 and containing the sum of any two elements whenever it is at most n.

Original entry on oeis.org

1, 1, 2, 3, 7, 9, 19, 27, 46, 63, 113, 148, 253, 345, 539, 734, 1198, 1580, 2540, 3417, 5233, 7095, 11190, 14720, 22988, 31057, 47168, 63331, 98233, 129836, 200689, 269165, 406504, 546700, 838766, 1108583, 1700025, 2281517, 3437422, 4597833, 7023543, 9308824, 14198257, 18982014, 28556962

Offset: 1

Max Alekseyev, Nov 13 2022

nonn

Also, the number of distinct numerical semigroups that are generated by some subset of {1, 2, ..., n} and have a finite complement in the positive integers.

Max Alekseyev, Table of n, a(n) for n = 1..100
Marcel K. Goh et al., Counting numerical semigroups by largest element of minimal generating set, MathOverflow, 2022.

Inverse Moebius transform of A103580.

Cf. A007865, A050291, A051026, A085489, A139384, A151897, A308546, A326020, A326076, A326080, A326083, A326114.

a(n) = Sum_{k=1..n} moebius(k) * A103580(floor(n/k)).

A364841 Number of subsets S of {1..n} containing no element equal to the sum of a k-multiset of elements of S, for any 2 <= k <= |S|.

Original entry on oeis.org

1, 2, 3, 6, 9, 15, 21, 34, 49, 75, 105

Offset: 0

Gus Wiseman, Aug 15 2023

			The a(0) = 1 through a(5) = 15 subsets:
  {}  {}   {}   {}     {}     {}
      {1}  {1}  {1}    {1}    {1}
           {2}  {2}    {2}    {2}
                {3}    {3}    {3}
                {1,3}  {4}    {4}
                {2,3}  {1,3}  {5}
                       {1,4}  {1,3}
                       {2,3}  {1,4}
                       {3,4}  {1,5}
                              {2,3}
                              {2,5}
                              {3,4}
                              {3,5}
                              {4,5}
                              {3,4,5}

Cf. A007865, A085489, A103580, A151897, A236912, A326020, A326080, A326083, A364349, A364534.

Table[Length[Select[Subsets[Range[n]], Intersection[#,Join@@Table[Total/@Tuples[#,k], {k,2,Length[#]}]]=={}&]],{n,0,10}]

cp's OEIS Frontend

A365042 Number of subsets of {1..n} containing n such that some element can be written as a positive linear combination of the others.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A365070 Number of subsets of {1..n} containing n and some element equal to the sum of two other (possibly equal) elements.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A365069 Number of subsets of {1..n} containing n and some element equal to the sum of two or more distinct other elements. A variation of non-binary sum-full subsets without re-usable elements.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A365071 Number of subsets of {1..n} containing n such that no element is a sum of distinct other elements. A variation of non-binary sum-free subsets without re-usable elements.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A365542 Number of subsets of {1..n-1} that can be linearly combined using nonnegative coefficients to obtain n.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Python

Extensions

A384350 Number of subsets of {1..n} containing at least one element that is a sum of distinct non-elements.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A384391 Number of subsets of {1..n} containing n and some element that is a sum of distinct non-elements.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

A384392 Number of integer partitions of n whose distinct parts are maximally refined.

Views

Author

Keywords

Comments

Examples