A059201 -id:A059201 - cp's OEIS frontend

A319646 Number of non-isomorphic weight-n chains of distinct multisets whose dual is also a chain of distinct multisets.

1, 1, 1, 4, 4, 9, 17, 28, 41, 75, 122, 192, 314, 484, 771, 1216, 1861, 2848, 4395, 6610, 10037

Offset: 0

Gus Wiseman, Sep 25 2018

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.
From Gus Wiseman, Jan 17 2019: (Start)
Also the number of plane partitions of n with no repeated rows or columns. For example, the a(6) = 17 plane partitions are:
  6   51   42   321
.
  5   4   41   31   32   31   22   221   211
  1   2   1    2    1    11   2    1     11
.
  3   21   21   111
  2   2    11   11
  1   1    1    1
(End)

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

Cf. A000219, A003293, A007716, A059201, A283877, A316980, A316983, A318099, A319558, A319616-A319646.

Cf. A000085, A138178, A323436.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
ptnplane[n_]:=Union[Map[Reverse@*primeMS,Join@@Permutations/@facs[n],{2}]];
Table[Sum[Length[Select[ptnplane[Times@@Prime/@y],And[UnsameQ@@#,UnsameQ@@Transpose[PadRight[#]],And@@GreaterEqual@@@#,And@@(GreaterEqual@@@Transpose[PadRight[#]])]&]],{y,IntegerPartitions[n]}],{n,10}] (* Gus Wiseman, Jan 18 2019 *)

a(11)-a(17) from Gus Wiseman, Jan 18 2019

a(18)-a(21) from Robert Price, Jun 21 2021

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

Original entry on oeis.org

1, 2, 9, 195, 63765, 4294780073, 18446744073639513336, 340282366920938463463374607341656713953, 115792089237316195423570985008687907853269984665640564039457583610129753447747

Offset: 0

Gus Wiseman, Dec 05 2023

nonn

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) = 9 sets of sets:
  {{}}
  {{},{1}}
  {{},{2}}
  {{},{1,2}}
  {{},{1},{2}}
  {{},{1},{1,2}}
  {{},{2},{1,2}}
  {{1},{2},{1,2}}
  {{},{1},{2},{1,2}}

Wikipedia, Axiom of choice.

The version for simple graphs is A367867, covering A367868.
The complement is counted by A367902, no singletons A367770, ranks A367906.
The version without empty edges is A367903, ranks A367907.
For a unique choice (instead of none) we have A367904, ranks A367908.
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, unlabeled A323819.
A326031 gives weight of the set-system with BII-number n.
Cf. A007716, A083323, A092918, A102896, A283877, A306445, A355739, A355740, A367769, A367862, A367905.

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

a(n) = 2^2^n - A367902(n). - Christian Sievers, Aug 01 2024

a(5)-a(8) from Christian Sievers, Aug 01 2024

A319558 The squarefree dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted without multiplicity. Then a(n) is the number of non-isomorphic multiset partitions of weight n whose squarefree dual is strict (no repeated blocks).

Original entry on oeis.org

1, 1, 3, 7, 21, 55, 169, 496, 1582, 5080, 17073

Offset: 0

Gus Wiseman, Sep 23 2018

The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1, a(2) = 3, and a(3) = 7 multiset partitions:
1:    {{1}}
2:   {{1,1}}
    {{1},{1}}
    {{1},{2}}
3:  {{1,1,1}}
   {{1},{1,1}}
   {{1},{2,2}}
   {{2},{1,2}}
  {{1},{1},{1}}
  {{1},{2},{2}}
  {{1},{2},{3}}

Cf. A007716, A007718, A049311, A053419, A056156, A059201, A283877, A316980.

Cf. A319557, A319559, A319560, A319564, A319565, A319566, A319567.

A367862 Number of n-vertex labeled simple graphs with the same number of edges as covered vertices.

Original entry on oeis.org

1, 1, 1, 2, 20, 308, 5338, 105298, 2366704, 60065072, 1702900574, 53400243419, 1836274300504, 68730359299960, 2782263907231153, 121137565273808792, 5645321914669112342, 280401845830658755142, 14788386825536445299398, 825378055206721558026931, 48604149005046792753887416

Offset: 0

Gus Wiseman, Dec 07 2023

nonn

Unlike the connected case (A057500), these graphs may have more than one cycle; for example, the graph {{1,2},{1,3},{1,4},{2,3},{2,4},{5,6}} has multiple cycles.

			Non-isomorphic representatives of the a(4) = 20 graphs:
  {}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,4},{2,3}}
  {{1,2},{1,3},{2,4},{3,4}}

Andrew Howroyd, Table of n, a(n) for n = 0..200

The connected case is A057500, unlabeled A001429.
Counting all vertices (not just covered) gives A116508.
The covering case is A367863, unlabeled A006649.
For set-systems we have A367916, ranks A367917.
A001187 counts connected graphs, A001349 unlabeled.
A003465 counts covering set-systems, unlabeled A055621, ranks A326754.
A006125 counts graphs, A000088 unlabeled.
A006129 counts covering graphs, A002494 unlabeled.
A058891 counts set-systems, unlabeled A000612, without singletons A016031.
A059201 counts covering T_0 set-systems, unlabeled A319637, ranks A326947.
A133686 = graphs satisfy strict AoC, connected A129271, covering A367869.
A143543 counts simple labeled graphs by number of connected components.
A323818 counts connected set-systems, unlabeled A323819, ranks A326749.
A367867 = graphs contradict strict AoC, connected A140638, covering A367868.
Cf. A006126, A316983, A321405, A326754, A326870, A326877, A367770, A367901, A367902, A367903.

Table[Length[Select[Subsets[Subsets[Range[n],{2}]], Length[#]==Length[Union@@#]&]],{n,0,5}]

\\ Here b(n) is A367863(n)
b(n) = sum(k=0, n, (-1)^(n-k) * binomial(n,k) * binomial(binomial(k,2), n))
a(n) = sum(k=0, n, binomial(n,k) * b(k)) \\ Andrew Howroyd, Dec 29 2023

Binomial transform of A367863.

Terms a(8) and beyond from Andrew Howroyd, Dec 29 2023

A367904 Number of sets of nonempty subsets of {1..n} with only one possible way to choose a sequence of different vertices of each edge.

Original entry on oeis.org

1, 2, 6, 38, 666, 32282, 3965886, 1165884638, 792920124786, 1220537093266802, 4187268805038970806, 31649452354183112810198, 522319168680465054600480906, 18683388426164284818805590810122, 1439689660962836496648920949576152046, 237746858936806624825195458794266076911118

Offset: 0

Gus Wiseman, Dec 08 2023

nonn

			The set-system Y = {{1},{1,2},{2,3}} has choices (1,1,2), (1,1,3), (1,2,2), (1,2,3), of which only (1,2,3) has all different elements, so Y is counted under a(3).
The a(0) = 1 through a(2) = 6 set-systems:
  {}  {}     {}
      {{1}}  {{1}}
             {{2}}
             {{1},{2}}
             {{1},{1,2}}
             {{2},{1,2}}

Christian Sievers, Table of n, a(n) for n = 0..77

The maximal case (n subsets) is A003024.
The version for at least one choice is A367902.
The version for no choices is A367903, no singletons A367769, ranks A367907.
These set-systems have ranks A367908, nonzero A367906.
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, unlabeled A323819.
Cf. A102896, A133686, A283877, A306445, A355741, A367770, A367862, A367869, A367901, A367905.

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

a(n) = A367902(n) - A367772(n). - Christian Sievers, Jul 26 2024

Binomial transform of A003024. - Christian Sievers, Aug 12 2024

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

More terms from Christian Sievers, Aug 12 2024

A318099 Number of non-isomorphic weight-n antichains of (not necessarily distinct) multisets whose dual is also an antichain of (not necessarily distinct) multisets.

Original entry on oeis.org

1, 1, 4, 7, 19, 32, 81, 142, 337, 659, 1564

Offset: 0

Gus Wiseman, Sep 25 2018

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}.

The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(3) = 7 antichains:
1: {{1}}
2: {{1,1}}
   {{1,2}}
   {{1},{1}}
   {{1},{2}}
3: {{1,1,1}}
   {{1,2,3}}
   {{1},{2,2}}
   {{1},{2,3}}
   {{1},{1},{1}}
   {{1},{2},{2}}
   {{1},{2},{3}}

Cf. A000219, A006126, A007716, A049311, A059201, A283877, A306007, A316980, A316983, A319558, A319560, A319616-A319646, A300913.

A319564 Number of T_0 integer partitions of n.

Original entry on oeis.org

1, 1, 2, 3, 5, 7, 10, 14, 21, 29, 40, 53, 73, 95, 128, 168, 221, 282, 368, 466, 599, 759, 962, 1201, 1513, 1881, 2345, 2901, 3590, 4407, 5416, 6614, 8083, 9827, 11937, 14442, 17458, 21021, 25299, 30347, 36363, 43438, 51843, 61705, 73384, 87054, 103149, 121949

Offset: 0

Gus Wiseman, Sep 23 2018

nonn

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. For an integer partition the T_0 condition means the dual of the multiset partition obtained by factoring each part into prime numbers is strict (no repeated blocks).

Also the number of integer partitions of n with no equivalent primes. In an integer partition, two primes are equivalent if each part has in its prime factorization the same multiplicity of both primes. For example, in (6,5) the primes {2,3} are equivalent. See A316978 for more examples.

Cf. A000009, A000041, A001970, A007716, A059201, A305148, A316978, A316979, A316983, A319558, A319616, A319728.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]]
dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}]
Table[Length[Select[IntegerPartitions[n],UnsameQ@@dual[primeMS/@#]&]],{n,20}]

A326947 BII-numbers of T_0 set-systems.

Original entry on oeis.org

0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 67, 69, 70, 71, 73, 74, 75, 77, 78

Offset: 1

Gus Wiseman, Aug 08 2019

The dual of a set-system has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. The T_0 condition means that the dual is strict (no repeated edges).

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. 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 expansion (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. Elements of a set-system are sometimes called edges.

			The sequence of all T_0 set-systems together with their BII numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   3: {{1},{2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
   9: {{1},{3}}
  10: {{2},{3}}
  11: {{1},{2},{3}}
  13: {{1},{1,2},{3}}
  14: {{2},{1,2},{3}}
  15: {{1},{2},{1,2},{3}}
  17: {{1},{1,3}}
  19: {{1},{2},{1,3}}
  20: {{1,2},{1,3}}
  21: {{1},{1,2},{1,3}}
  22: {{2},{1,2},{1,3}}
  23: {{1},{2},{1,2},{1,3}}

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

T_0 set-systems are counted by A326940, with unlabeled version A326946.

Cf. A059201, A316978, A319559, A319564, A326939, A326941, A326949.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
dual[eds_]:=Table[First/@Position[eds,x],{x,Union@@eds}];
TZQ[sys_]:=UnsameQ@@dual[sys];
Select[Range[0,100],TZQ[bpe/@bpe[#]]&]

from itertools import count, chain, islice
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen():
    for n in count(0):
        a,b,s = [bin_i(k) for k in bin_i(n)],[],set()
        for i in {i for i in chain.from_iterable(a)}:
            b.append([])
            for j in range(len(a)):
                if i in a[j]:
                    b[-1].append(j)
            s.add(tuple(b[-1]))
        if len(s) == len(b):
            yield n
A326947_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Jul 25 2024

A367908 Numbers n such that there is only one way to choose a different binary index of each binary index of n.

Original entry on oeis.org

1, 2, 3, 5, 6, 8, 9, 10, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 34, 35, 37, 38, 40, 41, 44, 49, 50, 56, 67, 69, 70, 73, 74, 81, 88, 98, 104, 128, 129, 130, 131, 133, 134, 136, 137, 138, 139, 141, 142, 145, 147, 149, 150, 152, 154, 156, 162, 163, 165, 166, 168

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 in exactly 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 exactly one way, namely (1,2,3), so 21 is in the sequence.
The terms together with the corresponding set-systems begin:
   1: {{1}}
   2: {{2}}
   3: {{1},{2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   8: {{3}}
   9: {{1},{3}}
  10: {{2},{3}}
  11: {{1},{2},{3}}
  13: {{1},{1,2},{3}}
  14: {{2},{1,2},{3}}
  17: {{1},{1,3}}
  19: {{1},{2},{1,3}}
  21: {{1},{1,2},{1,3}}
  22: {{2},{1,2},{1,3}}

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

These set-systems are counted by A367904.
Positions of 1's 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 are multiple choices we get A367909, counted by A367772.
The version for MM-numbers of multiset partitions is A368101.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A059201 counts covering T_0 set-systems.
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 for axiom, complement A368097.
Cf. A000612, A059519, A309326, A326675, A326702, A326753, A326872, A355529, A367902, 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], Length[Select[Tuples[bpe/@bpe[#]], UnsameQ@@#&]]==1&]

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):
        p = list(product(*[bin_i(k) for k in bin_i(n)]))
        x,c = len(p),0
        for j in range(x):
            if len(set(p[j])) == len(p[j]): c += 1
            if j+1 == x and c == 1: yield(n)
A367908_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Feb 10 2024

A367907 U A367908 U A367909 = A000027.

A319637 Number of non-isomorphic T_0-covers of n vertices by distinct sets.

Original entry on oeis.org

1, 1, 3, 29, 1885, 18658259

Offset: 0

Gus Wiseman, Sep 25 2018

The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. The T_0 condition means the dual is strict (no repeated elements).

			Non-isomorphic representatives of the a(3) = 29 covers:
   {{1,3},{2,3}}
   {{1},{2},{3}}
   {{1},{3},{2,3}}
   {{2},{3},{1,2,3}}
   {{2},{1,3},{2,3}}
   {{3},{1,3},{2,3}}
   {{3},{2,3},{1,2,3}}
   {{1,2},{1,3},{2,3}}
   {{1},{2},{3},{2,3}}
   {{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2,3}}
   {{1},{2},{1,3},{2,3}}
   {{2},{3},{1,3},{2,3}}
   {{1},{3},{2,3},{1,2,3}}
   {{2},{3},{2,3},{1,2,3}}
   {{3},{1,2},{1,3},{2,3}}
   {{2},{1,3},{2,3},{1,2,3}}
   {{3},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,3},{2,3}}
   {{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{2,3},{1,2,3}}
   {{2},{3},{1,2},{1,3},{2,3}}
   {{1},{2},{1,3},{2,3},{1,2,3}}
   {{2},{3},{1,3},{2,3},{1,2,3}}
   {{3},{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2},{1,3},{2,3}}
   {{1},{2},{3},{1,3},{2,3},{1,2,3}}
   {{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
   {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Cf. A006126, A007716, A049311, A059201, A283877, A316980, A316983, A318099, A319558, A319559, A319616-A319646, A300913.

a(5) from Max Alekseyev, Jul 13 2022

cp's OEIS Frontend

A319646 Number of non-isomorphic weight-n chains of distinct multisets whose dual is also a chain of distinct multisets.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

Views

Author

Keywords

Comments

Examples

Crossrefs

A367862 Number of n-vertex labeled simple graphs with the same number of edges as covered vertices.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A367904 Number of sets of nonempty subsets of {1..n} with only one possible way to choose a sequence of different vertices of each edge.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A318099 Number of non-isomorphic weight-n antichains of (not necessarily distinct) multisets whose dual is also an antichain of (not necessarily distinct) multisets.

Views

Author

Keywords

Comments

Examples

Crossrefs

A319564 Number of T_0 integer partitions of n.

Views

Author

Keywords

Comments

Crossrefs

Programs

Mathematica

A326947 BII-numbers of T_0 set-systems.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A367908 Numbers n such that there is only one way to choose a different binary index of each binary index of n.