A367904 -id:A367904 - cp's OEIS frontend

A370595 Number of integer partitions of n such that only one set can be obtained by choosing a different divisor of each part.

1, 1, 0, 1, 2, 0, 3, 2, 4, 3, 4, 5, 8, 9, 8, 13, 12, 17, 16, 27, 28, 33, 36, 39, 50, 58, 65, 75, 93, 94, 112, 125, 148, 170, 190, 209, 250, 273, 305, 341, 403, 432, 484, 561, 623, 708, 765, 873, 977, 1109, 1178, 1367, 1493, 1669, 1824, 2054, 2265, 2521, 2770

Offset: 0

Gus Wiseman, Mar 03 2024

nonn

For example, the only choice for the partition (9,9,6,6,6) is {1,2,3,6,9}.

			The a(1) = 1 through a(15) = 13 partitions (A = 10, B = 11, C = 12, D = 13):
  1  .  21  22  .  33   322  71   441  55    533   B1    553   77    933
            31     51   421  332  522  442   722   444   733   D1    B22
                   321       422  531  721   731   552   751   B21   B31
                             521       4321  4322  4332  931   4433  4443
                                             5321  4431  4432  5441  5442
                                                   5322  5332  6332  5532
                                                   5421  5422  7322  6621
                                                   6321  6322  7421  7332
                                                         7321        7422
                                                                     7521
                                                                     8421
                                                                     9321
                                                                     54321

For no choices we have A370320, complement A239312.
The version for prime factors (not all divisors) is A370594, ranks A370647.
For multiple choices we have A370803, ranks A370811.
These partitions have ranks A370810.
A000005 counts divisors.
A000041 counts integer partitions, strict A000009.
A027746 lists prime factors, A112798 indices, length A001222.
A355731 counts choices of a divisor of each prime index, firsts A355732.
A355741, A355744, A355745 choose prime factors of prime indices.
A370592 counts partitions with choosable prime factors, ranks A368100.
A370593 counts partitions without choosable prime factors, ranks A355529.
A370804 counts non-condensed partitions with no ones, complement A370805.
A370814 counts factorizations with choosable divisors, complement A370813.
Cf. A355535, A355739, A355740, A367867, A367904, A368110, A370583, A370584, A370806, A370808.

