Pandiagonal and Knut Vik Sudoku Squares

Ronald P. Nordgren

DOI: https://doi.org/10.48550/arXiv.1307.1034

2013-06-29

Abstract:We present systematic methods of constructing pandiagonal sudoku squares of order k*k and Knut Vik sudoku squares of order k*k not divisible by 2 or 3. Pandiagonal magic squares are constructed from these squares. Examples of all these squares are given.

History and Overview

What problem does this paper attempt to address?

On an algorithm for receiving Sudoku matrices

Krasimir Yordzhev

DOI: https://doi.org/10.1142/S1793830917500380

2016-04-10

Abstract:This work examines the problem to describe an efficient algorithm for obtaining $n^2 \times n^2$ Sudoku matrices. For this purpose, we define the concepts of $n\times n$ $\Pi_n$-matrix and disjoint $\Pi_n$-matrices. The article, using the set-theoretical approach, describes an algorithm for obtaining $n^2$-tuples of $n\times n$ mutually disjoint $\Pi_n$ matrices. We show that in input $n^2$ mutually disjoint $\Pi_n$ matrices, it is not difficult to receive a Sudoku matrix.

Data Structures and Algorithms,Combinatorics
Pandiagonal Type-p Franklin Squares

John Lorch

DOI: https://doi.org/10.48550/arXiv.1712.09602

2017-12-27

Abstract:For prime $p$ we define magic squares of order $kp^3$, called type-$p$ Franklin squares, whose properties specialize to those of classical Franklin squares in the case $p=2$. We construct type-$p$ Franklin squares in prime-power orders.

Combinatorics
Division sudokus: Invariants, enumeration and multiple partitions

Aleš Drápal,Petr Vojtěchovský

DOI: https://doi.org/10.1017/S0017089519000375

2021-01-12

Abstract:A division sudoku is a latin square whose all six conjugates are sudoku squares. We enumerate division sudokus up to a suitable equivalence, introduce powerful invariants of division sudokus, and also study latin squares that are division sudokus with respect to multiple partitions at the same time. We use nearfields and affine geometry to construct division sudokus of prime power rank that are rich in sudoku partitions.

Combinatorics
Two Standard Decks of Playing Cards are Sufficient for a ZKP for Sudoku

Suthee Ruangwises

DOI: https://doi.org/10.1007/s00354-021-00146-y

2022-01-25

Abstract:Sudoku is a famous logic puzzle where the player has to fill a number between 1 and 9 into each empty cell of a $9 \times 9$ grid such that every number appears exactly once in each row, each column, and each $3 \times 3$ block. In 2020, Sasaki et al. developed a physical card-based protocol of zero-knowledge proof (ZKP) for Sudoku, which enables a prover to convince a verifier that he/she knows a solution of the puzzle without revealing it. Their protocol uses 90 cards, but requires nine identical copies of some cards, which cannot be found in a standard deck of playing cards (consisting of 52 different cards and two jokers). Hence, nine identical standard decks are required to perform that protocol, making the protocol not very practical. In this paper, we propose a new ZKP protocol for Sudoku that can be performed using only two standard decks of playing cards, regardless of whether the two decks are identical or different. In general, we also develop the first ZKP protocol for a generalized $n \times n$ Sudoku that can be performed using a deck of all different cards.

Cryptography and Security
Sudoku Rectangle Completion

Mohammad Mahdian,Ebadollah S. Mahmoodian

DOI: https://doi.org/10.48550/arXiv.1704.08136

2017-04-26

Abstract:Over the last decade, Sudoku, a combinatorial number-placement puzzle, has become a favorite pastimes of many all around the world. In this puzzle, the task is to complete a partially filled $9 \times 9$ square with numbers 1 through 9, subject to the constraint that each number must appear once in each row, each column, and each of the nine $3 \times 3$ blocks. Sudoku squares can be considered a subclass of the well-studied class of Latin squares. In this paper, we study natural extensions of a classical result on Latin square completion to Sudoku squares. Furthermore, we use the procedure developed in the proof to obtain asymptotic bounds on the number of Sudoku squares of order $n$.

Combinatorics
The linear system for Sudoku and a fractional completion threshold

Peter J. Dukes,Kate Nimegeers

2024-04-17

Abstract:We study a system of linear equations associated with Sudoku latin squares. The coefficient matrix $M$ of the normal system has various symmetries arising from Sudoku. From this, we find the eigenvalues and eigenvectors of $M$, and compute a generalized inverse. Then, using linear perturbation methods, we obtain a fractional completion guarantee for sufficiently large and sparse rectangular-box Sudoku puzzles.

