The correctness of an in-place permutation algorithm is proved. The algorithm exchanges elements belonging to a permutation cycle. A suitable assertion is con-structed from which the correctness can be deduced after completion of the algo-rithm. An in-place rectangular matrix transposition algorithm is given as an example. Key words and phrases: Proof of programs, algorithm, program correctness, theory of programming. Introduction. The in-place permutat ion problem deals with the rearrangement of the elements of a given vector VEC[i], i = 1(1)(7, G-> _ 1, using an arbitrary permutat ion f ( i) of the integers 1....,G. The problem that has to be solved is: write an algorithm that permute
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversib...
Ordinary representations of permutations in Genetic Algorithms (GA) is handicapped with producing os...
. In order to sequence the tasks of a job shop problem (JSP) on a number of machines related to the ...
The correctness of an in-place permutation algorithm is proved. The algorithm exchanges elements bel...
This paper presents implementations of in‐place algorithms for transposing rectangular matrices. One...
Every permutation of {1, 2, ... , N} can be written as the product of two involutions. As a conseque...
Theory of permutation group algorithms for graduates and above. Exercises and hints for implementati...
Abstract. We consider the problem of factorization of permutations. We begin with a discussion of so...
An algorithm is developed for the in-situ inversion of a cyclic permutation represented in an array....
We describe the integration of permutation group algorithms with proof planning. We consider eight b...
efinition is a permutation. There has been a great eal of work on the rearrangeability of various ne...
This thesis presents a novel algorithm for Transposing Rectangular matrices In-place and in Parallel...
This paper discusses a bit-vector implementation of an algorithm that computes an optimal sequence ...
Sorting is one of the fundamental operations in computer science, and many sequential and parallel a...
New automatic methods for enumerating permutation classes are introduced. The first is Struct, which...
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversib...
Ordinary representations of permutations in Genetic Algorithms (GA) is handicapped with producing os...
. In order to sequence the tasks of a job shop problem (JSP) on a number of machines related to the ...
The correctness of an in-place permutation algorithm is proved. The algorithm exchanges elements bel...
This paper presents implementations of in‐place algorithms for transposing rectangular matrices. One...
Every permutation of {1, 2, ... , N} can be written as the product of two involutions. As a conseque...
Theory of permutation group algorithms for graduates and above. Exercises and hints for implementati...
Abstract. We consider the problem of factorization of permutations. We begin with a discussion of so...
An algorithm is developed for the in-situ inversion of a cyclic permutation represented in an array....
We describe the integration of permutation group algorithms with proof planning. We consider eight b...
efinition is a permutation. There has been a great eal of work on the rearrangeability of various ne...
This thesis presents a novel algorithm for Transposing Rectangular matrices In-place and in Parallel...
This paper discusses a bit-vector implementation of an algorithm that computes an optimal sequence ...
Sorting is one of the fundamental operations in computer science, and many sequential and parallel a...
New automatic methods for enumerating permutation classes are introduced. The first is Struct, which...
Reversible Primitive Permutations (RPP) are recursively defined functions designed to model Reversib...
Ordinary representations of permutations in Genetic Algorithms (GA) is handicapped with producing os...
. In order to sequence the tasks of a job shop problem (JSP) on a number of machines related to the ...
Add to ORKG