TL;DR: An algorithm which, excluding input-output, is linear in the number of such trees is presented; one result of this investigation is a generalization of binomial coefficients.
Abstract: The problem of ranking a finite set X may be defined as follows: if $|X| = N$, define a linear order on X and find the order isomorphism $\varphi :X \to \{ 0,1, \cdots ,N - 1\} $, and its inverse $\varphi ^{ - 1} $. In this paper, X is the set of k-ary trees on n vertices, $k \geqq 2$, $n \geqq 0$; the linear order is the lexicographic order on a set of permutations used to represent the trees. The representation of k-ary trees by permutations leads to efficient computation of $\varphi $ and $\varphi ^{ - 1} $. One result of this investigation is a generalization of binomial coefficients. The problem of listing all k-ary trees on n vertices is also addressed; an algorithm which, excluding input-output, is linear in the number of such trees is presented.
TL;DR: In this article, the existence of a permutation set consisting of a setM and a set г of permutations ofM, is shown to be 3-transitive, if for any two triples (x1,x2,x3), (y1,y2,y3)∈ M3 with|{x 1,x 2,x 3} = |y 1,y 2,y 3}| = 3.
Abstract: A permutation set (M, I′) consisting of a setM and a set г of permutations ofM, is calledsymmetric, if for any two permutationsα, β ∈ г the existence of anx ∈ M with α (x) ≠β(x) andα−1β (x) = β−1α(x) impliesα−1β = β−1α, andsharply 3-transitive, if for any two triples (x1,x2,x3), (y1,y2,y3)∈ M3 with|{x1,x2,x3}| = |{y1,y2,y3}| = 3 there is exactly one permutationγ ∈ г withγ(x1) =y1,γ(x2) =y2,γ(x3) =y3. The following theorem will be proved.
TL;DR: In this paper, the concept of orthogonality for E.P.A.s was introduced and it was shown that a set of these arrays is equivalent to a particular type of resolvable (r, λ)-design, and that the cardinality of such a set is bounded by r − λ with the upper bound being obtained only ifλ = 0.
Abstract: An equidistant permutation array (E.P.A.)A(r, λ v) is av × r array in which every row is a permutation of the integers 1, 2, ⋯,r such that any two distinct rows have precisely λ columns in common. In this paper we introduce the concept of orthogonality for E.P.A.s. A special case of this is the well known idea of a set of pairwise orthogonal latin squares. We show that a set of these arrays is equivalent to a particular type of resolvable (r, λ)-design. It is also shown that the cardinality of such a set is bounded byr − λ with the upper bound being obtained only ifλ = 0. A brief survey of related orthogonal systems is included. In particular, sets of pairwise orthogonal symmetric latin squares, sets of orthogonal Steiner systems and sets of orthogonal skeins.
TL;DR: In this paper, an algorithm for generating random permutation of n letters is described, which is generated by a sequence of random interchanges, where any one of the n letters 1, …, n for a 1 is chosen.
Abstract: This chapter describes an algorithm for generating random permutation of n letters. The random permutation is generated by a sequence of random interchanges. First any one of the n letters 1, …, n for a 1 is chosen. Then, any one of the remaining letters for a 2 is chosen and so on. The construction of a permutation, thus, involves n choices, with respective probabilities and the probability of a given permutation chosen being 1/ n ! The FORTRAN program of algorithm RANPER contains a LOGICAL parameter SETUP. If it is set. FALSE., the subprogram will not setup the array A with 1, …, n but, instead, will operate on whatever data the user has supplied. The chapter presents the sample output for the subroutine. In the analysis presented in the chapter, for each n = 3,……,8, a set of 50 random permutations of n letters was chosen and the number of cycles of each of these 50 permutations was found.
TL;DR: In this article, it was shown that if the action of Ga on the set of orbits of K" in £2-a is 2-primitive with kernel K" then either G is a normal extension of PSL(3, q) or K" n Gy is a strongly closed subgroup of G ay in G a, where y e £ 2-a.
Abstract: Let G be a doubly transitive permutation group on a finite set fi, and let K" be a normal subgroup of the stabilizer Ga of a point a in £2. If the action of Ga on the set of orbits of K" in £2—{a} is 2-primitive with kernel K" it is shown that either G is a normal extension of PSL(3, q) or K" n Gy is a strongly closed subgroup of G ay in G a, where y e £2—{a}. If in addition the action of Go on the set of orbits of K" is assumed to be 3-transitive, extra information is obtained using permutation theoreti c and centralizer ring methods. In the case where K" has three orbits in £2—{a} strong restrictions are obtained on either the structure of G or the degrees of certain irreducible characters ofG.
TL;DR: In this paper, it was shown that S-automorphisms are ergodic if and only if they are Bernoulli shifts and two ergodically isomorphic automorphisms are conjugate.
TL;DR: A branch-and-bound algorithm is presented for the permutation flow-shop problem in which the objective is to minimise the maximum completion time and computational results indicate that the proposed algorithm is superior to previously published algorithms.
Abstract: Abstract A branch-and-bound algorithm is presented for the permutation flow-shop problem in which the objective is to minimise the maximum completion time. A branching procedure is used in which jobs both at the beginning and at the end of the schedule have been fixed. Dominance rules are included in the algorithm. Also, during the initial stages of the algorithm, upper bounds are computed at certain nodes of the search tree. Computational results indicate that the proposed algorithm is superior to previously published algorithms.
TL;DR: A better algorithm is presented for the generation of an arbitrary permutation in a model of magnetic bubble memories that have been investigated previously.
Abstract: A better algorithm is presented for the generation of an arbitrary permutation in a model of magnetic bubble memories that have been investigated previously.
TL;DR: A permutation graph G(n,μ) is a graph with vertex set comprising all permutations on n elements, and edges between each pair of permutations at distance μ as discussed by the authors.
Abstract: Two permutations on n elements are at (Hamming) distance μ if they disagree in exactly μ places. An equidistant permutation array is a collection of permutations on n elements, every pair of which is at distance μ. A permutation graph G(n,μ) is a graph with vertex set comprising all permutations on n elements, and edges between each pair of permutations at distance μ. These graphs enable the relevant permutation structure to be visualised; in particular, the cliques correspond to maximal equidistant permutation arrays. We obtain various structural theorems for these graphs, and conjecture several properties for their cliques.
TL;DR: A survey of extremal (r,?)-systems and certain applications can be found in this paper, with a focus on combinatorial matrices with a group structure and their connection with finite geometries.
Abstract: Reflections on the legitimate deck problem.- Some extremal problems on families of graphs and related problems.- Integral properties of combinatorial matrices.- A class of three-designs.- Isomorphic factorisations III: Complete multipartite graphs.- Biplanes and semi-biplanes.- Near-self-complementary designs and a method of mixed sums.- Recent progress and unsolved problems in dominance theory.- On the linear independence of sets of 2q columns of certain (1, ?1) matrices with a group structure, and its connection with finite geometries.- The doehlert-klee problem: Part I, statistical background.- On the cayley index of a group.- A survey of extremal (r,?)-systems and certain applications.- On the enumeration of certain graceful graphs.- Fixing subgraphs of Km,n.- Hadamard equivalence.- A note on equidistant permutation arrays.- The combinatorics of algebraic graph theory in theoretical physics.- Graphs, groups and polytopes.- Decompositions of complete symmetric digraphs into the four oriented quadrilaterals.- Brick packing.- Colour symmetry in crystallographic space groups.- Generation of a frequency square orthogonal to a 10x10 latin square.- Factorization in the monoid of languages.- On graphs as unions of eulerian graphs.- The analysis of colour symmetry.- Computing automorphisms and canonical labellings of graphs.- On a result of bose and shrikhande.- Further results on a problem in the design of electrical circuits.- Transversals and finite topologies.- Asymptotic number of self-converse oriented graphs.- Some correspondences involving the schroder numbers and relations.- A computer listing of hadamard matrices.- A class of codes generated by circulant weighing matrices.- An application of maximum-minimum distance circuits on hypercubes.- Decompositions of graphs and hypergraphs.- Some extremal problems in combinatorial geometry.- Distance-regular graphs.- A note on baxter's generalization of the temperley-lieb operators.- Autocorrelation of (+1,?1) sequences.- Triangles in labelled cubic graphs.- Problems.
TL;DR: A formal set-theoretic model for the computer representation of data is developed, the key idea of the model is the concept of the distinguished urelement, and new definitions for the usual constructions in mathematics are developed for the elements in ZF .
TL;DR: A classification scheme for lower bounds that generates most previously known bounds and leads to a number of promising new ones as well as a report on computational experience that indicates the superiority of one of the new bounds.
Abstract: Branch-and-bound methods are commonly used to find a permutation schedule that minimizes maximum completion time in an m-machine flow-shop. In this paper we describe a classification scheme for lower bounds that generates most previously known bounds and leads to a number of promising new ones as well. After a discussion of dominance relations within this scheme and of the implementation of each bound, we report on computational experience that indicates the superiority of one of the new bounds.
TL;DR: This paper defines pairwise orthogonal generalized Room squares and gives a construction for these using finite projective geometries and uses them to construct permutations having a constant Hamming distance.
TL;DR: It is proposed that the distinctive and advantageous feature of CONCOR is that it solves what is initially presented as a combinatorial problem by representing the problem as a continuous one (analysis of correlation matrices), and it is predicted that the fairly crude empirical approach of CONCor will be supplanted by more powerful procedures within this same class.
TL;DR: A combinatorial proof of the main result would be very desirable since this could lead the way to more general result, q -analogs, and perhaps even a q-analog of MacMahon's Master Theorem.