%I #81 May 30 2021 13:00:24
%S 1,0,0,2,4,96,192,1536,1536,15360,15360,184320,184320,2580480,2580480
%N Maximal size of a main class for diagonal Latin squares of order n with the first row in ascending order.
%C a(n) <= 2^m * m! * 4, where m = floor(n/2).
%C It seems that a(n) = 2^m * m! * 4 for all n > 6. - _Eduard I. Vatutin_, Jun 08 2020
%C 0 <= A299783(n) <= a(n). - _Eduard I. Vatutin_, Jun 08 2020
%H E. Vatutin, A. Belyshev, S. Kochemazov, O. Zaikin, N. Nikitina, <a href="http://evatutin.narod.ru/evatutin_co_dls_cfs_cnt.pdf">Enumeration of isotopy classes of diagonal Latin squares of small order using volunteer computing</a>, Supercomputing Days Russia 2018, Moscow, Moscow State University, 2018, pp. 933-942.
%H E. Vatutin, A. Belyshev, S. Kochemazov, O. Zaikin, N. Nikitina, <a href="https://doi.org/10.1007/978-3-030-05807-4_49">Enumeration of isotopy classes of diagonal Latin squares of small order using volunteer computing</a>, Communications in Computer and Information Science. Vol. 965. Springer, 2018. pp. 578-586.
%H E. I. Vatutin, <a href="https://vk.com/wall162891802_1103">Discussion about properties of diagonal Latin squares</a> (in Russian).
%H E. I. Vatutin, <a href="https://vk.com/wall162891802_1106">About the maximal size of main class for diagonal Latin squares of orders 11-15</a> (in Russian).
%H Eduard I. Vatutin, <a href="http://evatutin.narod.ru/evatutin_dls_mc_max_card_9_to_15.pdf">Estimating the maximal size of main class for diagonal Latin squares of orders 9-15</a>, Medical-Ecological and Information Technologies - 2020, Part 2, 2020, pp. 57-62. (in Russian)
%H Eduard I. Vatutin, <a href="https://vk.com/wall162891802_1575">About the relationship between the minimal and maximal cardinality of main classes for diagonal Latin squares</a> (in Russian).
%H Eduard I. Vatutin, <a href="/A299784/a299784.txt">Proving list (best known examples)</a>.
%H <a href="https://oeis.org/index/La#Latin">Index entries for sequences related to Latin squares and rectangles</a>.
%F a(n) = A299787(n) / n!.
%F From _Eduard I. Vatutin_, May 30 2021: (Start)
%F A299783(n) = A299784(n) for 1 <= n <= 5.
%F A299783(6)*3 = A299784(6).
%F A299783(7)*6 = A299784(7).
%F A299783(8)*16 = A299784(8).
%F A299783(9)*32 = A299784(9).
%F A299783(10)*2 = A299784(10).
%F A299783(11)*10 = A299784(11).
%F A299783(12)*4 = A299784(12).
%F A299783(13)*24 = A299784(13). (End)
%e From Eduard I. Vatutin, May 30 2021: (Start)
%e The following DLS of order 9 has a main class with cardinality 1536:
%e 0 1 2 3 4 5 6 7 8
%e 1 2 0 4 8 6 5 3 7
%e 7 4 5 8 0 3 2 6 1
%e 5 8 7 6 1 0 3 2 4
%e 8 0 3 2 7 1 4 5 6
%e 3 7 8 5 6 4 1 0 2
%e 6 3 1 7 5 2 8 4 0
%e 2 6 4 0 3 8 7 1 5
%e 4 5 6 1 2 7 0 8 3
%e The following DLS of order 10 has a main class with cardinality 15360:
%e 0 1 2 3 4 5 6 7 8 9
%e 1 2 0 4 5 3 9 8 6 7
%e 3 5 6 1 8 7 4 0 9 2
%e 9 4 7 8 3 2 1 6 0 5
%e 2 7 3 0 9 8 5 1 4 6
%e 6 8 5 9 2 4 7 3 1 0
%e 4 6 9 7 0 1 3 2 5 8
%e 7 0 4 6 1 9 8 5 2 3
%e 8 3 1 5 6 0 2 9 7 4
%e 5 9 8 2 7 6 0 4 3 1
%e (End)
%Y Cf. A287764, A299783.
%K nonn,more,hard
%O 1,4
%A _Eduard I. Vatutin_, Jan 21 2019
%E a(9)-a(10) from _Eduard I. Vatutin_, Mar 15 2020
%E a(11)-a(15) from _Eduard I. Vatutin_, Jun 08 2020