We present an optimal algorithm to label the edges of a complete graph with integer lengths so that every Hamilton cycle has the same length. The algorithm is complete in the sense that every edge-labelling with this property is the output labelling of some run of this algorithm. Such edge-labellings are induced by half-integer vertex-labellings by adding the vertex labels on an edge’s ends to determine its label. The Fibonacci sequence arises in this connection.
Two players are presented with a finite, simple graph \( G = (V, E) \) that has no isolated vertices. They take turns deleting an edge from the graph in such a way that no isolated vertex is created. The winner is the last player able to remove an edge. We analyze this game when the graph \(G\) is a path of arbitrary length. In addition, some observations are made in the situation that the graph has an automorphism of a special type.
A (previously reported) surprising and attractive hypergeometric identity is established from first principles using three hypergeometric transformations.
Computational Algebra methods have been used successfully in various problems in many fields of Mathematics. Computational Algebra encompasses a set of powerful algorithms for studying ideals in polynomial rings and solving systems of nonlinear polynomial equations efficiently. The theory of Gröbner bases is a cornerstone of Computational Algebra, since it provides us with a constructive way of computing a kind of particular basis of an ideal which enjoys some important properties. In this paper, we introduce the concept of Hadamard ideals in order to establish a new approach to the construction of Hadamard matrices with circulant core. Hadamard ideals reveal the rich interplay between Hadamard matrices with circulant core and ideals in multivariate polynomial rings. Hadamard ideals yield an exhaustive search for Hadamard matrices with circulant core for any specific dimension. In particular, we furnish all solutions for Hadamard matrices of the 12 orders 4, 8, \ldots, 44, 48 with circulant core. We establish the dihedral structure of the varieties associated with Hadamard ideals. Finally, we furnish the complete lists (exhaustive search) of inequivalent Hadamard matrices of the 12 orders 4, 8, \ldots, 44, 48 with circulant core.
Let \( K_v \) be the complete graph on \( v \) vertices, and \( C_5 \) be a cycle of length five. A simple minimum \( (v, C_5, 1) \)-covering is a pair \( (V, C) \) where \( V = V(K_v) \) and \( C \) is a family of edge-disjoint 5-cycles of minimum cardinality which partition \( E(K_v) \cup E \), for some \( E \subset E(K_v) \). The collection of edges \( E \) is called the excess. In this paper, we determine the necessary and sufficient conditions for the existence of a simple minimum \( (v, C_5, 1) \)-covering. More precisely, for each \( v \geq 6 \), we prove that there is a simple minimum \( (v, C_5, 1) \)-covering having all possible excesses.
The resolution of workshop problems, such as the Flow Shop or the Job Shop, has great importance in industrial areas. Criteria to optimize are generally the minimization of the makespan time or the tardiness time. However, few resolution approaches take into account those different criteria simultaneously. This paper presents a comparative and progressive study of different multicriteria optimization techniques. Several strategies of selection, diversity maintaining, and hybridization will be exposed. Their performances will be compared and tested. A parallel GA model is proposed, which allows increasing the population size and the limit generations number, and leads to better results. In parallel to the work on the optimization technique, we propose here a new bi-criteria flow shop benchmark, responding to the need for common problem instances in the field of multicriteria optimization.
We define an overfull set of one-factors of \( K_{2n} \) to be a set of one-factors that between them cover all the edges of \( K_{2n} \), but contain no one-factorization of \( K_{2n} \). We address the question: how many members can such a set contain?