A355529 -id:A355529 - cp's OEIS frontend

A355740 Numbers of which it is not possible to choose a different divisor of each prime index.

4, 8, 12, 16, 18, 20, 24, 27, 28, 32, 36, 40, 44, 48, 50, 52, 54, 56, 60, 64, 68, 72, 76, 80, 81, 84, 88, 90, 92, 96, 100, 104, 108, 112, 116, 120, 124, 125, 126, 128, 132, 135, 136, 140, 144, 148, 150, 152, 156, 160, 162, 164, 168, 172, 176, 180, 184, 188

Offset: 1

Gus Wiseman, Jul 22 2022

nonn

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.

By Hall's marriage theorem, k is a term if and only if there is a sub-multiset S of the prime indices of k such that fewer than |S| numbers are divisors of a member of S. Equivalently, k is divisible by a member of A370348. - Robert Israel, Feb 15 2024

			The terms together with their prime indices begin:
    4: {1,1}
    8: {1,1,1}
   12: {1,1,2}
   16: {1,1,1,1}
   18: {1,2,2}
   20: {1,1,3}
   24: {1,1,1,2}
   27: {2,2,2}
   28: {1,1,4}
   32: {1,1,1,1,1}
   36: {1,1,2,2}
   40: {1,1,1,3}
   44: {1,1,5}
   48: {1,1,1,1,2}
For example, the choices of a divisor of each prime index of 90 are: (1,1,1,1), (1,1,1,3), (1,1,2,1), (1,1,2,3), (1,2,1,1), (1,2,1,3), (1,2,2,1), (1,2,2,3). But none of these has all distinct elements, so 90 is in the sequence.

Robert Israel, Table of n, a(n) for n = 1..10000
Wikipedia, Cartesian product.

Positions of 0's in A355739.
The case of just prime factors (not all divisors) is A355529, odd A355535.
The unordered case is counted by A355733, firsts A355734.
A000005 counts divisors.
A001414 adds up distinct prime divisors, counted by A001221.
A003963 multiplies together the prime indices of n.
A056239 adds up prime indices, row sums of A112798, counted by A001222.
A120383 lists numbers divisible by all of their prime indices.
A324850 lists numbers divisible by the product of their prime indices.
A355731 counts choices of a divisor of each prime index, firsts A355732.
A355741 chooses prime factors of prime indices, variations A355744, A355745.
Cf. A000720, A076610, A335433, A335448, A340827, A355737, A355749, A370348.

filter:= proc(n) uses numtheory, GraphTheory; local B, S, F, D, E, G, t, d;
  F:= ifactors(n)[2];
  F:= map(t -> [pi(t[1]), t[2]], F);
  D:= `union`(seq(divisors(t[1]), t = F));
  F:= map(proc(t) local i; seq([t[1], i], i=1..t[2]) end proc, F);
  if nops(D) < nops(F) then return false fi;
  E:= {seq(seq({t, d}, d=divisors(t[1])), t = F)};
  S:= map(t -> convert(t, name), [op(F), op(D)]);
  E:= map(e -> map(convert, e, name), E);
  G:= Graph(S, E);
  B:= BipartiteMatching(G);
  B[1] = nops(F);
