In-situ Inversion of a Cyclic Permutation
Feijen, W. H. J.; Van Gasteren, A. J. M.; Gries, David
An algorithm is developed for the in-situ inversion of a cyclic permutation represented in an array. The emphasis is on the quo modo rather than the quod; we are interested in finding concepts and notations for dealing more effectively with formal developments and proofs of such algorithms, rather than in this particular algorithm itself.
computer science; technical report
Previously Published As