A368098 -id:A368098 - cp's OEIS frontend

A370583 Number of subsets of {1..n} such that it is not possible to choose a different prime factor of each element.

0, 1, 2, 4, 10, 20, 44, 88, 204, 440, 908, 1816, 3776, 7552, 15364, 31240, 63744, 127488, 257592, 515184, 1036336, 2079312, 4166408, 8332816, 16709632, 33470464, 66978208, 134067488, 268236928, 536473856, 1073233840, 2146467680, 4293851680, 8588355424, 17177430640

Offset: 0

Gus Wiseman, Feb 26 2024

nonn

			The a(0) = 0 through a(5) = 20 subsets:
  .  {1}  {1}    {1}      {1}        {1}
          {1,2}  {1,2}    {1,2}      {1,2}
                 {1,3}    {1,3}      {1,3}
                 {1,2,3}  {1,4}      {1,4}
                          {2,4}      {1,5}
                          {1,2,3}    {2,4}
                          {1,2,4}    {1,2,3}
                          {1,3,4}    {1,2,4}
                          {2,3,4}    {1,2,5}
                          {1,2,3,4}  {1,3,4}
                                     {1,3,5}
                                     {1,4,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}

Multisets of this type are ranked by A355529, complement A368100.
For divisors instead of factors we have A355740, complement A368110.
The complement for set-systems is A367902, ranks A367906, unlabeled A368095.
The version for set-systems is A367903, ranks A367907, unlabeled A368094.
For non-isomorphic multiset partitions we have A368097, complement A368098.
The version for factorizations is A368413, complement A368414.
The complement is counted by A370582.
For a unique choice we have A370584.
Partial sums of A370587, complement A370586.
The minimal case is A370591.
The version for partitions is A370593, complement A370592.
For binary indices instead of factors we have A370637, complement A370636.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, A112798 indices, length A001222.
A355741 counts choices of a prime factor of each prime index.
Cf. A000040, A000720, A001055, A001414, A003963, A005117, A045778, A355739, A355745, A367867, A367905, A368187.