end proc:
remove(filter, [$1..200]); # Robert Israel, Feb 15 2024

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100],Select[Tuples[Divisors/@primeMS[#]],UnsameQ@@#&]=={}&]

We have A001221(a(n)) >= A303975(a(n)).

A367903 Number of sets of nonempty subsets of {1..n} contradicting a strict version of the axiom of choice.

Original entry on oeis.org

0, 0, 1, 67, 30997, 2147296425, 9223372036784737528, 170141183460469231731687303625772608225, 57896044618658097711785492504343953926634992332820282019728791606173188627779

Offset: 0

Gus Wiseman, Dec 05 2023

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 a(2) = 1 set-system is {{1},{2},{1,2}}.
The a(3) = 67 set-systems have following 21 non-isomorphic representatives:
  {{1},{2},{1,2}}
  {{1},{2},{3},{1,2}}
  {{1},{2},{3},{1,2,3}}
  {{1},{2},{1,2},{1,3}}
  {{1},{2},{1,2},{1,2,3}}
  {{1},{2},{1,3},{2,3}}
  {{1},{2},{1,3},{1,2,3}}
  {{1},{1,2},{1,3},{2,3}}
  {{1},{1,2},{1,3},{1,2,3}}
  {{1},{1,2},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2},{1,3}}
  {{1},{2},{3},{1,2},{1,2,3}}
  {{1},{2},{1,2},{1,3},{2,3}}
  {{1},{2},{1,2},{1,3},{1,2,3}}
  {{1},{2},{1,3},{2,3},{1,2,3}}
  {{1},{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2},{1,3},{2,3}}
  {{1},{2},{3},{1,2},{1,3},{1,2,3}}
  {{1},{2},{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Wikipedia, Axiom of choice.

Multisets of multisets of this type are ranked by A355529.
The version without singletons is A367769.
The version for simple graphs is A367867, covering A367868.
The version allowing empty edges is A367901.
The complement is A367902, without singletons A367770, ranks A367906.
For a unique choice (instead of none) we have A367904, ranks A367908.
These set-systems have ranks A367907.
An unlabeled version is A368094, for multiset partitions A368097.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A323818 counts covering connected set-systems.
A326031 gives weight of the set-system with BII-number n.
Cf. A007716, A083323, A092918, A102896, A283877, A306445, A355739, A355740, A367862, A367905, A368409, A368413.

Table[Length[Select[Subsets[Rest[Subsets[Range[n]]]], Select[Tuples[#],UnsameQ@@#&]=={}&]],{n,0,3}]

a(n) + A367904(n) + A367772(n) = A058891(n+1) = 2^(2^n-1).

a(5)-a(8) from Christian Sievers, Jul 26 2024

A367905 Number of ways to choose a sequence of different binary indices, one of each binary index of n.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 0, 1, 1, 1, 1, 2, 1, 1, 0, 2, 1, 2, 1, 3, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 2, 2, 1, 1, 3, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 3, 1, 1, 0, 2, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 3, 2, 2, 1, 4, 1, 1, 0, 2, 1, 1, 0, 2, 0, 0, 0, 4, 1, 2, 0, 3, 0, 0, 0

Offset: 0

Gus Wiseman, Dec 10 2023

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

			352 has binary indices of binary indices {{2,3},{1,2,3},{1,4}}, and there are six possible choices (2,1,4), (2,3,1), (2,3,4), (3,1,4), (3,2,1), (3,2,4), so a(352) = 6.

John Tyler Rascoe, Table of n, a(n) for n = 0..16384
Wikipedia, Axiom of choice.

A version for multisets is A367771, see A355529, A355740, A355744, A355745.
Positions of positive terms are A367906.
Positions of zeros are A367907.
Positions of ones are A367908.
Positions of terms > 1 are A367909.
Positions of first appearances are A367910, sorted A367911.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
Cf. A000612, A055621, A072639, A309326, A326031, A326675, A326702, A326753, A367902, A367903, A367904, A367912.
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];
Table[Length[Select[Tuples[bpe/@bpe[n]], UnsameQ@@#&]],{n,0,100}]

from itertools import count, islice, product
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen(): #generator of terms
    for n in count(0):
        c = 0
        for j in list(product(*[bin_i(k) for k in bin_i(n)])):
            if len(set(j)) == len(j):
                c += 1
        yield c
A367905_list = list(islice(a_gen(), 90)) # John Tyler Rascoe, May 22 2024

A368100 Numbers of which it is possible to choose a different prime factor of each prime index.

Original entry on oeis.org

1, 3, 5, 7, 11, 13, 15, 17, 19, 23, 29, 31, 33, 35, 37, 39, 41, 43, 47, 51, 53, 55, 59, 61, 65, 67, 69, 71, 73, 77, 79, 83, 85, 87, 89, 91, 93, 95, 97, 101, 103, 107, 109, 111, 113, 119, 123, 127, 129, 131, 137, 139, 141, 143, 145, 149, 151, 155, 157, 161, 163

Offset: 1

Gus Wiseman, Dec 12 2023

nonn

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.

			The prime indices of 2849 are {4,5,12}, with prime factors {{2,2},{5},{2,2,3}}, and of the two choices (2,5,2) and (2,5,3) the latter has all different terms, so 2849 is in the sequence.
The terms together with their prime indices of prime indices begin:
   1: {}
   3: {{1}}
   5: {{2}}
   7: {{1,1}}
  11: {{3}}
  13: {{1,2}}
  15: {{1},{2}}
  17: {{4}}
  19: {{1,1,1}}
  23: {{2,2}}
  29: {{1,3}}
  31: {{5}}
  33: {{1},{3}}
  35: {{2},{1,1}}
  37: {{1,1,2}}
  39: {{1},{1,2}}

The complement is A355529, odd A355535, binary A367907.
Positions of positive terms in A367771.
The version for binary indices is A367906, positive positions in A367905.
For a unique choice we have A368101, binary A367908.
The version for divisors instead of factors is A368110, complement A355740.
A058891 counts set-systems, covering A003465, connected A323818.
A112798 lists prime indices, reverse A296150, length A001222, sum A056239.
A124010 gives prime signature, sorted A118914, length A001221, sum A001222.
Cf. A092918,  A355737, A355739, A355741, A355744, A355745, A367902.

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n], {p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100], Select[Tuples[prix/@prix[#]], UnsameQ@@#&]!={}&]

A239312 Number of condensed integer partitions of n.

Original entry on oeis.org

1, 1, 1, 2, 3, 3, 5, 6, 9, 10, 14, 16, 23, 27, 33, 41, 51, 62, 75, 93, 111, 134, 159, 189, 226, 271, 317, 376, 445, 520, 609, 714, 832, 972, 1129, 1304, 1520, 1753, 2023, 2326, 2692, 3077, 3540, 4050, 4642, 5298, 6054, 6887, 7854, 8926, 10133, 11501, 13044

Offset: 0

Clark Kimberling, Mar 15 2014

nonn

Suppose that p is a partition of n. Let x(1), x(2), ..., x(k) be the distinct parts of p, and let m(i) be the multiplicity of x(i) in p. Let c(p) be the partition {m(1)*x(1), m(2)*x(2), ..., x(k)*m(k)} of n. Call a partition q of n a condensed partition of n if q = c(p) for some partition p of n. Then a(n) is the number of distinct condensed partitions of n. Note that c(p) = p if and only if p has distinct parts and that condensed partitions can have repeated parts.

Also the number of integer partitions of n such that it is possible to choose a different divisor of each part. For example, the partition (6,4,4,1) has choices (3,2,4,1), (3,4,2,1), (6,2,4,1), (6,4,2,1) so is counted under a(15). - Gus Wiseman, Mar 12 2024

			a(5) = 3 gives the number of partitions of 5 that result from condensations as shown here: 5 -> 5, 41 -> 41, 32 -> 32, 311 -> 32, 221 -> 41, 2111 -> 32, 11111 -> 5.
From _Gus Wiseman_, Mar 12 2024: (Start)
The a(1) = 1 through a(9) = 10 condensed partitions:
  (1)  (2)  (3)    (4)    (5)    (6)      (7)      (8)      (9)
            (2,1)  (2,2)  (3,2)  (3,3)    (4,3)    (4,4)    (5,4)
                   (3,1)  (4,1)  (4,2)    (5,2)    (5,3)    (6,3)
                                 (5,1)    (6,1)    (6,2)    (7,2)
                                 (3,2,1)  (3,2,2)  (7,1)    (8,1)
                                          (4,2,1)  (3,3,2)  (4,3,2)
                                                   (4,2,2)  (4,4,1)
                                                   (4,3,1)  (5,2,2)
                                                   (5,2,1)  (5,3,1)
                                                            (6,2,1)
(End)

Alois P. Heinz, Table of n, a(n) for n = 0..100 (first 84 terms from Manfred Scheucher)
Manfred Scheucher, Python Script

The strict case is A000009.
These partitions have ranks A368110, complement A355740.
The complement is counted by A370320.
The version for prime factors (not all divisors) is A370592, ranks A368100.
The complement for prime factors is A370593, ranks A355529.
For a unique choice we have A370595, ranks A370810.
For multiple choices we have A370803, ranks A370811.
The case without ones is A370805, complement A370804.
The version for factorizations is A370814, complement A370813.
A000005 counts divisors.
A000041 counts integer partitions.
A237685 counts partitions of depth 1, or A353837 if we include depth 0.
A355731 counts choices of a divisor of each prime index, firsts A355732.
Cf. A355535, A355733, A355739, A367867, A368097, A368414, A370583, A370584, A370594, A370806, A370808.

b:= proc(n,i) option remember; `if`(n=0, {[]},
      `if`(i=1, {[n]}, {seq(map(x-> `if`(j=0, x,
       sort([x[], i*j])), b(n-i*j, i-1))[], j=0..n/i)}))
    end:
a:= n-> nops(b(n$2)):
seq(a(n), n=0..50);  # Alois P. Heinz, Jul 01 2019

u[n_, k_] := u[n, k] = Map[Total, Split[IntegerPartitions[n][[k]]]]; t[n_] := t[n] = DeleteDuplicates[Table[Sort[u[n, k]], {k, 1, PartitionsP[n]}]]; Table[Length[t[n]], {n, 0,   30}]
Table[Length[Select[IntegerPartitions[n], Length[Select[Tuples[Divisors/@#],UnsameQ@@#&]]>0&]], {n,0,30}] (* Gus Wiseman, Mar 12 2024 *)

Typo in definition corrected by Manfred Scheucher, May 29 2015

Name edited by Gus Wiseman, Mar 13 2024

A367906 Numbers k such that it is possible to choose a different binary index of each binary index of k.

Original entry on oeis.org

1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 24, 26, 28, 32, 33, 34, 35, 36, 37, 38, 40, 41, 44, 48, 49, 50, 52, 56, 64, 65, 66, 67, 68, 69, 70, 72, 73, 74, 76, 80, 81, 82, 84, 88, 96, 97, 98, 100, 104, 112, 128, 129, 130, 131, 132

Offset: 1

Gus Wiseman, Dec 11 2023

Also BII-numbers of set-systems (sets of nonempty sets) satisfying a strict version of the axiom of choice.
A binary index of k (row k 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 k to be obtained by taking the binary indices of each binary index of k. 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 {{2,3},{1,2,3},{1,4}} with BII-number 352 has choices such as (2,1,4) that satisfy the axiom, so 352 is in the sequence.
The terms together with the corresponding set-systems begin:
   1: {{1}}
   2: {{2}}
   3: {{1},{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   8: {{3}}
   9: {{1},{3}}
  10: {{2},{3}}
  11: {{1},{2},{3}}
  12: {{1,2},{3}}
  13: {{1},{1,2},{3}}
  14: {{2},{1,2},{3}}
  16: {{1,3}}
  17: {{1},{1,3}}

John Tyler Rascoe, Table of n, a(n) for n = 1..10000
Wikipedia, Axiom of choice.

These set-systems are counted by A367902, non-isomorphic A368095.
Positions of positive terms in A367905, firsts A367910, sorted A367911.
The complement is A367907.
If there is one unique choice we get A367908, counted by A367904.
If there are multiple choices we get A367909, counted by A367772.
Unlabeled multiset partitions of this type are A368098, complement A368097.
A version for MM-numbers of multisets is A368100, complement A355529.
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, A055621, A059519, A072639, A083323, A309326, A326702, A326753, A367770, A367912.
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], Select[Tuples[bpe/@bpe[#]], UnsameQ@@#&]!={}&]

from itertools import count, islice, product
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen(): #generator of terms
    for n in count(1):
        for j in list(product(*[bin_i(k) for k in bin_i(n)])):
            if len(set(j)) == len(j):
                yield(n); break
A367906_list = list(islice(a_gen(),100)) # John Tyler Rascoe, Dec 23 2023

A368110 Numbers of which it is possible to choose a different divisor of each prime index.

Original entry on oeis.org

1, 2, 3, 5, 6, 7, 9, 10, 11, 13, 14, 15, 17, 19, 21, 22, 23, 25, 26, 29, 30, 31, 33, 34, 35, 37, 38, 39, 41, 42, 43, 45, 46, 47, 49, 51, 53, 55, 57, 58, 59, 61, 62, 63, 65, 66, 67, 69, 70, 71, 73, 74, 75, 77, 78, 79, 82, 83, 85, 86, 87, 89, 91, 93, 94, 95, 97

Offset: 1

Gus Wiseman, Dec 15 2023

nonn

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.

By Hall's marriage theorem, k is a term if and only if there is no sub-multiset S of the prime indices of k such that fewer than |S| numbers are divisors of a member of S. Equivalently, there is no divisor of k in A370348. - Robert Israel, Feb 15 2024

			The terms together with their prime indices begin:
   1: {}
   2: {1}
   3: {2}
   5: {3}
   6: {1,2}
   7: {4}
   9: {2,2}
  10: {1,3}
  11: {5}
  13: {6}
  14: {1,4}
  15: {2,3}
  17: {7}
  19: {8}
  21: {2,4}
  22: {1,5}
  23: {9}
  25: {3,3}
  26: {1,6}
  29: {10}
  30: {1,2,3}

Robert Israel, Table of n, a(n) for n = 1..10000

Partitions of this type are counted by A239312, complement A370320.
Positions of nonzero terms in A355739.
Complement of A355740.
For just prime divisors we have A368100, complement A355529 (odd A355535).
A000005 counts divisors.
A003963 multiplies together the prime indices of n.
A056239 adds up prime indices, row sums of A112798, counted by A001222.
A120383 lists numbers divisible by all of their prime indices.
A324850 lists numbers divisible by the product of their prime indices.
A355731 counts choices of a divisor of each prime index, firsts A355732.
A355741 chooses prime factors of prime indices, variations A355744, A355745.
Cf. A000720, A076610, A111774, A335433, A335448, A340852, A355733, A355734, A355737, A355749, A370348.

filter:= proc(n) uses numtheory, GraphTheory; local B,S,F,D,E,G,t,d;
  F:= ifactors(n)[2];
  F:= map(t -> [pi(t[1]),t[2]], F);
  D:= `union`(seq(divisors(t[1]), t = F));
  F:= map(proc(t) local i;seq([t[1],i],i=1..t[2]) end proc,F);
  if nops(D) < nops(F) then return false fi;
  E:= {seq(seq({t,d},d=divisors(t[1])),t = F)};
  S:= map(t -> convert(t,name), [op(F),op(D)]);
  E:= map(e -> map(convert,e,name),E);
  G:= Graph(S,E);
  B:= BipartiteMatching(G);
  B[1] = nops(F);
end proc:
select(filter, [$1..100]); # Robert Israel, Feb 15 2024

prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[100],Select[Tuples[Divisors/@prix[#]],UnsameQ@@#&]!={}&]

Heinz numbers of the partitions counted by A239312.

A368413 Number of factorizations of n into positive integers > 1 such that it is not possible to choose a different prime factor of each factor.

Original entry on oeis.org

0, 0, 0, 1, 0, 0, 0, 2, 1, 0, 0, 1, 0, 0, 0, 4, 0, 1, 0, 1, 0, 0, 0, 3, 1, 0, 2, 1, 0, 0, 0, 6, 0, 0, 0, 4, 0, 0, 0, 3, 0, 0, 0, 1, 1, 0, 0, 7, 1, 1, 0, 1, 0, 3, 0, 3, 0, 0, 0, 2, 0, 0, 1, 10, 0, 0, 0, 1, 0, 0, 0, 10, 0, 0, 1, 1, 0, 0, 0, 7, 4, 0, 0, 2, 0, 0

Offset: 1

Gus Wiseman, Dec 27 2023

nonn

For example, the factorization f = 2*3*6 has two ways to choose a prime factor of each factor, namely (2,3,2) and (2,3,3), but neither of these has all different elements, so f is counted under a(36).

			The a(1) = 0 through a(24) = 3 factorizations:
 ... 2*2 ... 2*4   3*3 .. 2*2*3 ... 2*8     . 2*3*3 . 2*2*5 ... 2*2*6
             2*2*2                  4*4                         2*3*4
                                    2*2*4                       2*2*2*3
                                    2*2*2*2

For unlabeled graphs: A140637, complement A134964.
For labeled graphs: A367867, A367868, A140638, complement A133686.
For set-systems: A367903, ranks A367907, complement A367902, ranks A367906.
For non-isomorphic set-systems: A368094, A368409, complement A368095.
For non-isomorphic multiset partitions: A368097, A355529, A368411.
Complement for non-isomorphic multiset partitions: A368098, A368100.
The complement is counted by A368414.
For non-isomorphic set multipartitions: A368421, complement A368422.
For divisors instead of prime factors: A370813, complement A370814.
A001055 counts factorizations, strict A045778.
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. A340596, A340653, A367769, A367901, A368187, A368412.

facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&, Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[facs[n], Select[Tuples[First/@FactorInteger[#]&/@#], UnsameQ@@#&]=={}&]],{n,100}]

a(n) + A368414(n) = A001055(n).

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

Original entry on oeis.org

0, 0, 1, 3, 12, 37, 133, 433, 1516, 5209, 18555

Offset: 0

Gus Wiseman, Dec 25 2023

A multiset partition is a finite multiset of finite nonempty multisets. The weight of a multiset partition 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(4) = 12 multiset partitions:
  {{1},{1}}  {{1},{1,1}}    {{1},{1,1,1}}
             {{1},{1},{1}}  {{1,1},{1,1}}
             {{1},{2},{2}}  {{1},{1},{1,1}}
                            {{1},{1},{2,2}}
                            {{1},{1},{2,3}}
                            {{1},{2},{1,2}}
                            {{1},{2},{2,2}}
                            {{2},{2},{1,2}}
                            {{1},{1},{1},{1}}
                            {{1},{1},{2},{2}}
                            {{1},{2},{2},{2}}
                            {{1},{2},{3},{3}}

Wikipedia, Axiom of choice.

The case of unlabeled graphs appears to be A140637, complement A134964.
These multiset partitions have ranks A355529.
The case of labeled graphs is A367867, complement A133686.
Set-systems not of this type are A367902, ranks A367906.
Set-systems of this type are A367903, ranks A367907.
For set-systems we have A368094, complement A368095.
The complement is A368098, ranks A368100, connected case A368412.
Minimal multiset partitions of this type are ranked by A368187.
The connected case is A368411.
Factorizations of this type are counted by A368413, complement A368414.
For set multipartitions we have 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. A302545, A316983, A317533, A319616, A321405, A367905, A368409, A368410.

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], Select[Tuples[#],UnsameQ@@#&]=={}&]]], {n,0,6}]

A370592 Number of integer partitions of n such that it is possible to choose a different prime factor of each part.

Original entry on oeis.org

1, 0, 1, 1, 1, 2, 1, 3, 3, 4, 4, 5, 6, 7, 9, 11, 12, 12, 16, 18, 22, 26, 29, 29, 37, 41, 49, 55, 61, 68, 72, 88, 98, 110, 120, 135, 146, 166, 190, 209, 227, 252, 277, 309, 346, 379, 413, 447, 500, 548, 606, 665, 727, 785, 857, 949, 1033, 1132, 1228, 1328, 1440

Offset: 0

Gus Wiseman, Feb 29 2024

nonn

			The partition (10,6,4) has choice (5,3,2) so is counted under a(20).
The a(0) = 1 through a(10) = 4 partitions:
  ()  .  (2)  (3)  (4)  (5)    (6)  (7)    (8)    (9)    (10)
                        (3,2)       (4,3)  (5,3)  (5,4)  (6,4)
                                    (5,2)  (6,2)  (6,3)  (7,3)
                                                  (7,2)  (5,3,2)
The a(0) = 1 through a(17) = 12 partitions (0 = {}, A..H = 10..17):
  0  .  2  3  4  5   6  7   8   9   A    B   C    D    E    F    G    H
                 32     43  53  54  64   65  66   76   86   87   97   98
                        52  62  63  73   74  75   85   95   96   A6   A7
                                72  532  83  A2   94   A4   A5   B5   B6
                                         92  543  A3   B3   B4   C4   C5
                                             732  B2   C2   C3   D3   D4
                                                  652  653  D2   E2   E3
                                                       743  654  754  F2
                                                       752  753  763  665
                                                            762  853  764
                                                            A32  952  A43
                                                                 B32  7532

The version for divisors instead of factors is A239312, ranks A368110.
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.
These partitions have ranks A368100.
The version for factorizations is A368414, complement A368413.
The complement is counted by A370593, ranks A355529.
For a unique choice we have A370594, ranks A370647.
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, A133686, A355739, A355740, A355745, A367771, A367905, A370585, A370586, A370636.

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

a(n) = A000041(n) - A370593(n).

cp's OEIS Frontend

A355740 Numbers of which it is not possible to choose a different divisor of each prime index.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

A367903 Number of sets of nonempty subsets of {1..n} contradicting a strict version of the axiom of choice.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A367905 Number of ways to choose a sequence of different binary indices, one of each binary index of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A368100 Numbers of which it is possible to choose a different prime factor of each prime index.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A239312 Number of condensed integer partitions of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Extensions

A367906 Numbers k such that it is possible to choose a different binary index of each binary index of k.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A368110 Numbers of which it is possible to choose a different divisor of each prime index.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula