Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10

Olivier DuboisContact Information and Gilles DequenContact Information

(5)  LIP6, CNRS-Université Paris 6, 4 place Jussieu, 75252 Paris cedex 05, France
(6)  LaRIA, Université de Picardie Jules Verne CURI, 5 Rue du moulin neuf, 80000 Amiens, France
Abstract
To denote a (3,1,2)-conjugate orthogonal idempotent latin square of order n, the usual acronym is (3,1,2)-COILS(n). Up to now, existence of a (3,1,2)-COILS(n) had been proved for every positive integer n except n = 2, 3, 4, 6, for which the problem was answered in the negative, and n = 10, for which it remained open. In this paper, we use a computer program to prove that a (3,1,2)-COILS(10) does not exist. Following along the lines of recent studies which led to the solution, by means of computer programs, of many open latin square problems, we use a constraint satisfaction technique combining an economical representation of (3,1,2)-COILS with a drastic reduction of the search space. In this way, resolution time is improved by a ratio of 104, as compared with current computer programs. Thanks to this improvement in performance, we are able to prove the non-existence of a (3,1,2)-COILS(10).
This work was supported by Advanced Micro Devices Inc.

Contact Information Olivier Dubois
Email: Olivier.Dubois@lip6.fr

Contact Information Gilles Dequen
Email: dequen@laria.u-picardie.fr
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)