Visualizza wikitesto di Utente:Grasso Luigi/sandbox4/Algoritmo di Steinhaus–Johnson–Trotter

[[File:Symmetric group 4; Cayley graph 1,2,6 (3D); Steinhaus–Johnson–Trotter.svg|thumb|360px|The [[Hamiltonian cycle]] in the [[Cayley graph]] of the symmetric group generated by the Steinhaus–Johnson–Trotter algorithm]]
[[File:Wheel diagram of Steinhaus-Johnson-Trotter algorithm for n=4.svg|thumb|Wheel diagram of all permutations of length <math>n=4</math> generated by the Steinhaus-Johnson-Trotter algorithm, where each permutation is color-coded (1=blue, 2=green, 3=yellow, 4=red).]]
The '''Steinhaus–Johnson–Trotter algorithm''' or '''Johnson&ndash;Trotter algorithm''', also called '''plain changes''', is an [[algorithm]] named after [[Hugo Steinhaus]], [[Selmer M. Johnson]] and [[Hale F. Trotter]] that generates all of the [[permutation]]s of <math>n</math> elements. Each two adjacent permutations in the resulting sequence differ by swapping two adjacent permuted elements. Equivalently, this algorithm finds a [[Hamiltonian cycle]] in the [[permutohedron]], a [[polytope]] whose vertices represent permutations and whose edges represent swaps.

This method was known already to 17th-century English [[Change ringing|change ringers]], and [[Robert Sedgewick (computer scientist)|Robert Sedgewick]] calls it "perhaps the most prominent permutation enumeration algorithm".{{sfnp|Sedgewick|1977}} A version of the algorithm can be implemented in such a way that the average time per permutation is constant. As well as being simple and computationally efficient, this algorithm has the advantage that subsequent computations on the generated permutations may be sped up by taking advantage of the similarity between consecutive permutations.{{sfnp|Sedgewick|1977}}

==Algorithm==
The sequence of permutations generated by the Steinhaus–Johnson–Trotter algorithm has a natural [[recursive algorithm|recursive]] structure, that can be generated by a recursive algorithm. However the actual Steinhaus–Johnson–Trotter algorithm does not use recursion, instead computing the same sequence of permutations by a simple iterative method. A later improvement allows it to run in constant average time per permutation.

===Recursive structure===
The sequence of permutations for a given number <math>n</math> can be formed from the sequence of permutations for <math>n-1</math> by placing the number <math>n</math> into each possible position in each of the shorter permutations. The Steinhaus–Johnson–Trotter algorithm follows this structure: the sequence of permutations it generates consists of <math>(n-1)!</math> blocks of permutations, so that within each block the permutations agree on the ordering of the numbers from 1 to <math>n-1</math> and differ only in the position of <math>n</math>. The blocks themselves are ordered recursively, according to the Steinhaus–Johnson–Trotter algorithm for one less element.
Within each block, the positions in which <math>n</math> is placed occur either in descending or ascending order, and the blocks alternate between these two orders: the placements of <math>n</math> in the first block are in descending order, in the second block they are in ascending order, in the third block they are in descending order, and so on.<ref name=recursive>{{harvtxt|Lenstra|Rinnooy Kan|1979}}; {{harvtxt|Savage|1997}}, section 3; {{harvtxt|Bird|2010}}.</ref>

Thus, from the single permutation on one element,
{{bi|left=1.6|1}}
one may place the number 2 in each possible position in descending order to form a list of two permutations on two elements,
{{bi|left=1.6|1 '''2'''}}
{{bi|left=1.6|'''2''' 1}}
Then, one may place the number 3 in each of three different positions for these two permutations, in descending order for the first permutation 1 2, and then in ascending order for the permutation 2 1:
{{bi|left=1.6|1 2 '''3'''}}
{{bi|left=1.6|1 '''3''' 2}}
{{bi|left=1.6|'''3''' 1 2}}
{{bi|left=1.6|'''3''' 2 1}}
{{bi|left=1.6|2 '''3''' 1}}
{{bi|left=1.6|2 1 '''3'''}}
The same placement pattern, alternating between descending and ascending placements of <math>n</math>, applies for any larger value of <math>n</math>.<ref name=recursive/>
In sequences of permutations with this recursive structure, each permutation differs from the previous one either by the single-position-at-a-time motion of <math>n</math>, or by a change of two smaller numbers inherited from the previous sequence of shorter permutations. In either case this difference is just the transposition of two adjacent elements. When <math>n > 1</math> the first and final elements of the sequence, also, differ in only two adjacent elements (the positions of the numbers <math>1</math> and <math>2</math>), as may be proven by induction.

