%I #50 Feb 21 2024 08:18:25
%S 1,1,2,4,16,84,536,3912,32256,297072,3026112,33798720,410826624,
%T 5399704320,76317546240,1154312486400,18604815528960,318348065548800,
%U 5763746405053440,110086912964367360,2212209395234979840,46657233031296706560,1030510550216174469120
%N Number of equivalence classes of S_n under transformations of positionally and numerically adjacent elements of the form abc <--> acb <--> cba where a<b<c.
%C Also number of equivalence classes of S_n under transformations of positionally and numerically adjacent elements of the form abc <--> bac <--> cba where a < b < c.
%H Alois P. Heinz, <a href="/A212432/b212432.txt">Table of n, a(n) for n = 0..450</a>
%H Anders Claesson, <a href="https://akc.is/papers/036-From-Hertzsprungs-problem-to-pattern-rewriting-systems.pdf">From Hertzsprung's problem to pattern-rewriting systems</a>, University of Iceland (2020).
%H S. Linton, J. Propp, T. Roby, and J. West, <a href="http://arxiv.org/abs/1111.3920"> Equivalence Classes of Permutations under Various Relations Generated by Constrained Transpositions</a>, arXiv:1111.3920, 2011 [math.CO], <a href="https://cs.uwaterloo.ca/journals/JIS/VOL15/Roby/roby4.html">J. Int. Seq. 15 (2012) #12.9.1</a>
%F From _Seiichi Manyama_, Feb 21 2024: (Start)
%F G.f.: Sum_{k>=0} k! * ( x * (1-2*x^2) )^k.
%F a(n) = Sum_{k=0..floor(n/3)} (-2)^k * (n-2*k)! * binomial(n-2*k,k). (End)
%e From _Alois P. Heinz_, Jun 22 2012: (Start)
%e a(3) = 4: {123, 132, 321}, {213}, {231}, {312}.
%e a(4) = 16: {1234, 1243, 1324, 1432, 3214}, {1342}, {1423}, {2134}, {2143}, {2314}, {2341, 2431, 4123, 4132, 4321}, {2413}, {3124}, {3142}, {3241}, {3412}, {3421}, {4213}, {4231}, {4312}.
%e a(5) = 84: {12345, 12354, 12435, 12543, 13245, 13254, 14325, 32145, 32154}, {12453}, ..., {53421}, {54213}, {54231}.
%e (End)
%Y Cf. A212580, A212581.
%K nonn
%O 0,3
%A _Tom Roby_, Jun 21 2012
%E a(9) from _Alois P. Heinz_, Jun 23 2012
%E a(10)-a(22) from _Alois P. Heinz_, Apr 14 2021