A367904 -id:A367904 - cp's OEIS frontend

A368602 Triangle read by rows where T(n,k) is the number of labeled acyclic digraphs on {1..n} with sinks {1..k}.

1, 0, 1, 0, 1, 1, 0, 5, 3, 1, 0, 79, 33, 7, 1, 0, 3377, 1071, 161, 15, 1, 0, 362431, 92289, 10591, 705, 31, 1, 0, 93473345, 19856703, 1832705, 93375, 2945, 63, 1, 0, 56272471039, 10249747713, 789619327, 32382465, 782719, 12033, 127, 1

Offset: 0

Gus Wiseman, Jan 02 2024

Also the number of set-systems with n vertices and n edges such that {i} is a singleton edge iff i <= k, and such that there is only one way to choose a different vertex from each edge.

			Triangle begins:
    1
    0    1
    0    1    1
    0    5    3    1
    0   79   33    7    1
    0 3377 1071  161   15    1
    ...
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},{2},{1,2,3}}
  {{1},{1,2},{1,2,3}}
  {{1},{1,3},{1,2,3}}

Column k = n-1 is A000225 = A058877(n)/n.
Column k = 1 is A134531 (up to sign) or A003025(n)/n, non-fixed A350415.
For any choice of k sinks we get A361718.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A323818 counts covering connected set-systems, unlabeled A323819.
Cf. A000169, A003024, A003087, A082402, A088957, A334282, A367862, A367904, A367908, A368600, A368601.

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

T(n,k) = A361718(n,k)/binomial(n,k).

More terms from Alois P. Heinz, Jan 04 2024

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

Original entry on oeis.org

1, 2, 6, 45, 1352, 157647, 63380093, 85147722812, 385321270991130

Offset: 0

Gus Wiseman, Mar 12 2024

			The set-system {{2},{1,2},{2,4},{1,3,4}} has unique choice (2,1,4,3) so is counted under a(4).

This is the unique version of A367902, complement A367903.
Choosing a sequence gives A367904, ranks A367908.
The maximal case is A368601, complement A368600.
This is the restriction of A370638 to A000225.
Factorizations of this type are counted by A370645.
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.
Cf. A133686, A134964, A367772, A367867, A368101, A368109, A370584.

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

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

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

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

cp's OEIS Frontend

A368602 Triangle read by rows where T(n,k) is the number of labeled acyclic digraphs on {1..n} with sinks {1..k}.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

Extensions