This sequence may be generated by a [[recursive algorithm]] that constructs the sequence of smaller permutations and then performs all possible insertions of the largest number into the recursively-generated sequence.<ref name=recursive/> The same ordering of permutations can also be described equivalently as the ordering generated by the following greedy algorithm.{{sfnp|Williams|2013}}
Start with the identity permutation <math>1\;2\;\ldots\;n</math>.
Now repeatedly transpose the largest possible entry with the entry to its left or right, such that in each step, a new permutation is created that has not been encountered in the list of permutations before. For example, in the case <math>n=3</math> the sequence starts with <math>1\;2\;3</math>, then flips <math>3</math> with its left neighbor to get <math>1\;3\;2</math>.
From this point, flipping <math>3</math> with its right neighbor <math>2</math> would yield the initial permutation <math>1\;2\;3</math>, so the sequence instead flips <math>3</math> with its left neighbor <math>1</math> and arrives at <math>3\;1\;2</math>, etc. The direction of the transposition (left or right) is always uniquely determined in this algorithm.
However, the actual Steinhaus–Johnson–Trotter algorithm does not use recursion, and does not need to keep track of the permutations that it has already encountered. Instead, it computes the same sequence of permutations by a simple [[iterative method]].

===Original version===
As described by Johnson, the algorithm for generating the next permutation from a given permutation <math>\pi</math> performs the following steps.
*For each <math>i</math> from 1 to <math>n</math>, let <math>x_i</math> be the position where the value <math>i</math> is placed in permutation <math>\pi</math>. If the order of the numbers from 1 to <math>i-1</math> in permutation <math>\pi</math> defines an [[Parity of a permutation|even permutation]], let <math>y_i=x_i-1</math> otherwise, let <math>y_i=x_i+1</math>.
*Find the largest number <math>i</math> for which <math>y_i</math> defines a valid position in permutation <math>\pi</math> that contains a number smaller than <math>i</math>. Swap the values in positions <math>x_i</math> and <math>y_i</math>.
When no number <math>i</math> can be found meeting the conditions of the second step of the algorithm, the algorithm has reached the final permutation of the sequence and terminates.
This procedure may be implemented in <math>O(n)</math> time per permutation.{{sfnp|Johnson|1963}}

Trotter gives an alternative implementation of an iterative algorithm for the same sequence, in lightly commented [[ALGOL 60]] notation.{{sfnp|Trotter|1962}}

Because this method generates permutations that alternate between being even and odd, it may easily be modified to generate only the even permutations or only the odd permutations: to generate the next permutation of the same parity from a given permutation, simply apply the same procedure twice.{{sfnp|Knuth|2011}}

