A368094 -id:A368094 - cp's OEIS frontend

A368422 Number of non-isomorphic set multipartitions of weight n satisfying a strict version of the axiom of choice.

1, 1, 2, 4, 9, 18, 43, 95, 233, 569

Offset: 0

Gus Wiseman, Dec 26 2023

A set multipartition is a finite multiset of finite nonempty sets. The weight of a set multipartition is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any sequence of nonempty sets, it is possible to choose a sequence containing an element from each. In the strict version, the elements of this sequence must be distinct, meaning none is chosen more than once.

			Non-isomorphic representatives of the a(1) = 1 through a(5) = 18 set multipartitions:
  {{1}}  {{1,2}}    {{1,2,3}}      {{1,2,3,4}}        {{1,2,3,4,5}}
         {{1},{2}}  {{1},{2,3}}    {{1,2},{1,2}}      {{1},{2,3,4,5}}
                    {{2},{1,2}}    {{1},{2,3,4}}      {{1,2},{3,4,5}}
                    {{1},{2},{3}}  {{1,2},{3,4}}      {{1,4},{2,3,4}}
                                   {{1,3},{2,3}}      {{2,3},{1,2,3}}
                                   {{3},{1,2,3}}      {{4},{1,2,3,4}}
                                   {{1},{2},{3,4}}    {{1},{2,3},{2,3}}
                                   {{1},{3},{2,3}}    {{1},{2},{3,4,5}}
                                   {{1},{2},{3},{4}}  {{1},{2,3},{4,5}}
                                                      {{1},{2,4},{3,4}}
                                                      {{1},{4},{2,3,4}}
                                                      {{2},{1,3},{2,3}}
                                                      {{2},{3},{1,2,3}}
                                                      {{3},{1,3},{2,3}}
                                                      {{4},{1,2},{3,4}}
                                                      {{1},{2},{3},{4,5}}
                                                      {{1},{2},{4},{3,4}}
                                                      {{1},{2},{3},{4},{5}}

Wikipedia, Axiom of choice.