Table[Length[Select[Subsets[Range[n]], Length[Select[Tuples[If[#==1,{},First/@FactorInteger[#]]&/@#], UnsameQ@@#&]]==0&]],{n,0,10}]

a(n) = 2^n - A370582(n).

a(19)-a(34) from Alois P. Heinz, Feb 27 2024

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

Original entry on oeis.org

1, 2, 4, 7, 14, 24, 39, 61, 122, 203, 315, 469, 676, 952, 1307, 1771, 3542, 5708, 8432, 11877, 16123, 21415, 27835, 35757, 45343, 57010, 70778, 87384, 106479, 129304, 155802, 187223, 374446, 588130, 835800, 1124981, 1456282, 1841361, 2281772, 2791896, 3367162

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 a(0) = 1 through a(4) = 14 subsets:
  {}  {}   {}     {}     {}
      {1}  {1}    {1}    {1}
           {2}    {2}    {2}
           {1,2}  {3}    {3}
                  {1,2}  {4}
                  {1,3}  {1,2}
                  {2,3}  {1,3}
                         {1,4}
                         {2,3}
                         {2,4}
                         {3,4}
                         {1,2,4}
                         {1,3,4}
                         {2,3,4}

Wikipedia, Axiom of choice.
Gus Wiseman, Statistics, classes, and transformations of standard compositions

Simple graphs of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A134964, complement A140637.
Simple graphs not of this type are counted by A367867, covering A367868.
Set systems of this type are counted by A367902, ranks A367906.
Set systems not of this type are counted by A367903, ranks A367907.
Set systems uniquely of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368098, complement A368097.
A version for MM-numbers of multisets is A368100, complement A355529.
Factorizations are counted by A368414/A370814, complement A368413/A370813.
For prime indices we have A370582, differences A370586.
The complement for prime indices is A370583, differences A370587.
The complement is A370637, differences A370589, without ones A370643.
The case of a unique choice is A370638, maxima A370640, differences A370641.
First differences are A370639.
The minimal case of the complement is A370642, without ones A370644.
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, A326702, A355739, A355740, A367772, A367905, A367909, A367912, A368095, A368109.

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

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

Partial sums of A370639.

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

A370582 Number of subsets of {1..n} such that it is possible to choose a different prime factor of each element.

Original entry on oeis.org

1, 1, 2, 4, 6, 12, 20, 40, 52, 72, 116, 232, 320, 640, 1020, 1528, 1792, 3584, 4552, 9104, 12240, 17840, 27896, 55792, 67584, 83968, 130656, 150240, 198528, 397056, 507984, 1015968, 1115616, 1579168, 2438544, 3259680, 3730368, 7460736, 11494656, 16145952, 19078464, 38156928

Offset: 0

Gus Wiseman, Feb 25 2024

nonn

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

The version for set-systems is A367902, ranks A367906, unlabeled A368095.
The complement for set-systems is A367903, ranks A367907, unlabeled A368094.
For unlabeled multiset partitions we have A368098, complement A368097.
Multisets of this type are ranked by A368100, complement A355529.
For divisors instead of factors we have A368110, complement A355740.
The version for factorizations is A368414, complement A368413.
The complement is counted by A370583.
For a unique choice we have A370584.
The maximal case is A370585.
Partial sums of A370586, complement A370587.
The version for partitions is A370592, complement A370593.
For binary indices instead of factors we have A370636, complement A370637.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, A112798 indices, length A001222.
A307984 counts Q-bases of logarithms of positive integers.
A355741 counts choices of a prime factor of each prime index.
Cf. A000040, A000720, A001055, A001414, A003963, A005117, A045778, A133686, A355739, A355744, A355745, A367905.

Table[Length[Select[Subsets[Range[n]],Length[Select[Tuples[If[#==1,{},First/@FactorInteger[#]]&/@#],UnsameQ@@#&]]>0&]],{n,0,10}]

a(p) = 2 * a(p-1) for prime p. - David A. Corneth, Feb 25 2024

a(n) = 2^n - A370583(n).

a(19) from David A. Corneth, Feb 25 2024

a(20)-a(41) from Alois P. Heinz, Feb 25 2024

A370584 Number of subsets of {1..n} such that only one set can be obtained by choosing a different prime factor of each element.

Original entry on oeis.org

1, 1, 2, 4, 6, 12, 18, 36, 48, 68, 104, 208, 284, 568, 888, 1296, 1548, 3096, 3968, 7936, 10736, 15440, 24008, 48016, 58848, 73680, 114368, 132608, 176240, 352480, 449824, 899648, 994976, 1399968, 2160720, 2859584, 3296048, 6592096, 10156672, 14214576, 16892352

Offset: 0

Gus Wiseman, Feb 26 2024

nonn

For example, the only choice of a different prime factor of each element of (4,5,6) is (2,5,3).

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

For divisors instead of factors we have A051026, cf. A368110, A355740.
The version for set-systems is A367904, ranks A367908.
Multisets of this type are ranked by A368101, cf. A368100, A355529.
For existence we have A370582, differences A370586.
For nonexistence we have A370583, differences A370587.
Maximal sets of this type are counted by A370585.
The version for partitions is A370594, cf. A370592, A370593.
For binary indices instead of factors we have A370638, cf. A370636, A370637.
The version for factorizations is A370645, cf. A368414, A368413.
For unlabeled multiset partitions we have A370646, cf. A368098, A368097.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, A112798 indices, length A001222.
A355741 counts ways to choose a prime factor of each prime index.
Cf. A000040, A000720, A003963, A005117, A045778, A133686, A307984, A355739, A355744, A355745, A367905.

Table[Length[Select[Subsets[Range[n]], Length[Union[Sort/@Select[Tuples[If[#==1, {},First/@FactorInteger[#]]&/@#], UnsameQ@@#&]]]==1&]],{n,0,10}]

More terms from Jinyuan Wang, Mar 28 2025

A370637 Number of 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, 2, 8, 25, 67, 134, 309, 709, 1579, 3420, 7240, 15077, 30997, 61994, 125364, 253712, 512411, 1032453, 2075737, 4166469, 8352851, 16731873, 33497422, 67038086, 134130344, 268328977, 536741608, 1073586022, 2147296425, 4294592850, 8589346462, 17179033384

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 a(0) = 0 through a(5) = 8 subsets:
  .  .  .  {1,2,3}  {1,2,3}    {1,2,3}
                    {1,2,3,4}  {1,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}

Wikipedia, Axiom of choice.
Gus Wiseman, Statistics, classes, and transformations of standard compositions

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 A370582, differences A370586.
For prime indices we have A370583, differences A370587.
First differences are A370589.
The complement is counted by A370636, differences A370639.
The case without ones is A370643.
The version for a unique choice is A370638, maxima A370640, diffs A370641.
The minimal case is A370642, without ones A370644.
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, A355739, A355740, A367772, A367905, A367909, A367912, A368094, A368095, A368109.

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

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

Partial sums of A370589.

a(21)-a(34) from Alois P. Heinz, Mar 09 2024

A370586 Number of subsets of {1..n} containing n such that it is possible to choose a different prime factor of each element (choosable).

Original entry on oeis.org

0, 0, 1, 2, 2, 6, 8, 20, 12, 20, 44, 116, 88, 320, 380, 508, 264, 1792, 968, 4552, 3136, 5600, 10056, 27896, 11792, 16384, 46688, 19584, 48288, 198528, 110928, 507984, 99648, 463552, 859376, 821136, 470688, 3730368, 4033920, 4651296, 2932512, 19078464

Offset: 0

Gus Wiseman, Feb 26 2024

nonn

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

First differences of A370582, complement A370583, cf. A370584.
Maximal choosable sets are counted by A370585.
The complement is counted by A370587.
For a unique choice we have A370588.
For binary indices instead of prime factors we have A370639.
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.
A370592 counts choosable partitions, complement A370593.
Cf. A000040, A000720, A005117, A045778, A133686, A355739, A355744, A355745, A367771, A367905, A370636.

Table[Length[Select[Subsets[Range[n]], MemberQ[#,n]&&Length[Select[Tuples[If[#==1, {},First/@FactorInteger[#]]&/@#], UnsameQ@@#&]]>0&]],{n,0,10}]

a(19)-a(41) from Alois P. Heinz, Feb 27 2024

A367909 Numbers n such that there is more than one way to choose a different binary index of each binary index of n.

Original entry on oeis.org

4, 12, 16, 18, 20, 32, 33, 36, 48, 52, 64, 65, 66, 68, 72, 76, 80, 82, 84, 96, 97, 100, 112, 132, 140, 144, 146, 148, 160, 161, 164, 176, 180, 192, 193, 194, 196, 200, 204, 208, 210, 212, 224, 225, 228, 240, 256, 258, 260, 264, 266, 268, 272, 274, 276, 288

Offset: 1

Gus Wiseman, Dec 11 2023

nonn

Also BII-numbers of set-systems (sets of nonempty sets) satisfying a strict version of the axiom of choice in more than one way.
A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. A set-system is a finite set of finite nonempty sets. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary digits (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18.
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.

			The set-system {{1},{1,2},{1,3}} with BII-number 21 satisfies the axiom in only one way (1,2,3), so 21 is not in the sequence.
The terms together with the corresponding set-systems begin:
   4: {{1,2}}
  12: {{1,2},{3}}
  16: {{1,3}}
  18: {{2},{1,3}}
  20: {{1,2},{1,3}}
  32: {{2,3}}
  33: {{1},{2,3}}
  36: {{1,2},{2,3}}
  48: {{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  72: {{3},{1,2,3}}

Wikipedia, Axiom of choice.

These set-systems are counted by A367772.
Positions of terms > 1 in A367905, firsts A367910, sorted firsts A367911.
If there is at least one choice we get A367906, counted by A367902.
If there are no choices we get A367907, counted by A367903.
If there is one unique choice we get A367908, counted by A367904.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
A368098 counts unlabeled multiset partitions per axiom, complement A368097.
Cf. A000612, A055621, A072639, A309326, A326702, A326753, A355529, A368100.
BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers), A326783 (uniform), A326784 (regular), A326788 (simple), A330217 (achiral).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[100], Length[Select[Tuples[bpe/@bpe[#]], UnsameQ@@#&]]>1&]

A367907 U A367908 U A367909 = A000027.

A370587 Number of subsets of {1..n} containing 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, 2, 6, 10, 24, 44, 116, 236, 468, 908, 1960, 3776, 7812, 15876, 32504, 63744, 130104, 257592, 521152, 1042976, 2087096, 4166408, 8376816, 16760832, 33507744, 67089280, 134169440, 268236928, 536759984, 1073233840, 2147384000, 4294503744, 8589075216, 17179048048

Offset: 0

Gus Wiseman, Feb 28 2024

nonn

			The a(0) = 0 through a(5) = 10 subsets:
  .  {1}  {1,2}  {1,3}    {1,4}      {1,5}
                 {1,2,3}  {2,4}      {1,2,5}
                          {1,2,4}    {1,3,5}
                          {1,3,4}    {1,4,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}

First differences of A370583, complement A370582, cf. A370584.
The complement is counted by A370586.
For a unique choice we have A370588.
For binary indices instead of factors we have A370639, complement A370589.
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, A005117, A045778, A133686, A355739, A355744, A355745, A367905, A370636.

Table[Length[Select[Subsets[Range[n]],MemberQ[#,n] && Length[Select[Tuples[If[#==1,{},First/@FactorInteger[#]]&/@#], UnsameQ@@#&]]==0&]],{n,0,10}]

More terms from Jinyuan Wang, Mar 28 2025

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

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 3, 5, 16, 41, 130

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(4) = 1 through a(8) = 16 set-systems:
  {1}{2}{12}  .  {1}{2}{13}{23}  {1}{3}{23}{123}    {1}{5}{15}{2345}
                 {1}{2}{3}{123}  {1}{4}{14}{234}    {2}{13}{23}{123}
                 {2}{3}{13}{23}  {2}{3}{23}{123}    {3}{13}{23}{123}
                                 {3}{12}{13}{23}    {3}{4}{34}{1234}
                                 {1}{2}{3}{13}{23}  {1}{2}{13}{24}{34}
                                                    {1}{2}{3}{14}{234}
                                                    {1}{2}{3}{23}{123}
                                                    {1}{2}{3}{4}{1234}
                                                    {1}{3}{4}{14}{234}
                                                    {2}{3}{12}{13}{23}
                                                    {2}{3}{13}{24}{34}
                                                    {2}{3}{14}{24}{34}
                                                    {2}{3}{4}{14}{234}
                                                    {2}{4}{13}{24}{34}
                                                    {3}{4}{13}{24}{34}
                                                    {3}{4}{14}{24}{34}

Wikipedia, Axiom of choice.

For unlabeled graphs we have A140636, connected case of A140637.
For labeled graphs: A140638, connected case of A367867 (complement A133686).
This is the connected case of A368094.
The complement is A368410, connected case of A368095.
Allowing repeats: A368411, connected case of A368097, ranks A355529.
Complement with repeats: A368412, connected case of A368098, ranks A368100.
Allowing repeat edges only: connected case of A368421 (complement 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. A134964, A302545, A306005, A317533, A321405, A326031, A367903, A367907, A368187, A368413.

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}]

A370639 Number of 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, 2, 3, 7, 10, 15, 22, 61, 81, 112, 154, 207, 276, 355, 464, 1771, 2166, 2724, 3445, 4246, 5292, 6420, 7922, 9586, 11667, 13768, 16606, 19095, 22825, 26498, 31421, 187223, 213684, 247670, 289181, 331301, 385079, 440411, 510124, 575266, 662625, 747521

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 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}
                        {1,3,4}  {1,2,5}  {5,6}
                        {2,3,4}  {1,3,5}  {1,2,6}
                                 {2,3,5}  {1,3,6}
                                 {2,4,5}  {1,4,6}
                                 {3,4,5}  {1,5,6}
                                          {2,3,6}
                                          {2,5,6}
                                          {3,4,6}
                                          {3,5,6}
                                          {4,5,6}

Wikipedia, Axiom of choice.

Simple graphs of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A134964, complement A140637.
Simple graphs not of this type are counted by A367867, covering A367868.
Set systems of this type are counted by A367902, ranks A367906.
Set systems not of this type are counted by A367903, ranks A367907.
Set systems uniquely of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368098, complement A368097.
A version for MM-numbers of multisets is A368100, complement A355529.
Factorizations of this type are A368414/A370814, complement A368413/A370813.
For prime instead of binary indices we have A370586, differences of A370582.
The complement for prime indices is A370587, differences of A370583.
The complement is counted by A370589, differences of A370637.
Partial sums are A370636.
The complement has partial sums A370637/A370643, minima A370642/A370644.
The case of a unique choice is A370641, differences of 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, A326702, A355739, A355740, A367770, 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}]

First differences of A370636.

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

cp's OEIS Frontend

A370583 Number of subsets of {1..n} such that it is not possible to choose a different prime factor of each element.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A370582 Number of subsets of {1..n} such that it is possible to choose a different prime factor of each element.

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions

A370584 Number of subsets of {1..n} such that only one set can be obtained by choosing a different prime factor of each element.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A370637 Number of subsets of {1..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

Formula

Extensions

A370586 Number of subsets of {1..n} containing n such that it is possible to choose a different prime factor of each element (choosable).

Views

Author

Keywords

Examples

Crossrefs

Programs

Mathematica

Extensions

A367909 Numbers n such that there is more than one way to choose a different binary index of each binary index of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

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

Views

Author

Keywords

Examples