cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-9 of 9 results.

A003024 Number of acyclic digraphs (or DAGs) with n labeled nodes.

Original entry on oeis.org

1, 1, 3, 25, 543, 29281, 3781503, 1138779265, 783702329343, 1213442454842881, 4175098976430598143, 31603459396418917607425, 521939651343829405020504063, 18676600744432035186664816926721, 1439428141044398334941790719839535103, 237725265553410354992180218286376719253505
Offset: 0

Views

Author

Keywords

Comments

Also the number of n X n real (0,1)-matrices with all eigenvalues positive. - Conjectured by Eric W. Weisstein, Jul 10 2003 and proved by McKay et al. 2003, 2004
Also the number of n X n real (0,1)-matrices with permanent equal to 1, up to permutation of rows/columns, cf. A089482. - Vladeta Jovovic, Oct 28 2009
Also the number of nilpotent elements in the semigroup of binary relations on [n]. - Geoffrey Critzer, May 26 2022
From Gus Wiseman, Jan 01 2024: (Start)
Also the number of sets of n nonempty subsets of {1..n} such that there is a unique way to choose a different element from each. For example, non-isomorphic representatives of the a(3) = 25 set-systems are:
{{1},{2},{3}}
{{1},{2},{1,3}}
{{1},{2},{1,2,3}}
{{1},{1,2},{1,3}}
{{1},{1,2},{2,3}}
{{1},{1,2},{1,2,3}}
These set-systems have ranks A367908, subset of A367906, for multisets A368101.
The version for no ways is A368600, any length A367903, ranks A367907.
The version for at least one way is A368601, any length A367902.
(End)

Examples

			For n = 2 the three (0,1)-matrices are {{{1, 0}, {0, 1}}, {{1, 0}, {1, 1}}, {{1, 1}, {0, 1}}}.
		

References

  • Archer, K., Gessel, I. M., Graves, C., & Liang, X. (2020). Counting acyclic and strong digraphs by descents. Discrete Mathematics, 343(11), 112041.
  • S. R. Finch, Mathematical Constants, Cambridge, 2003, p. 310.
  • F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973, p. 19, Eq. (1.6.1).
  • R. W. Robinson, Counting labeled acyclic digraphs, pp. 239-273 of F. Harary, editor, New Directions in the Theory of Graphs. Academic Press, NY, 1973.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • R. P Stanley, Enumerative Combinatorics I, 2nd. ed., p. 322.

Crossrefs