The case of unlabeled graphs is A134964, complement A140637.
Set multipartitions have ranks A302478, cf. A073576.
The case of labeled graphs is A133686, complement A367867.
The complement without repeats is A368094 connected A368409.
Without repeats we have A368095, connected A368410.
The complement allowing repeats is A368097, ranks A355529.
Allowing repeated elements gives A368098, ranks A368100.
Factorizations of this type are counted by A368414, complement A368413.
The complement is counted by A368421.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A302545, A306005, A317533, A318360, A367903.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
Table[Length[Union[brute /@ Select[mpm[n],And@@UnsameQ@@@#&&Select[Tuples[#], UnsameQ@@#&]!={}&]]],{n,0,6}]

A370589 Number of subsets of {1..n} containing n such that it is not possible to choose a different binary index of each element.

Original entry on oeis.org

0, 0, 0, 1, 1, 6, 17, 42, 67, 175, 400, 870, 1841, 3820, 7837, 15920, 30997, 63370, 128348, 258699, 520042, 1043284, 2090732, 4186382, 8379022, 16765549, 33540664, 67092258, 134198633, 268412631, 536844414, 1073710403, 2147296425, 4294753612, 8589686922, 17179580003

Offset: 0

Gus Wiseman, Mar 08 2024

nonn

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

			The binary indices of {1,4,5} are {{1},{3},{1,3}}, from which it is not possible to choose three different elements, so S is counted under a(3).
The binary indices of S = {1,6,8,9} are {{1},{2,3},{4},{1,4}}, from which it is not possible to choose four different elements, so S is counted under a(9).
The a(0) = 0 through a(6) = 17 subsets:
  .  .  .  {1,2,3}  {1,2,3,4}  {1,4,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}
                                            {3,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}

Wikipedia, Axiom of choice.

Simple graphs not of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A140637, complement A134964.
Simple graphs of this type are counted by A367867, covering A367868.
Set systems not of this type are counted by A367902, ranks A367906.
Set systems of this type are counted by A367903, ranks A367907.
Set systems uniquely not of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368097, complement A368098.
A version for MM-numbers of multisets is A355529, complement A368100.
Factorizations are counted by A368413/A370813, complement A368414/A370814.
The complement for prime indices is A370586, differences of A370582.
For prime indices we have A370587, differences of A370583.
Partial sums are A370637/A370643, minima A370642/A370644.
The complement is counted by A370639, partial sums A370636.
The version for a unique choice is A370641, partial sums A370638.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A058891 counts set-systems, A003465 covering, A323818 connected.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
Cf. A000612, A072639, A326702, A355739, A355740, A367772, A367905, A367909, A367912, A368094, A368095, A368109, A370640.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Table[Length[Select[Subsets[Range[n]],MemberQ[#,n] && Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]],{n,0,10}]

a(19)-a(35) from Alois P. Heinz, Mar 09 2024

A368410 Number of non-isomorphic connected set-systems of weight n satisfying a strict version of the axiom of choice.

Original entry on oeis.org

0, 1, 1, 2, 3, 7, 15, 32, 80, 198, 528

Offset: 0

Gus Wiseman, Dec 25 2023

A set-system is a finite set of finite nonempty sets. The weight of a set-system is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			Non-isomorphic representatives of the a(1) = 1 through a(6) = 15 set-systems:
  {1}  {12}  {123}    {1234}    {12345}      {123456}
             {2}{12}  {13}{23}  {14}{234}    {125}{345}
                      {3}{123}  {23}{123}    {134}{234}
                                {4}{1234}    {15}{2345}
                                {2}{13}{23}  {34}{1234}
                                {2}{3}{123}  {5}{12345}
                                {3}{13}{23}  {1}{14}{234}
                                             {12}{13}{23}
                                             {1}{23}{123}
                                             {13}{24}{34}
                                             {14}{24}{34}
                                             {3}{14}{234}
                                             {3}{23}{123}
                                             {3}{4}{1234}
                                             {4}{14}{234}

Wikipedia, Axiom of choice.

For unlabeled graphs we have A005703, connected case of A134964.
For labeled graphs we have A129271, connected case of A133686.
The complement for labeled graphs is A140638, connected case of A367867.
The complement without connectedness is A367903, ranks A367907.
Without connectedness we have A368095, ranks A367906,
Complement with repeats: A368097, connected case of A368411, ranks A355529.
The complement is counted by A368409, connected case of A368094.
With repeats allowed: A368412, connected case of A368098, ranks A368100.
A000110 counts set-partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A001055, A140637, A302545, A306005, A321194, A321405, A367902, A368414, A368422.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort/@(#/.x_Integer:>s[[x]])]& /@ sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]}, {i,Length[p]}])],{p,Permutations[Union@@m]}]]];
csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}],Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]], Union@@s[[c[[1]]]]]]]]];
Table[Length[Union[brute/@Select[mpm[n], UnsameQ@@#&&And@@UnsameQ@@@#&&Length[csm[#]]==1&&Select[Tuples[#], UnsameQ@@#&]!={}&]]],{n,0,6}]

A368421 Number of non-isomorphic set multipartitions of weight n contradicting a strict version of the axiom of choice.

Original entry on oeis.org

0, 0, 1, 2, 7, 16, 47, 116, 325, 861

Offset: 0

Gus Wiseman, Dec 26 2023

A set multipartition is a finite multiset of finite nonempty sets. The weight of a set multipartition is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any sequence of nonempty sets Y, it is possible to choose a sequence containing an element from each. In the strict version, the elements of this sequence must be distinct, meaning none is chosen more than once.

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 16 set multipartitions:
  {{1},{1}}  {{1},{1},{1}}  {{1},{1},{2,3}}    {{1},{1},{2,3,4}}
             {{1},{2},{2}}  {{1},{2},{1,2}}    {{2},{1,2},{1,2}}
                            {{2},{2},{1,2}}    {{3},{3},{1,2,3}}
                            {{1},{1},{1},{1}}  {{1},{1},{1},{2,3}}
                            {{1},{1},{2},{2}}  {{1},{1},{3},{2,3}}
                            {{1},{2},{2},{2}}  {{1},{2},{2},{1,2}}
                            {{1},{2},{3},{3}}  {{1},{2},{2},{3,4}}
                                               {{1},{2},{3},{2,3}}
                                               {{1},{3},{3},{2,3}}
                                               {{2},{2},{2},{1,2}}
                                               {{1},{1},{1},{1},{1}}
                                               {{1},{1},{2},{2},{2}}
                                               {{1},{2},{2},{2},{2}}
                                               {{1},{2},{2},{3},{3}}
                                               {{1},{2},{3},{3},{3}}
                                               {{1},{2},{3},{4},{4}}

Wikipedia, Axiom of choice.

The case of unlabeled graphs is A140637, complement A134964.
Set multipartitions have ranks A302478, cf. A073576.
The case of labeled graphs is A367867, complement A133686.
With distinct edges we have A368094 connected A368409.
The complement with distinct edges is A368095, connected A368410.
Allowing repeated elements gives A368097, ranks A355529.
The complement allowing repeats is A368098, ranks A368100.
Factorizations of this type are counted by A368413, complement A368414.
The complement is counted by A368422.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A302545, A306005, A316983, A317533, A318360, A367903, A367905, A367907.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
Table[Length[Union[brute /@ Select[mpm[n],And@@UnsameQ@@@#&&Select[Tuples[#], UnsameQ@@#&]=={}&]]],{n,0,6}]

A370642 Number of minimal subsets of {1..n} such that it is not possible to choose a different binary index of each element.

Original entry on oeis.org

0, 0, 0, 1, 1, 3, 9, 26, 26, 40, 82, 175, 338, 636, 1114

Offset: 0

Gus Wiseman, Mar 10 2024

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

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

For prime indices we have A370591, minima of A370583, complement A370582.
This is the minimal case of A370637, complement A370636.
The version for a unique choice is A370638, maxima A370640, diffs A370641.
The case without ones is A370644.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
A367902 counts choosable set-systems, ranks A367906, unlabeled A368095.
A367903 counts non-choosable set-systems, ranks A367907, unlabeled A368094.
A368100 ranks choosable multisets, complement A355529.
A370585 counts maximal choosable sets.
Cf. A072639, A140637, A367905, A368109, A370589, A370593, A370639.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
fasmin[y_]:=Complement[y,Union@@Table[Union[s,#]& /@ Rest[Subsets[Complement[Union@@y,s]]],{s,y}]];
Table[Length[fasmin[Select[Subsets[Range[n]], Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]]],{n,0,10}]

A368412 Number of non-isomorphic connected multiset partitions of weight n satisfying a strict version of the axiom of choice.

Original entry on oeis.org

0, 1, 2, 4, 11, 25, 75, 206, 650, 2049, 6895

Offset: 0

Gus Wiseman, Dec 26 2023

A set-system is a finite set of finite nonempty sets. The weight of a set-system is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			Non-isomorphic representatives of the a(1) = 1 through a(4) = 11 multiset partitions:
  {{1}}  {{1,1}}  {{1,1,1}}    {{1,1,1,1}}
         {{1,2}}  {{1,2,2}}    {{1,1,2,2}}
                  {{1,2,3}}    {{1,2,2,2}}
                  {{2},{1,2}}  {{1,2,3,3}}
                               {{1,2,3,4}}
                               {{1},{1,2,2}}
                               {{1,2},{1,2}}
                               {{1,2},{2,2}}
                               {{1,3},{2,3}}
                               {{2},{1,2,2}}
                               {{3},{1,2,3}}

Wikipedia, Axiom of choice.

The case of labeled graphs is A129271, connected case of A133686.
The complement for labeled graphs is A140638, connected case of A367867.
This is the connected case of A368098, ranks A368100.
Complement set-systems: A368409, connected case of A368094, ranks A367907.
For set-systems we have A368410, connected case of A368095, ranks A367906.
The complement is A368411, connected case of A368097, ranks A355529.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A140637, A302545, A316983, A317533, A319616, A367902, A367905, A368187.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]], {s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
csm[s_]:=With[{c=Select[Subsets[Range[Length[s]], {2}],Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]], Union@@s[[c[[1]]]]]]]]];
Table[Length[Union[brute /@ Select[mpm[n],Length[csm[#]]==1&&Select[Tuples[#], UnsameQ@@#&]!={}&]]],{n,0,6}]

A370641 Number of maximal subsets of {1..n} containing n such that it is possible to choose a different binary index of each element.

Original entry on oeis.org

0, 1, 1, 2, 3, 5, 9, 15, 32, 45, 67, 98, 141, 197, 263, 358, 1201, 1493, 1920, 2482, 3123, 3967, 4884, 6137, 7584, 9369, 11169, 13664, 15818, 19152, 22418, 26905, 151286, 173409, 202171, 237572, 273651, 320040, 367792, 428747, 485697, 562620, 637043, 734738, 815492

Offset: 0

Gus Wiseman, Mar 11 2024

nonn

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

Also choices of A070939(n) elements of {1..n} containing n such that it is possible to choose a different binary index of each.

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

A version for set-systems is A368601.
For prime indices we have A370590, without n A370585, see also A370591.
This is the maximal case of A370636 requiring n, complement A370637.
This is the maximal case of A370639, complement A370589.
Without requiring n we have A370640.
Dominated by A370819.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A058891 counts set-systems, A003465 covering, A323818 connected.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A367902 counts choosable set-systems, ranks A367906, unlabeled A368095.
A367903 counts non-choosable set-systems, ranks A367907, unlabeled A368094.
Cf. A133686, A326031, A326702, A357812, A367905, A368100, A368109, A370586, A370638, A370642.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Table[Length[Select[Subsets[Range[n],{IntegerLength[n,2]}],MemberQ[#,n] && Length[Union[Sort/@Select[Tuples[bpe/@#], UnsameQ@@#&]]]>0&]],{n,0,25}]

More terms from Jinyuan Wang, Mar 28 2025

A368411 Number of non-isomorphic connected multiset partitions of weight n contradicting a strict version of the axiom of choice.

Original entry on oeis.org

0, 0, 1, 2, 6, 15, 50, 148, 509, 1725, 6218

Offset: 0

Gus Wiseman, Dec 26 2023

A set-system is a finite set of finite nonempty sets. The weight of a set-system is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 15 multiset partitions:
  {{1},{1}}  {{1},{1,1}}    {{1},{1,1,1}}      {{1},{1,1,1,1}}
             {{1},{1},{1}}  {{1,1},{1,1}}      {{1,1},{1,1,1}}
                            {{1},{1},{1,1}}    {{1},{1},{1,1,1}}
                            {{1},{2},{1,2}}    {{1},{1,1},{1,1}}
                            {{2},{2},{1,2}}    {{1},{1},{1,2,2}}
                            {{1},{1},{1},{1}}  {{1},{1,2},{2,2}}
                                               {{1},{2},{1,2,2}}
                                               {{2},{1,2},{1,2}}
                                               {{2},{1,2},{2,2}}
                                               {{2},{2},{1,2,2}}
                                               {{3},{3},{1,2,3}}
                                               {{1},{1},{1},{1,1}}
                                               {{1},{2},{2},{1,2}}
                                               {{2},{2},{2},{1,2}}
                                               {{1},{1},{1},{1},{1}}

Wikipedia, Axiom of choice.

The case of labeled graphs is A140638, connected case of A367867.
The complement for labeled graphs is A129271, connected case of A133686.
This is the connected case of A368097.
For set-systems we have A368409, connected case of A368094, ranks A367907.
Complement set-systems: A368410, connected case of A368095, ranks A367906.
The complement is A368412, connected case of A368098, ranks A368100.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.
Cf. A140637, A302545, A316983, A317533, A319616, A367903, A367905, A368187.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
csm[s_]:=With[{c=Select[Subsets[Range[Length[s]], {2}],Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List /@ c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[Length[Union[brute /@ Select[mpm[n],Length[csm[#]]==1&&Select[Tuples[#], UnsameQ@@#&]=={}&]]],{n,0,6}]

A370591 Number of minimal subsets of {1..n} such that it is not possible to choose a different prime factor of each element (non-choosable).

Original entry on oeis.org

0, 1, 1, 1, 2, 2, 4, 4, 7, 11, 16, 16, 30, 30, 39, 73

Offset: 0

Gus Wiseman, Feb 28 2024

			The a(1) = 1 through a(10) = 16 subsets:
{1}  {1}  {1}  {1}    {1}    {1}      {1}      {1}      {1}      {1}
               {2,4}  {2,4}  {2,4}    {2,4}    {2,4}    {2,4}    {2,4}
                             {2,3,6}  {2,3,6}  {2,8}    {2,8}    {2,8}
                             {3,4,6}  {3,4,6}  {4,8}    {3,9}    {3,9}
                                               {2,3,6}  {4,8}    {4,8}
                                               {3,4,6}  {2,3,6}  {2,3,6}
                                               {3,6,8}  {2,6,9}  {2,6,9}
                                                        {3,4,6}  {3,4,6}
                                                        {3,6,8}  {3,6,8}
                                                        {4,6,9}  {4,6,9}
                                                        {6,8,9}  {6,8,9}
                                                                 {2,5,10}
                                                                 {4,5,10}
                                                                 {5,8,10}
                                                                 {3,5,6,10}
                                                                 {5,6,9,10}

Minimal case of A370583, complement A370582.
For binary indices instead of factors we have A370642, minima of A370637.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, indices A112798, length A001222.
A355741 counts choices of a prime factor of each prime index.
A367902 counts choosable set-systems, ranks A367906, unlabeled A368095.
A367903 counts non-choosable set-systems, ranks A367907, unlabeled A368094.
A368098 counts choosable unlabeled multiset partitions, complement A368097.
A368100 ranks choosable multisets, complement A355529.
A368414 counts choosable factorizations, complement A368413.
A370585 counts maximal choosable sets.
A370592 counts choosable partitions, complement A370593.
Cf. A000040, A000720, A045778, A133686, A355739, A355744, A355745, A367771, A370584, A370586, A370587, A370589.

Table[Length[fasmin[Select[Subsets[Range[n]], Length[Select[Tuples[prix/@#],UnsameQ@@#&]]==0&]]], {n,0,15}]

A370644 Number of minimal subsets of {2..n} such that it is not possible to choose a different binary index of each element.

Original entry on oeis.org

0, 0, 0, 0, 0, 1, 4, 13, 13, 26, 56, 126, 243, 471, 812, 1438

Offset: 0

Gus Wiseman, Mar 11 2024

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

			The a(0) = 0 through a(7) = 13 subsets:
  .  .  .  .  .  {2,3,4,5}  {2,4,6}    {2,4,6}
                            {2,3,4,5}  {2,3,4,5}
                            {2,3,5,6}  {2,3,4,7}
                            {3,4,5,6}  {2,3,5,6}
                                       {2,3,5,7}
                                       {2,3,6,7}
                                       {2,4,5,7}
                                       {2,5,6,7}
                                       {3,4,5,6}
                                       {3,4,5,7}
                                       {3,4,6,7}
                                       {3,5,6,7}
                                       {4,5,6,7}
The a(0) = 0 through a(7) = 13 set-systems:
  .  .  .  .  .  {2}{12}{3}{13}  {2}{3}{23}       {2}{3}{23}
                                 {2}{12}{3}{13}   {2}{12}{3}{13}
                                 {12}{3}{13}{23}  {12}{3}{13}{23}
                                 {2}{12}{13}{23}  {2}{12}{13}{23}
                                                  {2}{12}{3}{123}
                                                  {2}{3}{13}{123}
                                                  {12}{3}{13}{123}
                                                  {12}{3}{23}{123}
                                                  {2}{12}{13}{123}
                                                  {2}{12}{23}{123}
                                                  {2}{13}{23}{123}
                                                  {3}{13}{23}{123}
                                                  {12}{13}{23}{123}

The version with ones allowed is A370642, minimal case of A370637.
This is the minimal case of A370643.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A367902 counts choosable set-systems, ranks A367906, unlabeled A368095.
A367903 counts non-choosable set-systems, ranks A367907, unlabeled A368094.
A370585 counts maximal choosable sets.
Cf. A072639, A140637, A326031, A355529, A367905, A368109, A370589, A370591, A370636, A370639, A370640.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
fasmin[y_]:=Complement[y,Union@@Table[Union[s,#]& /@ Rest[Subsets[Complement[Union@@y,s]]],{s,y}]];
Table[Length[fasmin[Select[Subsets[Range[2,n]], Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]]],{n,0,10}]

cp's OEIS Frontend

A368422 Number of non-isomorphic set multipartitions of weight n satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A370589 Number of subsets of {1..n} containing n such that it is not possible to choose a different binary index of each element.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A368410 Number of non-isomorphic connected set-systems of weight n satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A368421 Number of non-isomorphic set multipartitions of weight n contradicting a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A370642 Number of minimal subsets of {1..n} such that it is not possible to choose a different binary index of each element.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A368412 Number of non-isomorphic connected multiset partitions of weight n satisfying a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A370641 Number of maximal subsets of {1..n} containing n such that it is possible to choose a different binary index of each element.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A368411 Number of non-isomorphic connected multiset partitions of weight n contradicting a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs