Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares
نویسندگان
چکیده
In this paper we consider the problem of enumerating diagonal Latin squares of small order. In particular we discuss possible algorithmic approaches to this problem and show our results in this regard. Surprisingly, our research showed that the best algorithm for enumerating diagonal Latin squares consists of a number of fixed loops, and its effectiveness can be significantly increased by careful tuning and applying special heuristics. We used the constructed algorithm to enumerate all diagonal Latin squares of order 8. Also, it is being used to carry out large-scale computational experiment aimed at enumeration of diagonal Latin squares of order 9.
منابع مشابه
Fast Algorithm for Enumerating Diagonal Latin Squares of Small Order
In this paper we propose an algorithm for enumerating diagonal Latin squares of small order. It relies on specific properties of diagonal Latin squares to employ symmetry breaking techniques, and on several heuristic optimizations and bit arithmetic techniques to make use of computational power of stateof-the-art CPUs. Using this approach we enumerated diagonal Latin squares of order at most 9,...
متن کاملLifting Redundancy from Latin Squares to Pandiagonal Latin Squares
In the pandiagonal Latin Square problem, a square grid of size N needs to be filled with N types of objects, so that each column, row, and wrapped around diagonal (both up and down) contains an object of each type. This problem dates back to at least Euler. In its specification as a constraint satisfaction problem, one uses the all different constraint. The known redundancy result about all dif...
متن کاملEnumerating possible Sudoku grids
In some of these boxes, the setter puts some of the digits 1–9; the aim of the solver is to complete the grid by filling in a digit in every box in such a way that each row, each column, and each 3× 3 box contains each of the digits 1–9 exactly once. In this note, we discuss the problem of enumerating all possible Sudoku grids. This is a very natural problem, but, perhaps surprisingly, it seems...
متن کاملThe Search for Systems of Diagonal Latin Squares Using the SAT@home Project
In this paper we consider the approach to solving the problem of search for systems of diagonal orthogonal Latin squares in the form of the Boolean Satisfiability problem. We describe two different propositional encodings that we use. The first encoding is constructed for finding pairs of orthogonal diagonal Latin squares of order 10. Using this encoding we managed to find 17 previously unknown...
متن کاملLecture 5 : Latin Squares and Magic
Today's application is to magic! Not the friendship kind, though 1 ; instead, we're going to talk about magic squares, an incredibly old piece of mathematics that we can study using Latin squares. Definition. A magic square is a n × n grid filled with the integers {0, 1,. .. n 2 − 1}, such that • each number is used exactly once in our entire grid, and • the sum of all of the entries along any ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017