Artículo
Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers
Autor/es | Falcón Ganfornina, Raúl Manuel
Falcón Ganfornina, Óscar Jesús Núñez Valdés, Juan |
Departamento | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) Universidad de Sevilla. Departamento de Geometría y Topología |
Fecha de publicación | 2018 |
Fecha de depósito | 2023-02-07 |
Publicado en |
|
Resumen | This paper provides an in-depth analysis of how computer algebra systems and CSP solvers can be used to deal with the problem of enumerating and distributing the set of $r\times s$ partial Latin rectangles based on $n$ ... This paper provides an in-depth analysis of how computer algebra systems and CSP solvers can be used to deal with the problem of enumerating and distributing the set of $r\times s$ partial Latin rectangles based on $n$ symbols according to their weight, shape, type or structure. The computation of Hilbert functions and triangular systems of radical ideals enables us to solve this problem for all $r,s,n\leq 6$. As a by-product, explicit formulas are determined for the number of partial Latin rectangles of weight up to six. Further, in order to illustrate the effectiveness of the computational method, we focus on the enumeration of three subsets: (a) non-compressible and regular, (b) totally symmetric, and (c) totally conjugate orthogonal partial Latin squares. In particular, the former enables us to enumerate the set of seminets of point rank up to eight and to prove the existence of two new configurations of point rank eight. Finally, as an illustrative application, it is also exposed a method to construct totally symmetric partial Latin squares that gives rise, under certain conditions, to new families of Lie partial quasigroup rings. |
Cita | Falcón Ganfornina, R.M., Falcón Ganfornina, Ó.J. y Núñez Valdés, J. (2018). Counting and enumerating partial Latin rectangles by means of computer algebra systems and CSP solvers. Mathematical Methods in the Applied Sciences, 41 (17), 7236-7262. https://doi.org/10.1002/mma.4820. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
PLR_MMAS.pdf | 402.6Kb | [PDF] | Ver/ | |