OFFSET
1,4
COMMENTS
If the row is achiral, i.e., the same as its reverse, we ignore it. If different from its reverse, we count it and its reverse as a chiral pair.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..1000
Index entries for linear recurrences with constant coefficients, signature (7,-3,-63,82,182,-288,-168,288).
FORMULA
a(n) = (k!/2) * (S2(n,k) - S2(ceiling(n/2),k)), with k=4 colors used and where S2(n,k) is the Stirling subset number A008277.
G.f.: -(k!/2) * (x^(2k-1) + x^(2k)) / Product_{j=1..k} (1 - j*x^2) + (k!/2) * x^k / Product_{j=1..k} (1 - j*x) with k=4 colors used.
G.f.: 12*x^4*(1 + 3*x - 2*x^2 - 13*x^3)/((1 - 2*x)*(1 + 2*x)*(1 - 3*x)*(1 - 4*x)*(1 - 2*x^2)*(1 - 3*x^2)). - Andrew Howroyd, Nov 06 2025
EXAMPLE
For a(4) = 12, the chiral pairs are the 4! = 24 permutations of ABCD, each paired with its reverse.
MATHEMATICA
k=4; Table[(k!/2) (StirlingS2[n, k] - StirlingS2[Ceiling[n/2], k]), {n, 1, 40}]
PROG
(PARI) a(n) = my(k=4); (k!/2) * (stirling(n, k, 2) - stirling(ceil(n/2), k, 2)); \\ Michel Marcus, Jun 07 2018
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Robert A. Russell, Jun 06 2018
STATUS
approved
