

A258667


A total of n married couples, including a mathematician M and his wife, are to be seated at the 2n chairs around a circular table, with no man seated next to his wife. After the ladies are seated at every other chair, M is the first man allowed to choose one of the remaining chairs. The sequence gives the number of ways of seating the other men, with no man seated next to his wife, if M chooses the chair that is 9 seats clockwise from his wife's chair.


8



0, 0, 0, 0, 0, 20, 116, 791, 6205, 55004, 543596, 5922929, 70518903, 910711188, 12678337924, 189252400363, 3015217931281, 51067619058668, 916176426367084, 17355904144230373, 346195850528456683, 7252654441430368404, 159210363452786908116, 3654550890657000160319
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,6


COMMENTS

This is a variation of the classic ménage problem (cf. A000179).
It is known [Riordan, ch. 8, ex. 7(b)] that, after the ladies are seated at every other chair, the number U_n of ways of seating the men in the ménage problem has asymptotic expansion U_n ~ e^(2)*n!*(1 + sum{k>=1}(1)^k/(k!(n1)_k)), where (n)_k = n*(n1)*...*(nk+1).
Therefore, it is natural to conjecture that a(n) ~ e^(2)*n!/(n2)*(1 + sum{k>=1}(1)^k/(k!(n1)_k)).


REFERENCES

I. Kaplansky and J. Riordan, The problème des ménages, Scripta Math. 12, (1946), 113124.
E. Lucas, Théorie des nombres, Paris, 1891, 491496.
J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, chs. 7, 8.
J. Touchard, Sur un problème de permutations, C. R. Acad. Sci. Paris, 198 (1934), 631633.


LINKS

Table of n, a(n) for n=1..24.
Peter J. C. Moses, Seatings for 6 couples
Vladimir Shevelev, Peter J. C. Moses, The ménage problem with a known mathematician, arXiv:1101.5321 [math.CO], 2011, 2015.
Vladimir Shevelev and Peter J. C. Moses, Alice and Bob go to dinner:A variation on menage, INTEGERS, Vol. 16(2016), #A72.


FORMULA

For n<=5, a(n)=0; otherwise a(n) = Sum_{0<=k<=n1}(1)^k*(nk1)! Sum_{max(kn+5, 0)<=j<=min(k,4)}binomial(8j, j)*binomial(2*nk+j10, kj).


PROG

(PARI) a(n) = if (n<=5, 0, sum(k=0, n1, (1)^k*(nk1)!*sum(j=max(kn+5, 0), min(k, 4), binomial(8j, j)*binomial(2*nk+j10, kj)))); \\ Michel Marcus, Jun 26 2015


CROSSREFS

Cf. A000179, A258664, A258665, A258666, A258673, A259212.
Sequence in context: A271494 A220928 A206368 * A244289 A293880 A121040
Adjacent sequences: A258664 A258665 A258666 * A258668 A258669 A258670


KEYWORD

nonn


AUTHOR

Vladimir Shevelev and Peter J. C. Moses, Jun 07 2015


STATUS

approved