Mathematics
Random Latin squares and Sudoku designs generation

Roberto Fontana

DOI: https://doi.org/10.48550/arXiv.1305.3697

2013-05-16

Abstract:Uniform random generation of Latin squares is a classical problem. In this paper we prove that both Latin squares and Sudoku designs are maximum cliques of properly defined graphs. We have developed a simple algorithm for uniform random sampling of Latin squares and Sudoku designs. It makes use of recent tools for graph analysis. The corresponding SAS code is annexed.

Computation
Minuet: A method to solve Sudoku puzzles by hand

Carlos F. Daganzo

DOI: https://doi.org/10.48550/arXiv.1812.06778

IF: 0.961

2018-12-13

Discrete Mathematics

Abstract:This paper presents a systematic method to solve difficult 9 x 9 Sudoku puzzles by hand. While computer algorithms exist to solve these puzzles, these algorithms are not good for human's to use because they involve too many steps and require too much memory. For humans, all one can find in the literature are individual tricks, which used together in ad hoc ways can be used to solve some puzzles--but not all. To the author's knowledge, a systematic procedure made up of well-defined steps that can be carried out by hand and solve all puzzles has not been devised. This paper proposes one such technique--the "minuet" method. It is based on a new system of markings and a new way of simplifying the puzzles that can be easily carried out by hand--or by computer. The author has solved hundreds of puzzles of the most difficult kind ("evil" in Sudoku's parlance) and never found one that could not be solved. The average time to solve one of these puzzles is slightly over 1 hour. It is conjectured that this method can solve all well-posed 9 x 9 puzzles. The method's distinguishing feature is a "minuet" strategy that is applied when the puzzle cannot be further simplified with basic tricks. The strategy consists in concurrently developing two potential solutions, sometimes alone and sometimes in concert as if they were dancing a minuet.
A Simple Approach to Constructing Quasi-Sudoku-based Sliced Space-Filling Designs

Diane Donovan,Benjamin Haaland,David J. Nott

DOI: https://doi.org/10.48550/arXiv.1502.05522

2015-02-19

Abstract:Sliced Sudoku-based space-filling designs and, more generally, quasi-sliced orthogonal array-based space-filling designs are useful experimental designs in several contexts, including computer experiments with categorical in addition to quantitative inputs and cross-validation. Here, we provide a straightforward construction of doubly orthogonal quasi-Sudoku Latin squares which can be used to generate sliced space-filling designs which achieve uniformity in one and two-dimensional projections for both the full design and each slice. A construction of quasi-sliced orthogonal arrays based on these constructed doubly orthogonal quasi-Sudoku Latin squares is also provided and can, in turn, be used to generate sliced space-filling designs which achieve uniformity in one and two-dimensional projections for the full design and and uniformity in two-dimensional projections for each slice. These constructions are very practical to implement and yield a spectrum of design sizes and numbers of factors not currently broadly available.

Combinatorics,Statistics Theory
Sudoku Symmetry Group

Vasiliy Osipov

DOI: https://doi.org/10.48550/arXiv.1106.1136

2011-06-07

Abstract:The mathematical aspects of the popular logic game Sudoku incorporate a significant number of the group theory concepts. In this note, we describe all symmetric transformations of the Sudoku grid. We do not intend to obtain a new strategy of solving Sudoku and do not describe basic ideas of the game which can be found in numerous other sources.

Group Theory,Combinatorics
Magic squares of subtraction of Adam Adamandy Kochański

H. Fukś

DOI: https://doi.org/10.1007/978-3-319-64551-3

2020-02-21

Abstract:The problem of the construction of magic squares occupied many mathematicians of the 17th century. The Polish Jesuit and polymath Adam Adamandy Kochański studied this subject too, and in 1686 he published a paper in Acta Eruditorum titled "Considerationes quaedam circa Quadrata et Cubos Magicos". In that paper he proposed a novel type of magic square, where in every row, column and diagonal, if the entries are sorted in decreasing order, the difference between the sum of entries with odd indices and those with even indices is constant. He called them \emph{quadrata subtractionis}, meaning squares of subtraction. He gave examples of such squares of orders 4 and 5, and challenged readers to produce an example of square of order 6. We discuss the likely method which he used to produce squares of order 5, and show that it can be generalized to arbitrary odd orders. We also show how to construct doubly-even squares. At the end, we show an example of a square of order 6, sought by Kochański, and discuss the enumeration of squares of subtraction.

History and Overview
The Mutando of Insanity

Érika B. Roldán Roa

DOI: https://doi.org/10.48550/arXiv.1610.09371

2016-10-28

Abstract:Puzzles based on coloured cubes and other coloured geometrical figures have a long history in the recreational mathematical literature. One of the most commercially famous of these puzzles is the Instant Insanity that consists of four cubes. Their faces are coloured with four different colours in such a way that each colour is present in each one of the four cubes. To solve the puzzle, one needs to stack the cubes in a tower in such a way that each one of the colours appears exactly once in the four long faces of the tower. The main purpose of this paper is to study the combinatorial richness of a mathematical model of this puzzle by analysing all possible ways of colouring the cubes to form a puzzle analogous to the Instant Insanity. We have done this analysis for $n$ cubes and $n$ colours for $n=4, 5, 6$. This combinatorial analysis allowed us to design the Mutando of Insanity, a puzzle that we presented at Gathering for Gardner 12 (G4G12).

History and Overview,Combinatorics
Pansystems Methodology and Construction of Magic Squares

Li Yue,Li Lixi,Wu Xuemo

DOI: https://doi.org/10.1007/bf02428371

2000-01-01

Abstract:Some patterns of refined epitomes of pansystems methodology were revealed roles and the related of them in problem-solving , modeling, algorithm-generating and theory-constructing were introduced. An important application of pansystems methodology is to give some methods of constructing the typical pansymmetries-magic squares. 1 . a method of recursively constructing magic squares of order n ( n ⩾ 5) ; 2. when magic squares of order m ( m ⩾ 3) and magic squares of order n ( n ⩾ 3) are given a formula of obtaining magic squares of order mn ; 3. when magic squares of order m ( m ⩾ 3) are given, a method of obtaining magic squares of order 2 m .
Nest graphs and minimal complete symmetry groups for magic Sudoku variants

Elizabeth Arnold,Rebecca Field,John Lorch,Stephen Lucas,Laura Taalman

DOI: https://doi.org/10.48550/arXiv.1302.5673

2013-02-23

Abstract:A symmetry group for Sudoku is complete if its action partitions the set of Sudoku boards into all possible orbits, and minimal if no group of smaller size would do the same. Previously, for a 4 x 4 Sudoku variation known as Shidoku, the authors used an analogous symmetry group to partition the set of Shidoku boards into so-called "nests" and then use the interplay between the physical and relabeling symmetries to find certain subgroups that were both complete and minimal. In this paper these same techniques are applied to find a minimal complete symmetry group for the modular magic Sudoku variation, as well as for another Sudoku variation called semi-magic Sudoku. The paper concludes with a simple computation which leads to the non-obvious fact that the full Sudoku symmetry group is, in fact, already minimal and complete.

Combinatorics
Magic Cayley-Sudoku Tables

Rosanna Mersereau,Michael B. Ward

DOI: https://doi.org/10.48550/arXiv.2001.06557

2020-01-18

Abstract:A Cayley-sudoku table of a finite group G is a Cayley table for G, the body of which is partitioned into uniformly sized rectangular blocks in such a way that each group element appears exactly once in each block. A Cayley-sudoku table is pandiagonal magic provided the blocks are square and the "sum" (using the group operation) of elements in every row, column, broken diagonal, and broken antidiagonal in each block gives the group identity. We provide sufficient conditions for a group to have a pandiagonal magic Cayley-sudoku table and give some examples.

Group Theory
On some randomized algorithms and their evaluation

Krasimir Yordzhev

2024-08-08

Abstract:The paper considers implementations of some randomized algorithms in connection with obtaining a random $n^2 \times n^2$ Sudoku matrix with programming language C++. For this purpose we describes the set $\Pi_n$ of all $(2n) \times n$ matrices, consisting of elements of the set $\mathbb{Z}_n =\{ 1,2,\ldots ,n\}$, such that every row is a permutation. We emphasize the relationship between these matrices and the $n^2 \times n^2$ Sudoku matrices. An algorithm to obtain random $\Pi_n$ matrices is presented in this paper. Several auxiliary algorithms that are related to the underlying problem have been described. We evaluated all algorithms according to two criteria - probability evaluation, and time for generation of random objects and checking of belonging to a specific set. This evaluations are interesting from both theoretical and practical point of view because they are particularly useful in the analysis of computer programs.

Discrete Mathematics,Data Structures and Algorithms,Combinatorics
Sudoku Number of Corona of Graphs

Manju S Nair,Aparna Lakshmanan S,S Arumugam

2024-02-14

Abstract:Let $G = (V,E)$ be a graph of order $n$ with chromatic number $\chi(G) = k$, let $S \subset V$ and let $C_0$ be a $k$-coloring of the induced subgraph $G[S]$. The coloring $C_0$ is called an extendable coloring, if $C_0$ can be extended to a $k$-coloring of $G$ and it is a Sudoku coloring of $G$ if the extension is unique. The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a Sudoku coloring is called the Sudoku number of $G$ and is denoted by $sn(G)$. In this paper, we first introduce the notion of uniquely color extendable vertex and then we obtain the lower and upper bounds for the Sudoku number of $G \circ K_1$. Some families of graphs which attain these bounds are also obtained. The exact value of the Sudoku number of corona of $C_n$, $W_n$ and $K_n$ with $K_1$ and $C_n \circ P_m$ are also obtained.

Combinatorics
A circle method approach to K-multimagic squares

Daniel Flores

2024-06-12

Abstract:In this paper we investigate $K$-multimagic squares of order $N$, these are $N \times N$ magic squares which remain magic after raising each element to the $k$th power for all $2 \le k \le K$. Given $K \ge 2$, we consider the problem of establishing the smallest integer $N_2(K)$ for which there exists non-trivial $K$-multimagic squares of order $N_2(K)$. Previous results on multimagic squares show that $N_2(K) \le (4K-2)^K$ for large $K$. Here we utilize the Hardy-Littlewood circle method and establish the bound \[N_2(K) \le 2K(K+1)+1.\] Via an argument of Granville's we additionally deduce the existence of infinitely many non-trivial prime valued $K$-multimagic squares of order $2K(K+1)+1$.

Number Theory,Combinatorics
A Sublinear Sudoku Solution in cP Systems and its Formal Verification

Yezhou Liu,Radu Nicolescu,Jing Sun,Alec Henderson

2021-01-01

Abstract:Sudoku is known as a NP-complete combinatorial number-placement puzzle. In this study, we propose the first cP system solution to generalised Sudoku puzzles with m x m cells grouped in m blocks. By using a fixed constant number of rules, our cP system can solve all Sudoku puzzles in sublinear steps. We evaluate the cP system and discuss its formal verification.
Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition

Marcelo Prates,Luis Lamb

DOI: https://doi.org/10.48550/arXiv.1810.03742

2018-10-09

Abstract:Sudoku is a widely popular $\mathcal{NP}$-Complete combinatorial puzzle whose prospects for studying human computation have recently received attention, but the algorithmic hardness of Sudoku solving is yet largely unexplored. In this paper, we study the statistical mechanical properties of random Sudoku grids, showing that puzzles of varying sizes attain a hardness peak associated with a critical behavior in the constrainedness of random instances. In doing so, we provide the first description of a Sudoku \emph{freezing} transition, showing that the fraction of backbone variables undergoes a phase transition as the density of pre-filled cells is calibrated. We also uncover a variety of critical phenomena in the applicability of Sudoku elimination strategies, providing explanations as to why puzzles become boring outside the typical range of clue densities adopted by Sudoku publishers. We further show that the constrainedness of Sudoku puzzles can be understood in terms of the informational (Shannon) entropy of their solutions, which only increases up to the critical point where variables become frozen. Our findings shed light on the nature of the $k$-coloring transition when the graph topology is fixed, and are an invitation to the study of phase transition phenomena in problems defined over \emph{alldifferent} constraints. They also suggest advantages to studying the statistical mechanics of popular $\mathcal{NP}$-Hard puzzles, which can both aid the design of hard instances and help understand the difficulty of human problem solving.

Computational Complexity

Pandiagonal and Knut Vik Sudoku Squares

On an algorithm for receiving Sudoku matrices

Pandiagonal Type-p Franklin Squares

Division sudokus: Invariants, enumeration and multiple partitions

Two Standard Decks of Playing Cards are Sufficient for a ZKP for Sudoku

Sudoku Rectangle Completion

The linear system for Sudoku and a fractional completion threshold

Random Latin squares and Sudoku designs generation

Minuet: A method to solve Sudoku puzzles by hand

A Simple Approach to Constructing Quasi-Sudoku-based Sliced Space-Filling Designs

Sudoku Symmetry Group

Magic squares of subtraction of Adam Adamandy Kochański

The Mutando of Insanity

Pansystems Methodology and Construction of Magic Squares

Nest graphs and minimal complete symmetry groups for magic Sudoku variants

Magic Cayley-Sudoku Tables

On some randomized algorithms and their evaluation

Sudoku Number of Corona of Graphs

A circle method approach to K-multimagic squares

A Sublinear Sudoku Solution in cP Systems and its Formal Verification

Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition