scholarly journals Completing Partial Latin Squares with One Nonempty Row, Column, and Symbol

10.37236/5675 ◽  
2016 ◽  
Vol 23 (2) ◽  
Author(s):  
Jaromy Kuhl ◽  
Michael W. Schroeder
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Partial Latin Square ◽  
Partial Latin Squares

Let $r,c,s\in\{1,2,\ldots,n\}$ and let $P$ be a partial latin square of order $n$ in which each nonempty cell lies in row $r$, column $c$, or contains symbol $s$. We show that if $n\notin\{3,4,5\}$ and row $r$, column $c$, and symbol $s$ can be completed in $P$, then a completion of $P$ exists. As a consequence, this proves a conjecture made by Casselgren and Häggkvist. Furthermore, we show exactly when row $r$, column $c$, and symbol $s$ can be completed.

scholarly journals Restricted completion of sparse partial Latin squares

2019 ◽  
Vol 28 (5) ◽  
pp. 675-695 ◽  
Author(s):  
Lina J. Andrén ◽  
Carl Johan Casselgren ◽  
Klas Markström
Keyword(s):  
Positive Integer ◽  
Latin Square ◽  
Latin Squares ◽  
Empty Cell ◽  
Partial Latin Square ◽  
Partial Latin Squares

AbstractAnn×npartial Latin squarePis calledα-dense if each row and column has at mostαnnon-empty cells and each symbol occurs at mostαntimes inP. Ann×narrayAwhere each cell contains a subset of {1,…,n} is a (βn,βn, βn)-array if each symbol occurs at mostβntimes in each row and column and each cell contains a set of size at mostβn. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constantsα,β> 0 such that, for every positive integern, ifPis anα-densen×npartial Latin square,Ais ann×n (βn, βn, βn)-array, and no cell ofPcontains a symbol that appears in the corresponding cell ofA, then there is a completion ofPthat avoidsA; that is, there is a Latin squareLthat agrees withPon every non-empty cell ofP, and, for eachi,jsatisfying 1 ≤i,j≤n, the symbol in position (i,j) inLdoes not appear in the corresponding cell ofA.

scholarly journals Completing Partial Latin Squares with Two Filled Rows and Two Filled Columns

10.37236/780 ◽  
2008 ◽  
Vol 15 (1) ◽  
Author(s):  
Peter Adams ◽  
Darryn Bryant ◽  
Melinda Buchanan
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Partial Latin Square ◽  
Partial Latin Squares

It is shown that any partial Latin square of order at least six which consists of two filled rows and two filled columns can be completed.

scholarly journals The number of solutions to an equation arising from a problem on latin squares

1983 ◽  
Vol 34 (1) ◽  
pp. 138-142 ◽  
Author(s):  
I. P. Goulden ◽  
S. A. Vanstone
Keyword(s):  
Abelian Group ◽  
Recent Article ◽  
Latin Square ◽  
Latin Squares ◽  
Number Of Solutions ◽  
Graph Theoretic ◽  
Partial Latin Square

AbstractA recent article of G. Chang shows that an n × n partial latin square with prescribed diagonal can always be embedded in an n × n latin square except in one obvious case where it cannot be done. Chang's proof is to show that the symbols of the partial latin square can be assigned the elements of the additive abelian group Zn so that the diagonal elements of the square sum to zero. A theorem of M. Halls then shows this to be embeddable in the operation table of the group. In this paper, we show that when n is a prime one can determine exactly the number of distinct ways in which this assignment can be made. The proof uses some graph theoretic techniques.

scholarly journals A Generalisation of Transversals for Latin Squares

10.37236/1629 ◽  
2002 ◽  
Vol 9 (1) ◽  
Author(s):  
Ian M. Wanless
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Soluble Groups ◽  
Partial Latin Square ◽  
Cayley Tables

We define a $k$-plex to be a partial latin square of order $n$ containing $kn$ entries such that exactly $k$ entries lie in each row and column and each of $n$ symbols occurs exactly $k$ times. A transversal of a latin square corresponds to the case $k=1$. For $k>n/4$ we prove that not all $k$-plexes are completable to latin squares. Certain latin squares, including the Cayley tables of many groups, are shown to contain no $(2c+1)$-plex for any integer $c$. However, Cayley tables of soluble groups have a $2c$-plex for each possible $c$. We conjecture that this is true for all latin squares and confirm this for orders $n\leq8$. Finally, we demonstrate the existence of indivisible $k$-plexes, meaning that they contain no $c$-plex for $1\leq c < k$.

scholarly journals A Discussion of a Cryptographical Scheme Based in F-Critical Sets of a Latin Square

Mathematics ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 285
Author(s):  
Laura M. Johnson ◽  
Stephanie Perkins
Keyword(s):  
Necessary Conditions ◽  
Latin Square ◽  
Latin Squares ◽  
Critical Sets ◽  
Long Cycles ◽  
The Given

This communication provides a discussion of a scheme originally proposed by Falcón in a paper entitled “Latin squares associated to principal autotopisms of long cycles. Applications in cryptography”. Falcón outlines the protocol for a cryptographical scheme that uses the F-critical sets associated with a particular Latin square to generate access levels for participants of the scheme. Accompanying the scheme is an example, which applies the protocol to a particular Latin square of order six. Exploration of the example itself, revealed some interesting observations about both the structure of the Latin square itself and the autotopisms associated with the Latin square. These observations give rise to necessary conditions for the generation of the F-critical sets associated with certain autotopisms of the given Latin square. The communication culminates with a table which outlines the various access levels for the given Latin square in accordance with the scheme detailed by Falcón.

scholarly journals Atomic Latin Squares based on Cyclotomic Orthomorphisms

