|
|
A000084
|
|
Number of series-parallel networks with n unlabeled edges. Also called yoke-chains by Cayley and MacMahon.
(Formerly M1207 N0466)
|
|
45
|
|
|
1, 2, 4, 10, 24, 66, 180, 522, 1532, 4624, 14136, 43930, 137908, 437502, 1399068, 4507352, 14611576, 47633486, 156047204, 513477502, 1696305728, 5623993944, 18706733128, 62408176762, 208769240140, 700129713630, 2353386723912
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,2
|
|
COMMENTS
|
This is a series-parallel network: o-o; all other series-parallel networks are obtained by connecting two series-parallel networks in series or in parallel.
Also the number of P_4-free graphs on n nodes. - Gordon F. Royle, Jul 04 2008
See Cameron (1987) p. 165 for a bijection between series-parallel networks and cographs. - Michael Somos, Apr 19 2014
|
|
REFERENCES
|
D. E. Knuth, The Art of Computer Programming, 3rd ed. 1997, Vol. 1, p. 589, Answers to Exercises Section 2.3.4.4 5.
J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 142.
J. Riordan and C. E. Shannon, The number of two-terminal series-parallel networks, J. Math. Phys., 21 (1942), 83-93. Reprinted in Claude Elwood Shannon: Collected Papers, edited by N. J. A. Sloane and A. D. Wyner, IEEE Press, NY, 1993, pp. 560-570.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
R. P. Stanley, Enumerative Combinatorics, Cambridge, Vol. 2, 1999; see Problem 5.40, notes on p. 133.
|
|
LINKS
|
A. Brandstaedt, V. B. Le and J. P. Spinrad, Graph Classes: A Survey, SIAM Publications, 1999. (For definition of cograph)
P. J. Cameron, Some sequences of integers, Discrete Math., 75 (1989), 89-102; also in "Graph Theory and Combinatorics 1988", ed. B. Bollobas, Annals of Discrete Math., 43 (1989), 89-102.
Steven R. Finch, Mathematical Constants II, Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, 2018.
Yukinao Isokawa, Listing up Combinations of Resistances, Bulletin of the Kagoshima University Faculty of Education. Bulletin of the Faculty of Education, Kagoshima University. Natural science, Vol. 67 (2016), pp. 1-8.
P. A. MacMahon, The combination of resistances, The Electrician, 28 (1892), 601-602; reprinted in Coll. Papers I, pp. 617-619. Reprinted in Discrete Appl. Math., 54 (1994), 225-228.
Takeaki Uno, Ryuhei Uehara and Shin-ichi Nakano, Bounding the Number of Reduced Trees, Cographs, and Series-Parallel Graphs by Compression, in WALCOM: Algorithms and Computation, Lecture Notes in Computer Science, 2012, Volume 7157/2012, 5-16, DOI: 10.1007/978-3-642-28076-4_4. - N. J. A. Sloane, Jul 07 2012
Eric Weisstein's World of Mathematics, Cograph
|
|
FORMULA
|
The sequence satisfies Product_{k>=1} 1/(1-x^k)^A000669(k) = 1 + Sum_{k>=1} a(k)*x^k.
a(n) ~ C d^n/n^(3/2) where C = 0.412762889201578063700271574144..., d = 3.56083930953894332952612917270966777... is a root of Product_{n>=1} (1-1/x^n)^(-a(n)) = 2. - Riordan, Shannon, Moon, Rains, Sloane
Consider the free algebraic system with two commutative associative operators (x+y) and (x*y) and one generator A. The number of elements with n occurrences of the generator is a(n). - Michael Somos, Oct 11 2006 Examples: n=1: A. n=2: A+A, A*A. n=3: A+A+A, A+(A*A), A*(A+A), A*A*A.
|
|
EXAMPLE
|
G.f. = x + 2*x^2 + 4*x^3 + 10*x^4 + 24*x^5 + 66*x^6 + 180*x^7 + 522*x^8 + ...
The series-parallel networks with 1, 2 and 3 edges are:
1 edge: o-o
2 edges: o-o-o o=o
....................... /\
3 edges: o-o-o-o o-o=o o--o o-o-o
....................... \/ ..\_/
|
|
MAPLE
|
# N denotes all series-parallel networks, S = series networks, P = parallel networks; spec84 := [ N, {N=Union(Z, S, P), S=Set(Union(Z, P), card>=2), P=Set(Union(Z, S), card>=2)} ]: A000084 := n->combstruct[count](spec84, size=n);
|
|
MATHEMATICA
|
n = 27; s = 1/(1-x) + O[x]^(n+1); Do[s = s/(1-x^k)^Coefficient[s, x^k] + O[x]^(n+1), {k, 2, n}]; CoefficientList[s, x] // Rest (* Jean-François Alcover, Jun 20 2011, updated Jun 30 2015 *)
(* faster method: *)
sequenceA000084[n_] := Module[{product, x}, product[1] = Series[1/(1 - x), {x, 0, n}]; product[k_] := product[k] = Series[product[k - 1]/(1 - x^k)^Coefficient[ product[k - 1], x^k], {x, 0, n}]; Quiet[Rest[CoefficientList[product[n], x]]]]; sequenceA000084[27] (* Faris Nasybulin, Apr 29 2015 *)
n = 27; Rest@
CoefficientList[ Fold[ #1/(1 - x^#2)^Coefficient[#1, x, #2] &, 1/(1 - x) + O[x]^(n + 1), Range[2, n]], x] (* Oliver Seipel, Sep 19 2021 *)
|
|
PROG
|
(PARI) {a(n) = my(A); if( n<1, 0, A = 1 / (1 - x + x * O(x^n)); for(k=2, n, A /= (1 - x^k + x * O(x^n))^polcoeff(A, k)); polcoeff(A, n))}; /* Michael Somos, Oct 11 2006 */
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,nice,easy
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|