|
|
A212418
|
|
Size of the equivalence class of S_n containing the identity permutation under transformations of positionally adjacent elements of the form abc <--> acb <--> cba where a<b<c.
|
|
2
|
|
|
1, 1, 1, 3, 9, 54, 285, 2160, 15825, 151200, 1411095, 16329600, 185067855, 2514758400, 33530101605, 523069747200, 8020402655265, 141228831744000, 2447966414868975, 48017802792960000, 928344187296100575, 20071441567457280000, 428190753438433910925
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
COMMENTS
|
Also size of the equivalence class of S_n containing the identity permutation under transformations of positionally adjacent elements of the form abc <--> bac <--> cba where a<b<c.
|
|
LINKS
|
|
|
FORMULA
|
a(n) = 1 for n<3, otherwise: a(2k+1) = (3/2)*k*(k+1)*(2k-1)!, a(2k) = (3/2)*k*(k-1/3)*(2k-2)!-(2k-3)!!.
|
|
EXAMPLE
|
a(3) = 3: {123, 132, 321}.
a(4) = 9: {1234, 1243, 1324, 1342, 1423, 1432, 3214, 4213, 4312}. (End)
|
|
MAPLE
|
a:= proc(n) local k;
k:= iquo(n, 2, 'r');
`if`(n<3, 1, `if`(r=0, (3/2)*k*(k-1/3)*(2*k-2)!
-doublefactorial(2*k-3), (3/2)*k*(k+1)*(2*k-1)!))
end:
|
|
MATHEMATICA
|
a[n_ /; n < 3] = 1;
a[n_?OddQ] := With[{k = (n - 1)/2}, (3/2)*k*(k + 1)*(2 k - 1)!];
a[n_?EvenQ] := With[{k = n/2}, (3/2)*k*(k - 1/3)*(2 k - 2)! - (2 k - 3)!!];
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|