10.37236/1919 ◽  
2005 ◽  
Vol 12 (1) ◽  
Author(s):  
Ian M. Wanless
Keyword(s):  
Finite Fields ◽  
Complete Graph ◽  
Prime Order ◽  
Automorphism Groups ◽  
Latin Square ◽  
Latin Squares ◽  
Established Method ◽  
Cyclic Groups ◽  
Complete Bipartite Graphs ◽  
First Time

Atomic latin squares have indivisible structure which mimics that of the cyclic groups of prime order. They are related to perfect $1$-factorisations of complete bipartite graphs. Only one example of an atomic latin square of a composite order (namely 27) was previously known. We show that this one example can be generated by an established method of constructing latin squares using cyclotomic orthomorphisms in finite fields. The same method is used in this paper to construct atomic latin squares of composite orders 25, 49, 121, 125, 289, 361, 625, 841, 1369, 1849, 2809, 4489, 24649 and 39601. It is also used to construct many new atomic latin squares of prime order and perfect $1$-factorisations of the complete graph $K_{q+1}$ for many prime powers $q$. As a result, existence of such a factorisation is shown for the first time for $q$ in $\big\{$529, 2809, 4489, 6889, 11449, 11881, 15625, 22201, 24389, 24649, 26569, 29929, 32041, 38809, 44521, 50653, 51529, 52441, 63001, 72361, 76729, 78125, 79507, 103823, 148877, 161051, 205379, 226981, 300763, 357911, 371293, 493039, 571787$\big\}$. We show that latin squares built by the 'orthomorphism method' have large automorphism groups and we discuss conditions under which different orthomorphisms produce isomorphic latin squares. We also introduce an invariant called the train of a latin square, which proves to be useful for distinguishing non-isomorphic examples.

Pairs of Latin Squares to Counterbalance Sequential Effects and Pairing of Conditions and Stimuli

1989 ◽  
Vol 33 (18) ◽  
pp. 1223-1227 ◽  
Author(s):  
James R. Lewis
Keyword(s):  
Human Factors ◽  
Repeated Measures ◽  
Random Sequence ◽  
Latin Square ◽  
Latin Squares ◽  
Sequential Effects ◽  
Long Run ◽  
Within Subjects ◽  
Human Factors Research

This paper discusses methods with which one can simultaneously counterbalance immediate sequential effects and pairing of conditions and stimuli in a within-subjects design using pairs of Latin squares. Within-subjects (repeated measures) experiments are common in human factors research. The designer of such an experiment must develop a scheme to ensure that the conditions and stimuli are not confounded, or randomly order stimuli and conditions. While randomization ensures balance in the long run, it is possible that a specific random sequence may not be acceptable. An alternative to randomization is to use Latin squares. The usual Latin square design ensures that each condition appears an equal number of times in each column of the square. Latin squares have been described which have the effect of counterbalancing immediate sequential effects. The objective of this work was to extend these earlier efforts by developing procedures for designing pairs of Latin squares which ensure complete counterbalancing of immediate sequential effects for both conditions and stimuli, and also ensure that conditions and stimuli are paired in the squares an equal number of times.

Complete Diagonals of Latin Squares

1979 ◽  
Vol 22 (4) ◽  
pp. 477-481 ◽  
Author(s):  
Gerard J. Chang
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Special Case

AbstractJ. Marica and J. Schönhein [4], using a theorem of M. Hall, Jr. [3], see below, proved that if any n − 1 arbitrarily chosen elements of the diagonal of an n × n array are prescribed, it is possible to complete the array to form an n × n latin square. This result answers affirmatively a special case of a conjecture of T. Evans [2], to the effect that an n × n incomplete latin square with at most n − 1 places occupied can be completed to an n × n latin square. When the complete diagonal is prescribed, it is easy to see that a counterexample is provided by the case that one letter appears n − 1 times on the diagonal and a second letter appears once. In the present paper, we prove that except in this case the completion to a full latin square is always possible. Completion to a symmetric latin square is also discussed.

A Partial Generalization of Mann's Theorem Concerning Orthogonal Latin Squares

1988 ◽  
Vol 31 (4) ◽  
pp. 409-413 ◽  
Author(s):  
E. T. Parker ◽  
Lawrence Somer
Keyword(s):  
Latin Square ◽  
Latin Squares ◽  
Necessary Condition ◽  
Orthogonal Latin Squares ◽  
Mutually Orthogonal Latin Squares ◽  
Complete Set

AbstractLetn = 4t+- 2, where the integert ≧ 2. A necessary condition is given for a particular Latin squareLof ordernto have a complete set ofn — 2mutually orthogonal Latin squares, each orthogonal toL.This condition extends constraints due to Mann concerning the existence of a Latin square orthogonal to a given Latin square.

Two remarks about Sudoku squares

2006 ◽  
Vol 90 (519) ◽  
pp. 425-430 ◽  
Author(s):  
A. D. Keedwell
Keyword(s):  
Current Problem ◽  
Latin Square ◽  
Latin Squares ◽  
Critical Set ◽  
Critical Sets ◽  
The Given ◽  
A Current ◽  
Defining Sets

Smallest defining setsA standard Sudoku square is a 9 × 9 latin square in which each of the nine 3 × 3 subsquares into which it can be separated contains each of the integers 1 to 9 exactly once.A current problem is to complete such a square when only some of the cells have been filled. These cells are often called ‘givens’. (Such problems are currently (2005) published daily in British newspapers.) In more mathematical terms, the given filled cells constitute a defining set or uniquely completable set for the square if they lead to a unique completion of the square. If, after deletion of any one of these givens, the square can no longer be completed uniquely, the givens form a critical set. The investigation of critical sets for ‘ordinary’ latin squares is a topic of current mathematical interest. (See [1] for more details.)

Sign in / Sign up

Export Citation Format

Share Document