===Even's speedup===
A subsequent improvement by [[Shimon Even]] provides an improvement to the running time of the algorithm by storing additional information for each element in the permutation: its position, and a ''direction'' (positive, negative, or zero) in which it is currently moving (essentially, this is the same information computed using the parity of the permutation in Johnson's version of the algorithm). Initially, the direction of the number 1 is zero, and all other elements have a negative direction:
{{bi|left=1.6|1 &minus;2 &minus;3}}
At each step, the algorithm finds the greatest element with a nonzero direction, and swaps it in the indicated direction:
{{bi|left=1.6|1 &minus;3 &minus;2}}
If this causes the chosen element to reach the first or last position within the permutation, or if the next element in the same direction is greater than the chosen element, the direction of the chosen element is set to zero:
{{bi|left=1.6|3 1 &minus;2}}
After each step, all elements greater than the chosen element (which previously had direction zero) have their directions set to indicate motion toward the chosen element.  That is, positive for all elements between the start of the permutation and the chosen element, and negative for elements toward the end. Thus, in this example, after the number 2 moves, the number 3 becomes marked with a direction again:
{{bi|left=1.6|+3 2 1}}
The remaining two steps of the algorithm for <math>n=3</math> are:
{{bi|left=1.6|2 +3 1}}
{{bi|left=1.6|2 1 3}}
When all numbers become unmarked, the algorithm terminates.{{sfnp|Even|1973}}

This algorithm takes time <math>O(i)</math> for every step in which the greatest number to move is <math>n-i+1</math>. Thus, the swaps involving the number <math>n</math> take only constant time; since these swaps account for all but a <math>1/n</math> fraction of all of the swaps performed by the algorithm, the average time per permutation generated is also constant, even though a small number of permutations will take a larger amount of time.{{sfnp|Sedgewick|1977}}

A more complex [[Loopless algorithm|loopless]] version of the same procedure suitable for [[functional programming]] allows it to be performed in constant time per permutation in every case; however, the modifications needed to eliminate loops from the procedure make it slower in practice.<ref>{{harvtxt|Ehrlich|1973}}; {{harvtxt|Dershowitz|1975}}; {{harvtxt|Sedgewick|1977}}; {{harvtxt|Bird|2010}}.</ref>

==Related structures==
===Permutohedron===
The set of all permutations of <math>n</math> items may be represented geometrically by a [[permutohedron]], the [[polytope]] formed from the [[convex hull]] of <math>n!</math> vectors, the permutations of the vector <math>(1,2,\dots n)</math>. Although defined in this way in <math>n</math>-dimensional space, it is actually an <math>(n-1)</math>-dimensional polytope; for example, the permutohedron on four items is a three-dimensional polyhedron, the [[truncated octahedron]]. If each vertex of the permutohedron is labeled by the [[inverse element|inverse permutation]] to the permutation defined by its vertex coordinates, the resulting labeling describes a [[Cayley graph]] of the [[symmetric group]] of permutations on <math>n</math> items, as generated by the permutations that swap adjacent pairs of items. Thus, each two consecutive permutations in the sequence generated by the Steinhaus–Johnson–Trotter algorithm correspond in this way to two vertices that form the endpoints of an edge in the permutohedron, and the whole sequence of permutations describes a [[Hamiltonian path]] in the permutohedron, a path that passes through each vertex exactly once. If the sequence of permutations is completed by adding one more edge from the last permutation to the first one in the sequence, the result is instead a Hamiltonian cycle.<ref>See, e.g., section 11 of {{harvtxt|Savage|1997}}.</ref>

===Gray codes===
A [[Gray code]] for numbers in a given [[radix]] is a sequence that contains each number up to a given limit exactly once, in such a way that each pair of consecutive numbers differs by one in a single digit. The <math>n!</math> permutations of the <math>n</math> numbers from 1 to <math>n</math> may be placed in one-to-one correspondence with the <math>n!</math> numbers from 0 to <math>n!-1</math> by pairing each permutation with the sequence of numbers <math>c_i</math> that count the number of positions in the permutation that are to the right of value <math>i</math> and that contain a value less than <math>i</math> (that is, the number of [[Inversion (discrete mathematics)|inversions]] for which <math>i</math> is the larger of the two inverted values), and then interpreting these sequences as numbers in the [[factorial number system]], that is, the [[mixed radix]] system with radix sequence <math>(1,2,3,4,\dots)</math> For instance, the permutation <math>(3,1,4,5,2)</math> would give the values <math>c_1=0</math>, <math>c_2=0</math>, <math>c_3=2</math>, <math>c_4=1</math>, and <math>c_5=1</math>. The sequence of these values, <math>(0,0,2,1,1)</math>, gives the number
<math display=block>0\times 0!+0\times 1!+2\times 2!+1\times 3!+1\times 4!=34.</math>
Consecutive permutations in the sequence generated by the Steinhaus–Johnson–Trotter algorithm have numbers of inversions that differ by one, forming a Gray code for the factorial number system.<ref>{{harvtxt|Dijkstra|1976}}; {{harvtxt|Knuth|2011}}.</ref>

More generally, combinatorial algorithms researchers have defined a Gray code for a set of combinatorial objects to be an ordering for the objects in which each two consecutive objects differ in the minimal possible way. In this generalized sense, the Steinhaus–Johnson–Trotter algorithm generates a Gray code for the permutations themselves.{{sfnp|Savage|1997}}

==History==
The method was known for much of its history as a method for [[change ringing]] of church bells: it gives a procedure by which a set of bells can be rung through all possible permutations, changing the order of only two bells per change. These so-called "plain changes" or "plain hunt" were known by circa 1621 for four bells,{{sfnp|White|1996}} and the general method has been traced to an unpublished 1653 manuscript by [[Peter Mundy]].{{sfnp|Knuth|2011}} A 1677 book by [[Fabian Stedman]] lists the solutions for up to six bells.<ref>{{harvtxt|Stedman|1677}}; for lists of plain changes on up to six bells, see pp. 48–80.</ref> More recently, change ringers have abided by a rule that no bell may stay in the same position for three consecutive permutations; this rule is violated by the plain changes, so other strategies that swap multiple bells per change have been devised.<ref>{{harvtxt|McGuire|2003}}; {{harvtxt|Knuth|2011}}.</ref>

The algorithm is named after [[Hugo Steinhaus]], [[Selmer M. Johnson]] and [[Hale F. Trotter]]. Johnson and Trotter rediscovered the algorithm independently of each other in the early 1960s.<ref>{{harvtxt|Johnson|1963}}; {{harvtxt|Trotter|1962}}.</ref> A 1958 book by Steinhaus, translated into English in 1964, describes a related [[impossible puzzle]] of generating all permutations by a system of particles, each moving at constant speed along a line and swapping positions when one particle overtakes another.{{sfnp|Steinhaus|1964}} A 1976 paper by Hu and Bien credited Steinhaus with formulating the algorithmic problem of generating all permutations,{{sfnp|Hu|Tien|1976}} and by 1989 his book had been (incorrectly) credited as one of the original publications of the algorithm.{{sfnp|Ruskey|1989}}

==See also==
* [[Heap's algorithm]], a different method for listing all permutations
* [[Fisher–Yates shuffle]], a method for generating random permutations

==Notes==
{{reflist|30em}}

==References==
{{refbegin|colwidth=30em}}
*{{citation | last = Bird | first = Richard | contribution = Chapter 29: The Johnson–Trotter algorithm | doi = 10.1017/cbo9780511763199 | isbn = 9780511763199 | pages = 251–257 | publisher = Cambridge University Press
 | title = Pearls of Functional Algorithm Design | year = 2010}}
*{{citation
 | last = Dershowitz | first = Nachum
 | author1-link=Nachum Dershowitz
 | issue = 2
 | journal = Nordisk Tidskr. Informationsbehandling (BIT)
 | mr = 0502206
 | pages = 158–164
 | title = A simplified loop-free algorithm for generating permutations
 | volume = 15
 | year = 1975
 | doi=10.1007/bf01932689| s2cid = 121353303
 }}
*{{citation
 | last = Dijkstra | first = Edsger W. | author-link = Edsger W. Dijkstra
 | doi = 10.1007/BF00268136
 | issue = 4
 | journal = Acta Informatica
 | mr = 0426492
 | pages = 357–359
 | title = On a gauntlet thrown by David Gries
 | url = http://www.cs.utexas.edu/users/EWD/ewd05xx/EWD553.PDF
 | volume = 6
 | year = 1976| s2cid = 7085805 }}. Although Dijkstra does not cite any prior literature, an earlier draft [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD05xx/EWD502.html EWD502] reveals that he knew of {{harvtxt|Trotter|1962}}.
*{{citation
 | last = Ehrlich | first = Gideon
 | doi = 10.1145/321765.321781
 | issue = 3
 | journal = Journal of the ACM
 | pages = 500–513
 | title = Loopless algorithms for generating permutations, combinations, and other combinatorial configurations
 | volume = 20
 | year = 1973| s2cid = 21493963
 | doi-access = free
 }}
*{{citation
 | last = Even | first = Shimon | author-link = Shimon Even
 | publisher = Macmillan
 | title = Algorithmic Combinatorics
 | year = 1973}}
*{{citation
 | last1 = Hu | first1 = T. C. | author1-link = T. C. Hu
 | last2 = Tien | first2 = B. N.
 | date = October 1976
 | doi = 10.1080/00029890.1976.11994195
 | issue = 8
 | journal = The American Mathematical Monthly
 | jstor = 2319890
 | pages = 629–631
 | title = Generating permutations with nondistinct items
 | volume = 83}}
*{{citation
 | last = Johnson | first = Selmer M. | author-link = Selmer M. Johnson
 | doi = 10.1090/S0025-5718-1963-0159764-2
 | journal = Mathematics of Computation
 | jstor = 2003846
 | mr = 0159764
 | pages = 282–285
 | title = Generation of permutations by adjacent transposition
 | volume = 17
 | year = 1963| issue = 83 | doi-access = free
 }}
*{{citation
 | last1 = Lenstra | first1 = J. K. | author1-link = Jan Karel Lenstra
 | last2 = Rinnooy Kan | first2 = A. H. G. | author2-link = Alexander Rinnooy Kan
 | contribution = A recursive approach to the implementation of enumerative methods
 | date = September 1979
 | id = Technical report 8003/0, Erasmus University Rotterdam
 | title = Proceedings of the School on Analysis and Design of Algorithms in Combinatorial Optimization, Udine, Italy
 | url = https://ageconsearch.umn.edu/record/272202/files/erasmus129.pdf}}; see Section 2.1, "A minimum-change generator", pp. 3–8
*{{citation
 | last = Knuth | first = Donald | author-link = Donald Knuth
 | contribution=Section 7.2.1.2: Generating All Permutations
 | title = The Art of Computer Programming, volume 4A: Combinatorial Algorithms, Part 1
 | title-link = The Art of Computer Programming
 | contribution-url = https://web.archive.org/web/20170425021117/http://www-cs-faculty.stanford.edu/~uno/fasc2b.ps.gz
 | year = 2011}}
*{{citation
 | last = McGuire | first = Gary
 | title = Bells, motels and permutation groups
 | citeseerx = 10.1.1.6.5544
 | year = 2003}}
*{{citation
 | last = Ruskey | first = Frank | author-link = Frank Ruskey
 | doi = 10.1007/BF00563523
 | issue = 3
 | journal = [[Order (journal)|Order]]
 | mr = 1048093
 | pages = 227–233
 | title = Transposition generation of alternating permutations
 | volume = 6
 | year = 1989}}
*{{citation
 | last = Savage | first = Carla | author-link = Carla Savage
 | doi = 10.1137/S0036144595295272
 | issue = 4
 | journal = [[SIAM Review]]
 | jstor = 2132693
 | mr = 1491049
 | pages = 605–629
 | title = A survey of combinatorial Gray codes
 | volume = 39
 | year = 1997| bibcode = 1997SIAMR..39..605S | citeseerx = 10.1.1.39.1924
 }}
*{{citation
 | last = Sedgewick | first = Robert | author-link = Robert Sedgewick (computer scientist)
 | doi = 10.1145/356689.356692
 | issue = 2
 | journal = ACM Comput. Surv.
 | pages = 137–164
 | title = Permutation generation methods
 | volume = 9
 | year = 1977| s2cid = 12139332 | doi-access = free
 }}
*{{citation
 | last = Stedman | first = Fabian | author-link = Fabian Stedman
 | location = London
 | publisher = W. Godbid
 | title = Campanalogia, or, The art of ringing improved
 | url = http://name.umdl.umich.edu/A61376.0001.001
 | via = Early English Books Online Text Creation Partnership
 | year = 1677}}
*{{citation
 | last = Steinhaus | first = Hugo | author-link = Hugo Steinhaus
 | location = New York
 | mr = 0157881
 | pages = 49–50
 | publisher = Basic Books
 | title = One hundred problems in elementary mathematics
 | year = 1964}}
*{{citation
 | last = Trotter | first = H. F.
 | date = August 1962
 | doi = 10.1145/368637.368660
 | issue = 8
 | journal = Communications of the ACM
 | pages = 434–435
 | title = Algorithm 115: Perm
 | volume = 5| s2cid = 1013826
 | doi-access = free
 }}
*{{citation
 | last = White | first = Arthur T.
 | date = November 1996
 | doi = 10.1080/00029890.1996.12004816
 | issue = 9
 | journal = [[The American Mathematical Monthly]]
 | jstor = 2974446
 | pages = 771–778
 | title = Fabian Stedman: the first group theorist?
 | volume = 103}}
*{{citation
 | last = Williams | first = Aaron
 | editor1-last = Dehne | editor1-first = Frank
 | editor2-last = Solis-Oba | editor2-first = Roberto
 | editor3-last = Sack | editor3-first = Jörg-Rüdiger
 | contribution = The Greedy Gray Code Algorithm
 | doi = 10.1007/978-3-642-40104-6_46
 | pages = 525–536
 | publisher = Springer
 | series = Lecture Notes in Computer Science
 | title = Algorithms and Data Structures - 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings
 | volume = 8037
 | year = 2013}}
{{refend}}