Cf. A086510, A081064 (refined by # arcs), A307049 (by # descents).
Cf. A055165, which counts nonsingular {0, 1} matrices and A085656, which counts positive definite {0, 1} matrices.
Cf. A188457, A135079, A137435 (acyclic 3-multidigraphs), A188490.
For a unique sink we have A003025.
The unlabeled version is A003087.
These are the reverse-alternating sums of rows of A046860.
The weakly connected case is A082402.
A reciprocal version is A334282.
Row sums of A361718.

Programs

  • Maple
    p:=evalf(solve(sum((-1)^n*x^n/(n!*2^(n*(n-1)/2)), n=0..infinity) = 0, x), 50); M:=evalf(sum((-1)^(n+1)*p^n/((n-1)!*2^(n*(n-1)/2)), n=1..infinity), 40); # program for evaluation of constants p and M in the asymptotic formula, Vaclav Kotesovec, Dec 09 2013
  • Mathematica
    a[0] = a[1] = 1; a[n_] := a[n] = Sum[ -(-1)^k * Binomial[n, k] * 2^(k*(n-k)) * a[n-k], {k, 1, n}]; Table[a[n], {n, 0, 13}](* Jean-François Alcover, May 21 2012, after PARI *)
    Table[2^(n*(n-1)/2)*n! * SeriesCoefficient[1/Sum[(-1)^k*x^k/k!/2^(k*(k-1)/2),{k,0,n}],{x,0,n}],{n,0,20}] (* Vaclav Kotesovec, May 19 2015 *)
    Table[Length[Select[Subsets[Subsets[Range[n]],{n}],Length[Select[Tuples[#],UnsameQ@@#&]]==1&]],{n,0,5}] (* Gus Wiseman, Jan 01 2024 *)
  • PARI
    a(n)=if(n<1,n==0,sum(k=1,n,-(-1)^k*binomial(n,k)*2^(k*(n-k))*a(n-k)))
    
  • PARI
    {a(n)=polcoeff(1-sum(k=0, n-1, a(k)*x^k/(1+2^k*x+x*O(x^n))^(k+1)), n)} \\ Paul D. Hanna, Oct 17 2009

Formula

a(0) = 1; for n > 0, a(n) = Sum_{k=1..n} (-1)^(k+1)*C(n, k)*2^(k*(n-k))*a(n-k).
1 = Sum_{n>=0} a(n)*exp(-2^n*x)*x^n/n!. - Vladeta Jovovic, Jun 05 2005
a(n) = Sum_{k=1..n} (-1)^(n-k)*A046860(n,k) = Sum_{k=1..n} (-1)^(n-k)*k!*A058843(n,k). - Vladeta Jovovic, Jun 20 2008
1 = Sum_{n=>0} a(n)*x^n/(1 + 2^n*x)^(n+1). - Paul D. Hanna, Oct 17 2009
1 = Sum_{n>=0} a(n)*C(n+m-1,n)*x^n/(1 + 2^n*x)^(n+m) for m>=1. - Paul D. Hanna, Apr 01 2011
log(1+x) = Sum_{n>=1} a(n)*(x^n/n)/(1 + 2^n*x)^n. - Paul D. Hanna, Apr 01 2011
Let E(x) = Sum_{n >= 0} x^n/(n!*2^C(n,2)). Then a generating function for this sequence is 1/E(-x) = Sum_{n >= 0} a(n)*x^n/(n!*2^C(n,2)) = 1 + x + 3*x^2/(2!*2) + 25*x^3/(3!*2^3) + 543*x^4/(4!*2^6) + ... (Stanley). Cf. A188457. - Peter Bala, Apr 01 2013
a(n) ~ n!*2^(n*(n-1)/2)/(M*p^n), where p = 1.488078545599710294656246... is the root of the equation Sum_{n>=0} (-1)^n*p^n/(n!*2^(n*(n-1)/2)) = 0, and M = Sum_{n>=1} (-1)^(n+1)*p^n/((n-1)!*2^(n*(n-1)/2)) = 0.57436237330931147691667... Both references to the article "Acyclic digraphs and eigenvalues of (0,1)-matrices" give the wrong value M=0.474! - Vaclav Kotesovec, Dec 09 2013 [Response from N. J. A. Sloane, Dec 11 2013: The value 0.474 has a typo, it should have been 0.574. The value was taken from Stanley's 1973 paper.]
exp( Sum_{n >= 1} a(n)*x^n/n ) = 1 + x + 2*x^2 + 10*x^3 + 146*x^4 + 6010*x^5 + ... appears to have integer coefficients (cf. A188490). - Peter Bala, Jan 14 2016

A003087 Number of acyclic digraphs with n unlabeled nodes.

Original entry on oeis.org

1, 1, 2, 6, 31, 302, 5984, 243668, 20286025, 3424938010, 1165948612902, 797561675349580, 1094026876269892596, 3005847365735456265830, 16530851611091131512031070, 181908117707763484218885361402
Offset: 0

Views

Author

Keywords

Comments

Also the number of equivalence classes of n X n real (0,1)-matrices with all eigenvalues positive, up to conjugation by permutations.

References

  • F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973, p. 194.
  • R. W. Robinson, Numerical implementation of graph counting algorithms, AGRC Grant, Math. Dept., Univ. Newcastle, Australia, 1976.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. A003024 (the labeled case), A082402, A101228 (weakly connected, inverse Euler Trans).
Rows sums of A122078, A350447, A350448.

A003025 Number of n-node labeled acyclic digraphs with 1 out-point.

Original entry on oeis.org

1, 2, 15, 316, 16885, 2174586, 654313415, 450179768312, 696979588034313, 2398044825254021110, 18151895792052235541515, 299782788128536523836784628, 10727139906233315197412684689421
Offset: 1

Views

Author

Keywords

Comments

From Gus Wiseman, Jan 02 2024: (Start)
Also the number of n-element sets of finite nonempty subsets of {1..n}, including a unique singleton, such that there is exactly one way to choose a different element from each. For example, the a(0) = 0 through a(3) = 15 set-systems are:
. {{1}} {{1},{1,2}} {{1},{1,2},{1,3}}
{{2},{1,2}} {{1},{1,2},{2,3}}
{{1},{1,3},{2,3}}
{{2},{1,2},{1,3}}
{{2},{1,2},{2,3}}
{{2},{1,3},{2,3}}
{{3},{1,2},{1,3}}
{{3},{1,2},{2,3}}
{{3},{1,3},{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}}
These set-systems are all connected.
The case of labeled graphs is A000169.
(End)

Examples

			a(2) = 2: o-->--o (2 ways)
a(3) = 15: o-->--o-->--o (6 ways) and
o ... o o-->--o
.\ . / . \ . /
. v v ... v v
.. o ..... o
(3 ways) (6 ways)
		

References

  • R. W. Robinson, Counting labeled acyclic digraphs, pp. 239-273 of F. Harary, editor, New Directions in the Theory of Graphs. Academic Press, NY, 1973.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

A diagonal of A058876.
Row sums of A350487.
The unlabeled version is A350415.
Column k=1 of A361718.
For any number of sinks we have A003024, unlabeled A003087.
For n-1 sinks we have A058877.
For a fixed sink we have A134531 (up to sign), column k=1 of A368602.

Programs

Formula

a(n) = (-1)^(n-1) * n * A134531(n). - Gus Wiseman, Jan 02 2024

Extensions

More terms from Vladeta Jovovic, Apr 10 2001

A101228 Number of weakly connected acyclic digraphs on n unlabeled nodes.

Original entry on oeis.org

1, 1, 4, 24, 267, 5647, 237317, 20035307, 3404385285, 1162502511721, 796392234736238, 1093228137893084112, 3004752537725051647790, 16527844667281561960220731, 181891583847006693859132403681, 4004313473818592854334088690859030
Offset: 1

Views

Author

Vladeta Jovovic, Jan 22 2005

Keywords

Comments

The multiset transformation gives the number acyclic digraphs on n unlabeled nodes with k components:
1 ;
1 , 1 ;
4 , 1 , 1 ;
24 , 5 , 1 , 1 ;
267 , 28 , 5 , 1 , 1 ;
5647 , 301 , 29 , 5 , 1 , 1 ;
237317 , 6010 , 305 , 29 , 5 , 1 , 1 ; R. J. Mathar, Mar 21 2019

Crossrefs

Row sums of A350449.
Column sums of A350450.
Cf. A003087 (Euler trans.), A082402, A350451.

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

Views

Author

Geoffrey Critzer, Apr 02 2023

Keywords

Comments

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

Examples

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

Crossrefs

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.

Programs

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

Formula

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

A361591 Triangle read by rows: T(n,k) is the number of weakly connected simple digraphs on n labeled nodes with k strongly connected components.

Original entry on oeis.org

1, 0, 1, 0, 1, 2, 0, 18, 18, 18, 0, 1606, 1098, 684, 446, 0, 565080, 263580, 116370, 55620, 26430, 0, 734774776, 225806940, 68822910, 24578010, 9729090, 3596762, 0, 3523091615568, 680637057912, 136498491360, 34626926250, 10819771830, 3694824126, 1111506858
Offset: 0

Views

Author

Andrew Howroyd, May 04 2023

Keywords

Examples

			Triangle begins:
  1;
  0,         1;
  0,         1,         2;
  0,        18,        18,       18;
  0,      1606,      1098,      684,      446;
  0,    565080,    263580,   116370,    55620,   26430;
  0, 734774776, 225806940, 68822910, 24578010, 9729090, 3596762;
  ...
		

Crossrefs

Column k=1 is A003030.
Main diagonal is A082402.
Row sums are A003027.
The unlabeled version is A361587.

Programs

  • PARI
    \\ Uses functions defined in A361455.
    T(n)={my(e=2); [Vecrev(p) | p<-Vec(serlaplace(1 + log(U(e, 1/G(e, exp(y*log(U(e, 1/G(e, DigraphEgf(n, e))))))))))]}
    { my(A=T(6)); for(i=1, #A, print(A[i])) }

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

Original entry on oeis.org

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

Views

Author

Gus Wiseman, Jan 02 2024

Keywords

Comments

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.

Examples

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

Crossrefs

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.

Programs

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

Formula

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

Extensions

More terms from Alois P. Heinz, Jan 04 2024

A350909 Triangle read by rows: T(n,k) is the number of weakly connected acyclic digraphs on n labeled nodes with k arcs, k=0..n*(n-1).

Original entry on oeis.org

1, 0, 2, 0, 0, 12, 6, 0, 0, 0, 128, 186, 108, 24, 0, 0, 0, 0, 2000, 5640, 7840, 6540, 3330, 960, 120, 0, 0, 0, 0, 0, 41472, 189480, 456720, 730830, 832370, 690300, 416160, 178230, 51480, 9000, 720, 0, 0, 0, 0, 0, 0, 1075648, 7178640, 26035800, 65339820
Offset: 1

Views

Author

Andrew Howroyd, Jan 29 2022

Keywords

Examples

			Triangle begins:
  [1] 1;
  [2] 0, 2;
  [3] 0, 0, 12,   6;
  [4] 0, 0,  0, 128,  186,  108,   24;
  [5] 0, 0,  0,   0, 2000, 5640, 7840, 6540, 3330, 960, 120;
  ...
		

Crossrefs

Row sums are A082402.
Leading diagonal is A097629.
The unlabeled version is A350449.

Programs

  • PARI
    G(n)={my(v=vector(n+1)); v[1]=1; for(n=1, n, v[n+1]=sum(k=1, n, -(-1)^k*(1+y)^(k*(n-k))*v[n-k+1]/k!))/n!; Ser(v)}
    row(n)={Vecrev(n!*polcoef(log(G(n)), n))}
    { for(n=1, 6, print(row(n))) }

A380252 Triangular array read by rows: T(n,k) is the number of labeled acyclic digraphs on n vertices with exactly k weakly connected components, n>=0, 0<=k<=n.

Original entry on oeis.org

1, 0, 1, 0, 2, 1, 0, 18, 6, 1, 0, 446, 84, 12, 1, 0, 26430, 2590, 240, 20, 1, 0, 3596762, 175200, 8970, 540, 30, 1, 0, 1111506858, 26568374, 678930, 24010, 1050, 42, 1, 0, 774460794326, 9127077036, 112393736, 2007600, 54740, 1848, 56, 1, 0, 1206342801843750, 7057099207134, 42191272116, 357391608, 5013540, 111636, 3024, 72, 1
Offset: 0

Views

Author

Geoffrey Critzer, Jan 17 2025

Keywords

Examples

			Triangle T(n,k) begins:
  1;
  0,       1;
  0,       2,      1;
  0,      18,      6,    1;
  0,     446,     84,   12,   1;
  0,   26430,   2590,  240,  20,  1;
  0, 3596762, 175200, 8970, 540, 30, 1;
  ...
		

Crossrefs

Columns k=0-1 give: A000007, A082402.
Row sums give A003024.
Cf. A082403.

Programs

  • Mathematica
    nn = 8; B[n_] := n! 2^Binomial[n, 2];e[x_] := Sum[x^n/B[n], {n, 0, nn}];egf[ggf_] := Normal[Series[ggf, {x, 0, nn}]] /.Table[x^i -> x^i*2^Binomial[i, 2], {i, 0, nn}]; Table[Drop[(Table[n!, {n, 0, nn}] CoefficientList[Series[Exp[y (Log[egf[1/e[-x]]])], {x, 0, nn}], {x,y}])[[i]], {i + 1, nn + 1}], {i, 1, nn + 1}] // Grid

Formula

E.g.f.: exp(y*log(B(x))) where B(x) = Sum_{n>=0} A003024(n)*x^n/n!.
Showing 1-9 of 9 results.