Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A019538
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A019538 Triangle of numbers T(n,k) = k!*Stirling2(n,k) read by rows (n >= 1, 1 <= k <= n). +0
30
1, 1, 2, 1, 6, 6, 1, 14, 36, 24, 1, 30, 150, 240, 120, 1, 62, 540, 1560, 1800, 720, 1, 126, 1806, 8400, 16800, 15120, 5040, 1, 254, 5796, 40824, 126000, 191520, 141120, 40320, 1, 510, 18150, 186480, 834120, 1905120, 2328480, 1451520, 362880, 1, 1022, 55980 (list; table; graph; listen)
OFFSET

1,3

COMMENT

Number of ways n labeled objects can be distributed into k nonempty parcels. Also number of special terms in n variables with maximal degree k. Also called differences of 0.

Number of onto functions from an n-element set to a k-element set.

Also coefficients (in ascending order) of so-called ordered Bell polynomials.

(k-1)!*Stirling2(n,k-1) is the number of chain topologies on an n-set having k open sets [Stephen].

Number of set compositions (ordered set partitions) of n items into k parts. Number of k dimensional 'faces' of the n dimensional permutohedron (see Simion, p. 162). - Mitch Harris (maharri(AT)gmail.com), Jan 16 2007

REFERENCES

T. S. Motzkin, Sorting numbers ...: for a link to this paper see A000262.

A. T. Benjamin and J. J. Quinn, Proofs that really count: the art of combinatorial proof, M.A.A. 2003, p. 89, ex. 1; also p. 210.

Moussa Benoumhani, The number of topologies on a finite set, Preprint, 2005.

G. Boole, A Treatise On The Calculus of Finite Differences, Dover, 1960, p. 20.

J. L. Chandon, J. LeMaire and J. Pouget, Denombrement des quasi-ordres sur un ensemble fini, Math. Sci. Humaines, No. 62 (1978), 61-80.

H. T. Davis, Tables of the Mathematical Functions. Vols. 1 and 2, 2nd ed., 1963, Vol. 3 (with V. J. Fisher), 1962; Principia Press of Trinity Univ., San Antonio, TX, Vol. 2, p. 212.

G. Kreweras, Les preordres totaux compatibles avec un ordre partiel. Math. Sci. Humaines No. 53 (1976), 5-30.

E. Mendelsohn, Races with ties, Math. Mag. 55 (1982), 170-175.

T. S. Motzkin, Sorting numbers for cylinders and other classification numbers, in Combinatorics, Proc. Symp. Pure Math. 19, AMS, 1971, pp. 167-176.

J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 33.

J. F. Steffensen, Interpolation, 2nd ed., Chelsea, NY, 1950, see p. 54.

D. Stephen, Toplogy on finite sets, Amer. Math. Monthly, 75 (1968), 739-741.

A. H. Voigt, Theorie der Zahlenreihen und der Reihengleichungen, Goschen, Leipzig, 1911, p. 31.

E. Whittaker and G. Robinson, The Calculus of Observations, Blackie, London, 4-th ed., 1949; p. 7.

R. Simion, "Convex Polytopes and Enumeration", Adv. in Appl. Math. 18 (1997) pp. 149-180.

LINKS

T. D. Noe, Rows n=1..100 of triangle, flattened

M. Goebel, On the number of special permutation-invariant orbits and terms, in Applicable Algebra in Engin., Comm. and Comp. (AAECC 8), Volume 8, Number 6, 1997, pp. 505-509 (Lect. Notes Comp. Sci.)

K. A. Penson, P. Blasiak, G. Duchamp, A. Horzela and A. I. Solomon, Hierarchical Dobinski-type relations via substitution and the moment problem

FORMULA

T(n, k) = Sum_{j=0..k} (-1)^j*C(k, j)*(k-j)^n.

T(n, k) = k*(T(n-1, k-1)+T(n-1, k)) with T(0, 0) = 1 [or T(1, 1) = 1] - Henry Bottomley (se16(AT)btinternet.com), Mar 02 2001

E.g.f.: (y*(exp(x)-1)-exp(x))/(y*(exp(x)-1)-1). - Vladeta Jovovic (vladeta(AT)Eunet.yu), Jan 30 2003

Equals [0, 1, 0, 2, 0, 3, 0, 4, 0, 5, ...] DELTA [1, 1, 2, 2, 3, 3, 4, 4, 5, 5, ...] where DELTA is Deleham's operator defined in A084938.

Also T(n, k)=Sum((-1)^(k-j)j^n*C(k, j), j=0, .., k) - Mario Catalani (mario.catalani(AT)unito.it), Nov 28 2003

Sum(T(n, k)(-1)^(n-k), k=0, .., n)=1, Sum(T(n, k)(-1)^k, k=0, .., n)=(-1)^n. - Mario Catalani (mario.catalani(AT)unito.it), Dec 11 2003

O.g.f. for n-th row: polylog(-n, x/(1+x))/(x+x^2). - Vladeta Jovovic (vladeta(AT)Eunet.yu), Jan 30 2005

EXAMPLE

Triangle begins:

1

1,2

1,6,6

1,14,36,24

1,30,150,240,120

...

T(4,1) = 1: {1234}. T(4,2) = 14: {1}{234} (4 ways), {12}{34} (6 ways), {123}{4} (4 ways). T(4,3) = 36: {12}{3}{4} (12 ways), {1}{23}{4} (12 ways), {1}{2}{34} (12 ways). T(4,4) = 1: {1}{2}{3}{4} (1 way).

MAPLE

with(combinat): A019538 := (n, k)->k!*stirling2(n, k);

PROGRAM

(PARI) T(n, k)=if(k<0|k>n, 0, sum(i=0, k, (-1)^i*binomial(k, i)*(k-i)^n))

CROSSREFS

Row sums give A000670. 2nd diagonal is A001286. 3rd diag. is A037960. Maximal terms in rows give A002869. Cf. A008275, A048594.

Cf. A008277, A000918, A001117, A000919, A001118, A059117, A059515, A084938.

Reflected version of A090582. Diagonal is n! (A000142).

See also the two closely related triangles A008277(n,k) = T(n,k)/k! (Stirling numbers of second kind) and A028246(n,k) = T(n,k)/k.

Cf. A033282 'faces' of the associahedron.

Sequence in context: A063007 A089231 A052296 this_sequence A046521 A104684 A060538

Adjacent sequences: A019535 A019536 A019537 this_sequence A019539 A019540 A019541

KEYWORD

nonn,tabl,easy,nice

AUTHOR

njas, Manfred Goebel (goebel(AT)informatik.uni-tuebingen.de)

EXTENSIONS

Boole reference from Michael Somos, Oct 10 2003

page 1

Search completed in 0.003 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified July 25 07:41 EDT 2008. Contains 142293 sequences.


AT&T Labs Research