OFFSET

2,3

COMMENTS

Column T(n, 1) was omitted in the presentation of this sequence. Its definition may depend on the usage. In the combinatorics of subsequences it may be convenient to define T(n, 1) = 0, but if this sequence will be interpreted differently for example as polynomial coefficients then T(n, 1) = -n*n! could be a mathematically more natural definition.

FORMULA

T(n, k) = n!*binomial(n, k)-2*((n - k)! * binomial(n, n - k)^2).

An alternative definition of T(n, k) which includes k < 2 can be done by Laguerre polynomials:

Sum_{k=0..n} T(n, k)*x^k = n!*((1 + x)^n - 2*L_{n}(-x)), where L_{n} is the n-th Laguerre polynomial.

EXAMPLE

The triangle begins:

n| k: 2| 3| 4| 5| 6| 7|

==============================================

[2] 0,

[3] 0, 4

[4] 0, 64, 22

[5] 0, 800, 550, 118

[6] 0, 9600, 9900, 4248, 718

[7] 0, 117600, 161700, 104076, 35182, 5038

.

T(3, 3) = 4 because:

{1, 2, 3} has no subsequences which are neither increasing or decreasing.

{1, 3, 2} has {1, 3, 2}

{2, 1, 3} has {2, 1, 3}

{2, 3, 1} has {2, 3, 1}

{3, 1, 2} has {3, 1, 2}

{3, 2, 1} has no subsequences which are neither increasing or decreasing.

PROG

(PARI) T(n, k) = n!*binomial(n, k)-2*((n-k)! * binomial(n, n-k)^2)

(PARI) row(n) = if(n==2, [0], abs(Vecrev(-n!*((-1)^n*2*pollaguerre(n)-(-1+x)^n))[3..n+1]))

CROSSREFS

KEYWORD

nonn,tabl

AUTHOR

Thomas Scheuerle, Jun 18 2024

STATUS

approved