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-3 of 3 results.

A056005 Number of 3-element ordered antichains on an unlabeled n-element set; T_1-hypergraphs with 3 labeled nodes and n hyperedges.

Original entry on oeis.org

0, 0, 0, 2, 19, 90, 302, 820, 1926, 4068, 7920, 14454, 25025, 41470, 66222, 102440, 154156, 226440, 325584, 459306, 636975, 869858, 1171390, 1557468, 2046770, 2661100, 3425760, 4369950, 5527197, 6935814, 8639390, 10687312, 13135320, 16046096, 19489888
Offset: 0

Views

Author

Vladeta Jovovic, Goran Kilibarda, Jul 24 2000

Keywords

Comments

T_1-hypergraph is a hypergraph (not necessarily without empty hyperedges or multiple hyperedges) which for every ordered pair of distinct nodes have a hyperedge containing one but not the other node.

Examples

			There are 19 3-element ordered antichains on an unlabeled 4-element set: ({4},{3},{2}), ({4},{3},{1,2}), ({4},{2,3},{1}), ({4},{2,3},{1,3}), ({3,4},{2},{1}), ({3,4},{2},{1,4}), ({3,4},{2,4},{2,3}), ({3,4},{2,4},{1}), ({3,4},{2,4},{1,4}), ({3,4},{2,4},{1,3}), ({3,4},{2,4},{1,2}), ({3,4},{2,4},{1,2,3}), ({3,4},{1,2},{2,4}), ({3,4},{1,2,4},{2,3}), ({3,4},{1,2,4},{1,2,3}), ({2,3,4},{1,4},{1,3}), ({2,3,4},{1,4},{1,2,3}), ({2,3,4},{1,3,4},{1,2}), ({2,3,4},{1,3,4},{1,2,4}).

Links

Crossrefs

Cf. A047707 for 3-element (unordered) antichains on a labeled n-element set.
Cf. A056069, A056070, A056071, A056073, A056163.

Programs

  • Magma
    [n*(n-2)*(n-1)*(n+1)*(n^3 + 30*n^2 + 131*n - 270)/5040: n in [0..30]]; // G. C. Greubel, Nov 22 2017
  • Mathematica
    Table[Binomial[n+7,7]-6Binomial[n+5,5]+6Binomial[n+4,4]+3Binomial[n+3,3]- 6Binomial[n+2,2]+ 2Binomial[n+1,1],{n,0,40}] (* or *) LinearRecurrence[ {8,-28,56,-70,56,-28,8,-1},{0,0,0,2,19,90,302,820},40] (* Harvey P. Dale, Jul 27 2011 *)
  • PARI
    x='x+O('x^50); concat([0,0,0], Vec(x^3*(2+3*x-6*x^2+2*x^3)/(1-x)^8)) \\ G. C. Greubel, Oct 06 2017

Formula

a(n) = C(n+7, 7) - 6*C(n+5, 5) + 6*C(n+4, 4) + 3*C(n+3, 3) - 6*C(n+2, 2) + 2*C(n+1, 1).
a(n) = n*(n-2)*(n-1)*(n+1)*(n^3 + 30*n^2 + 131*n - 270)/5040.
G.f.: 1/(1-x)^8 - 6/(1-x)^6 + 6/(1-x)^5 + 3/(1-x)^4 - 6/(1-x)^3 + 2/(1-x)^2.
G.f.: x^3*(2 + 3*x - 6*x^2 + 2*x^3)/(1-x)^8.
Recurrence: a(n) = 8*a(n-1) - 28*a(n-2) + 56*a(n-3) - 70*a(n-4) + 56*a(n-5) - 28*a(n-6) + 8*a(n-7) - a(n-8).
Generally, recurrence for the number of m-element ordered antichains on an unlabeled n-element set is a(m, n) = C(2^m, 1)*a(m, n - 1) - C(2^m, 2)*a(m, n - 2) + C(2^m, 3)*a(m, n - 3) + ... + ( - 1)^(k - 1)*C(2^m, k)*a(m, n - k) + ... - a(m, n - 2^m).
a(n) = A000580(n+7) - 6*A000389(n+5) + 6*A000332(n+4) + 3*A000292(n+1) - 6*A000217(n+1) + 2*A000027(n+1). - R. J. Mathar, Nov 16 2007

Extensions

More terms from Harvey P. Dale, Jul 27 2011

A056163 Number of ordered antichains on an unlabeled n-set; labeled T_1-hypergraphs with n hyperedges.

Original entry on oeis.org

2, 3, 5, 11, 120, 191297
Offset: 0

Views

Author

Vladeta Jovovic, Goran Kilibarda, Jul 31 2000

Keywords

Comments

A T_1-hypergraph is a hypergraph (not necessarily without empty hyperedges or multiple hyperedges) which for every ordered pair of distinct nodes has a hyperedge containing one but not the other node.

Examples

			a(1)=1+2=3; a(2)=1+3+1=5; a(3)=1+4+4+2=11; a(4)=1+5+10+19+25+30+30=120; a(5)=1+6+20+90+454+2206+8340+20580+38640+60480+60480=191297.
There are 11 ordered antichains on an unlabeled 3-set: 0, (0), ({1}), ({1,2}), ({1,2,3}), ({1},{2}), ({1},{2,3}), ({2,3},{1}), ({1,2},{1,3}), ({1},{2},{3}), ({1,2},{1,3},{2,3}).

References

  • V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6)
  • V. Jovovic, G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.

Links

Crossrefs

Cf. A000372 for (unordered) antichains on a labeled n-set, A056005, A056069-A056071, A056073, A056046-A056049, A056052, A056101, A056104, A051112-A051118.

Formula

a(n)=Sum_{k=0..C(n, floor(n/2))}b(k, n) where b(k, n) is the number of k-element ordered antichains on an unlabeled n-set.

A056164 Number of ordered antichain covers of an unlabeled n-set; labeled T_1-hypergraphs (without empty hyperedges) with n hyperedges.

Original entry on oeis.org

1, 2, 6, 109, 191177
Offset: 1

Views

Author

Vladeta Jovovic, Goran Kilibarda, Jul 31 2000

Keywords

Comments

A T_1-hypergraph is a hypergraph (not necessarily without empty hyperedges or multiple hyperedges) which for every ordered pair of distinct nodes has a hyperedge containing one but not the other node.

Examples

			There are 6 ordered antichain covers on an unlabeled 3-set: ({1,2,3}), ({1},{2,3}), ({2,3},{1}), ({1,2},{1,3}), ({1},{2},{3}), ({1,2},{1,3},{2,3}).
a(3)=1+3+2=6; a(4)=1+6+17+25+30+30=109; a(5)=1+10+71+429+2176+8310+20580+38640+60480+60480=191177.

References

  • V. Jovovic and G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6)
  • V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, in preparation.

Links

Crossrefs

Cf. A056074, A056090, A056093, A000372, A056005, A056069-A056071, A056073, A056046-A056049, A056052, A056101, A056104, A051112-A051118.

Formula

a(n)=Sum_{k=1..C(n, floor(n/2))}b(k, n) where b(k, n) is the number of k-element ordered antichains covers of an unlabeled n-set.
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.