

A343696


a(n) is the number of preference profiles in the stable marriage problem with n men and n women, such that the men's preference profiles form a Latin square.


5



1, 8, 2592, 191102976, 4013162496000000, 113241608573209804800000000, 5078594244241245901264634511360000000000, 759796697672599288560347581750936194390876487680000000000, 602809439070636186475532789128702956081602819845966698324215778508800000000000
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,2


COMMENTS

Equivalently, these are the profiles where each woman is ranked differently by the n men.
Equivalently, for every rank i, there is exactly one woman who is ranked i by a given man.
The menproposing GaleShapley algorithm on such a set of preferences ends in one round, since every woman receives one proposal in the first round.
Due to symmetry, a(n) is the number of preference profiles in the stable marriage problem with n men and n women, such that the womenâ€™s preference profiles form a Latin square.


LINKS

Table of n, a(n) for n=1..9.
Wikipedia, GaleShapley algorithm.


FORMULA

a(n) = n!^n * A002860(n).


EXAMPLE

For n = 3, there are 3!^3 ways to set up the women's preference profiles and A002860(3) ways to set up the men's preference profiles, where A002860(3) = 12 (there are 12 different Latin squares of order 3). Thus a(3) = 3!^3 * A002860(3) = 216 * 12 = 2592.


CROSSREFS

Cf. A002860, A185141, A343697.
Sequence in context: A268150 A325062 A247733 * A210126 A259440 A172957
Adjacent sequences: A343693 A343694 A343695 * A343697 A343698 A343699


KEYWORD

nonn


AUTHOR

Tanya Khovanova and MIT PRIMES STEP Senior group, May 25 2021


STATUS

approved