Table[Length[Select[IntegerPartitions[n],Length[Union[Sort /@ Select[Tuples[Divisors/@#],UnsameQ@@#&]]]==1&]],{n,0,30}]

More terms from Jinyuan Wang, Feb 14 2025

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.

A370810 Numbers n such that only one set can be obtained by choosing a different divisor of each prime index of n.

Original entry on oeis.org

1, 2, 6, 9, 10, 22, 25, 30, 34, 42, 45, 62, 63, 66, 75, 82, 98, 99, 102, 110, 118, 121, 134, 147, 153, 166, 170, 186, 210, 218, 230, 246, 254, 275, 279, 289, 310, 314, 315, 330, 343, 354, 358, 363, 369, 374, 382, 390, 402, 410, 422, 425, 462, 482, 490, 495

Offset: 1

Gus Wiseman, Mar 05 2024

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 6591 are {2,6,6,6}, for which the only choice is {1,2,3,6}, so 6591 is in the sequence.
The terms together with their prime indices begin:
    1: {}
    2: {1}
    6: {1,2}
    9: {2,2}
   10: {1,3}
   22: {1,5}
   25: {3,3}
   30: {1,2,3}
   34: {1,7}
   42: {1,2,4}
   45: {2,2,3}
   62: {1,11}
   63: {2,2,4}
   66: {1,2,5}
   75: {2,3,3}
   82: {1,13}
   98: {1,4,4}
   99: {2,2,5}
  102: {1,2,7}
  110: {1,3,5}

For no choices we have A355740, counted by A370320.
For at least one choice we have A368110, counted by A239312.
Partitions of this type are counted by A370595 and A370815.
For just prime factors we have A370647, counted by A370594.
For more than one choice we have A370811, counted by A370803.
A000005 counts divisors.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, A112798 indices, length A001222.
A355731 counts choices of a divisor of each prime index, firsts A355732.
A355741, A355744, A355745 choose prime factors of prime indices.
A370814 counts factorizations with choosable divisors, complement A370813.
Cf. A133686, A355529, A355739, A355749, A367771, A367904, A370584, A370592, A370808, A370816.

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

A367772 Number of sets of nonempty subsets of {1..n} satisfying a strict version of the axiom of choice in more than one way.

Original entry on oeis.org

0, 0, 1, 23, 1105, 154941, 66072394, 88945612865, 396990456067403

Offset: 0

Gus Wiseman, Dec 12 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.

			Non-isomorphic representatives of the a(3) = 23 set-systems:
  {{1,2}}
  {{1,2,3}}
  {{1},{2,3}}
  {{1},{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{1,2,3}}
  {{1},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,2,3}}

Wikipedia, Axiom of choice.

For at least one choice we have A367902.
For no choices we have A367903, no singletons A367769, ranks A367907.
For a unique choice we have A367904, ranks A367908.
These set-systems have ranks A367909.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
Cf. A059201, A102896, A133686, A283877, A306445, A323818, A355741, A367770, A367862, A367869, A367901, A367905.

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

A367903(n) + A367904(n) + a(n) = A058891(n).

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

A368101 Numbers of which there is exactly one way to choose a different prime factor of each prime index.

Original entry on oeis.org

1, 3, 5, 11, 15, 17, 31, 33, 39, 41, 51, 55, 59, 65, 67, 83, 85, 87, 93, 109, 111, 123, 127, 129, 155, 157, 165, 177, 179, 187, 191, 201, 205, 211, 213, 235, 237, 241, 249, 255, 267, 277, 283, 295, 303, 305, 319, 321, 327, 331, 335, 341, 353, 365, 367, 381

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 2795 are {3,6,14}, with prime factors {{3},{2,3},{2,7}}, and the only choice with different terms is {3,2,7}, so 2795 is in the sequence.
The terms together with their prime indices of prime indices begin:
    1: {}
    3: {{1}}
    5: {{2}}
   11: {{3}}
   15: {{1},{2}}
   17: {{4}}
   31: {{5}}
   33: {{1},{3}}
   39: {{1},{1,2}}
   41: {{6}}
   51: {{1},{4}}
   55: {{2},{3}}
   59: {{7}}
   65: {{2},{1,2}}
   67: {{8}}
   83: {{9}}
   85: {{2},{4}}
   87: {{1},{1,3}}
   93: {{1},{5}}
  109: {{10}}
  111: {{1},{1,1,2}}

For no choices we have A355529, odd A355535, binary A367907.
Positions of ones in A367771.
The version for binary indices is A367908, positions of ones in A367905.
For any number of choices we have A368100.
For a unique set instead of sequence we have A370647, counted by A370594.
A058891 counts set-systems, covering A003465, connected A323818.
A112798 lists prime indices, reverse A296150, length A001222, sum A056239.
A124010 gives prime signature, sort A118914, length A001221, sum A001222.
A355741 chooses a prime factor of each prime index, multisets A355744.
Cf. A007716,  A355737, A355739, A355740, A355745, A367904, A367906, A370584.

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

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

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

A370647 Numbers such that only one set can be obtained by choosing a different prime factor of each prime index.

Original entry on oeis.org

1, 3, 5, 7, 11, 15, 17, 19, 23, 31, 33, 35, 39, 41, 51, 53, 55, 59, 65, 67, 69, 77, 83, 85, 87, 91, 93, 95, 97, 103, 109, 111, 119, 123, 127, 129, 131, 155, 157, 161, 165, 169, 177, 179, 183, 185, 187, 191, 201, 203, 205, 209, 211, 213, 217, 227, 235, 237, 241

Offset: 1

Gus Wiseman, Mar 06 2024

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 91 are {4,6}, with only choice {2,3}, so 91 is in the sequence.
The terms together with their prime indices begin:
     1: {}        53: {16}      109: {29}
     3: {2}       55: {3,5}     111: {2,12}
     5: {3}       59: {17}      119: {4,7}
     7: {4}       65: {3,6}     123: {2,13}
    11: {5}       67: {19}      127: {31}
    15: {2,3}     69: {2,9}     129: {2,14}
    17: {7}       77: {4,5}     131: {32}
    19: {8}       83: {23}      155: {3,11}
    23: {9}       85: {3,7}     157: {37}
    31: {11}      87: {2,10}    161: {4,9}
    33: {2,5}     91: {4,6}     165: {2,3,5}
    35: {3,4}     93: {2,11}    169: {6,6}
    39: {2,6}     95: {3,8}     177: {2,17}
    41: {13}      97: {25}      179: {41}
    51: {2,7}    103: {27}      183: {2,18}

For nonexistence we have A355529, count A370593.
For binary instead of prime indices we have A367908, counted by A367904.
For existence we have A368100, count A370592.
For a sequence instead of set of factors we have A368101.
The version for subsets is A370584, see also A370582, A370583.
Maximal sets of this type are counted by A370585.
Partitions of this type are counted by A370594.
For subsets and binary indices we have A370638.
The version for factorizations is A370645, see also A368414, A368413.
For divisors instead of factors we have A370810, counted by A370595.
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, A355739, A355740, A355744, A355745, A368110.

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

A370811 Numbers such that more than one set can be obtained by choosing a different divisor of each prime index.

Original entry on oeis.org

3, 5, 7, 11, 13, 14, 15, 17, 19, 21, 23, 26, 29, 31, 33, 35, 37, 38, 39, 41, 43, 46, 47, 49, 51, 53, 55, 57, 58, 59, 61, 65, 67, 69, 70, 71, 73, 74, 77, 78, 79, 83, 85, 86, 87, 89, 91, 93, 94, 95, 97, 101, 103, 105, 106, 107, 109, 111, 113, 114, 115, 117, 119

Offset: 1

Gus Wiseman, Mar 13 2024

nonn

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

			The prime indices of 70 are {1,3,4}, with choices (1,3,4) and (1,3,2), so 70 is in the sequence.
The terms together with their prime indices begin:
     3: {2}      43: {14}        79: {22}       115: {3,9}
     5: {3}      46: {1,9}       83: {23}       117: {2,2,6}
     7: {4}      47: {15}        85: {3,7}      119: {4,7}
    11: {5}      49: {4,4}       86: {1,14}     122: {1,18}
    13: {6}      51: {2,7}       87: {2,10}     123: {2,13}
    14: {1,4}    53: {16}        89: {24}       127: {31}
    15: {2,3}    55: {3,5}       91: {4,6}      129: {2,14}
    17: {7}      57: {2,8}       93: {2,11}     130: {1,3,6}
    19: {8}      58: {1,10}      94: {1,15}     131: {32}
    21: {2,4}    59: {17}        95: {3,8}      133: {4,8}
    23: {9}      61: {18}        97: {25}       137: {33}
    26: {1,6}    65: {3,6}      101: {26}       138: {1,2,9}
    29: {10}     67: {19}       103: {27}       139: {34}
    31: {11}     69: {2,9}      105: {2,3,4}    141: {2,15}
    33: {2,5}    70: {1,3,4}    106: {1,16}     142: {1,20}
    35: {3,4}    71: {20}       107: {28}       143: {5,6}
    37: {12}     73: {21}       109: {29}       145: {3,10}
    38: {1,8}    74: {1,12}     111: {2,12}     146: {1,21}
    39: {2,6}    77: {4,5}      113: {30}       149: {35}
    41: {13}     78: {1,2,6}    114: {1,2,8}    151: {36}

For no choices we have A355740, counted by A370320.
For at least one choice we have A368110, counted by A239312.
Partitions of this type are counted by A370803.
For a unique choice we have A370810, counted by A370595 and A370815.
A000005 counts divisors.
A006530 gives greatest prime factor, least A020639.
A027746 lists prime factors, A112798 indices, length A001222.
A355731 counts choices of a divisor of each prime index, firsts A355732.
A355741, A355744, A355745 choose prime factors of prime indices.
A370814 counts factorizations with choosable divisors, complement A370813.
Cf. A133686, A355529, A355739, A355749, A367771, A367904, A370584, A370592, A370594, A370647, A370808, A370816.

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

A361718 Triangular array read by rows. T(n,k) is the number of labeled directed acyclic graphs on [n] with exactly k nodes of indegree 0.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 15, 9, 1, 0, 316, 198, 28, 1, 0, 16885, 10710, 1610, 75, 1, 0, 2174586, 1384335, 211820, 10575, 186, 1, 0, 654313415, 416990763, 64144675, 3268125, 61845, 441, 1, 0, 450179768312, 286992935964, 44218682312, 2266772550, 43832264, 336924, 1016, 1

Offset: 0

Geoffrey Critzer, Apr 02 2023

Also the number of sets of n nonempty subsets of {1..n}, k of which are singletons, such that there is only one way to choose a different element from each. For example, row n = 3 counts the following set-systems:
  {{1},{1,2},{1,3}}    {{1},{2},{1,3}}    {{1},{2},{3}}
  {{1},{1,2},{2,3}}    {{1},{2},{2,3}}
  {{1},{1,3},{2,3}}    {{1},{3},{1,2}}
  {{2},{1,2},{1,3}}    {{1},{3},{2,3}}
  {{2},{1,2},{2,3}}    {{2},{3},{1,2}}
  {{2},{1,3},{2,3}}    {{2},{3},{1,3}}
  {{3},{1,2},{1,3}}    {{1},{2},{1,2,3}}
  {{3},{1,2},{2,3}}    {{1},{3},{1,2,3}}
  {{3},{1,3},{2,3}}    {{2},{3},{1,2,3}}
  {{1},{1,2},{1,2,3}}
  {{1},{1,3},{1,2,3}}
  {{2},{1,2},{1,2,3}}
  {{2},{2,3},{1,2,3}}
  {{3},{1,3},{1,2,3}}
  {{3},{2,3},{1,2,3}}

			Triangle begins:
  1;
  0,     1;
  0,     2,     1;
  0,    15,     9,    1;
  0,   316,   198,   28,  1;
  0, 16885, 10710, 1610, 75, 1;
  ...

E. de Panafieu and S. Dovgal, Symbolic method and directed graph enumeration, arXiv:1903.09454 [math.CO], 2019.
R. W. Robinson, Counting digraphs with restrictions on the strong components, Combinatorics and Graph Theory '95 (T.-H. Ku, ed.), World Scientific, Singapore (1995), 343-354.

Cf. A058876 (mirror), A361579, A224069.
Row-sums are A003024, unlabeled A003087.
Column k = 1 is A003025(n) = |n*A134531(n)|.
Column k = n-1 is A058877.
For fixed sinks we get A368602.
A058891 counts set-systems, unlabeled A000612.
A323818 counts covering connected set-systems, unlabeled A323819.
Cf. A000169, A059201, A082402, A088957, A133686, A334282, A350415, A367904, A367908, A368600, A368601.

nn = 8; B[n_] := n! 2^Binomial[n, 2] ;ggf[egf_] := Normal[Series[egf, {z, 0, nn}]] /. Table[z^i -> z^i/2^Binomial[i, 2], {i, 0, nn}];Table[Take[(Table[B[n], {n, 0, nn}] CoefficientList[ Series[ggf[Exp[(u - 1) z]]/ggf[Exp[-z]], {z, 0, nn}], {z, u}])[[i]], i], {i, 1, nn + 1}] // Grid
nv=4;Table[Length[Select[Subsets[Subsets[Range[n]],{n}], Count[#,{_}]==k&&Length[Select[Tuples[#], UnsameQ@@#&]]==1&]],{n,0,nv},{k,0,n}]

T(n,k) = A368602(n,k) * binomial(n,k). - Gus Wiseman, Jan 03 2024

cp's OEIS Frontend

A370595 Number of integer partitions of n such that only one set can be obtained by choosing a different divisor of each part.

Views

Author

Keywords

Comments

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

A370810 Numbers n such that only one set can be obtained by choosing a different divisor of each prime index of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A367772 Number of sets of nonempty subsets of {1..n} satisfying a strict version of the axiom of choice in more than one way.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A368101 Numbers of which there is exactly one way to choose a different prime factor of each prime index.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A370639 Number of 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

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

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

A370647 Numbers such that only one set can be obtained by choosing a different prime factor of each prime index.

Views

Author

Keywords

Comments