Abstract
Costas Latin squares are important combinatorial structures in combinatorial design theory. Some Costas Latin squares are found in recent years, but there are still some open problems about the existence of Costas Latin squares with specified properties including idempotency, orthogonality, and certain quasigroup properties. In this paper, we describe an efficient method for solving these problems using state-of-the-art SAT solvers. We present new results of Costas Latin squares with specified properties of even order \(n \le 10\). It is found that within this order range, most Costas Latin squares with such properties don’t exist except for a few cases. The non-existence can be certified since SAT solvers can produce a formal proof. Experimental results demonstrate the effectiveness of our method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bright, C., Ganesh, V., Heinle, A., Kotsireas, I., Nejati, S., Czarnecki, K.: MathCheck2: A SAT+CAS verifier for combinatorial conjectures. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2016. LNCS, vol. 9890, pp. 117–133. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45641-6_9
Costas, J.P.: A study of a class of detection waveforms having nearly ideal range-doppler ambiguity properties. Proc. IEEE 72(8), 996–1009 (1984)
Dinitz, J., Ostergard, P., Stinson, D.: Packing costas arrays. J. Comb. Math. Comb. Comput. 80, 02 (2011)
Etzion, T.: Combinatorial designs with costas arrays properties. Discrete Math. 93(2–3), 143–154 (1991)
Heule, M.J.H.: Schur number five. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, 2–7 February 2018, pp. 6598–6606. AAAI Press (2018)
Heule, M.J.H., Kullmann, O., Marek, V.W.: Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. In: Creignou, N., Le Berre, D. (eds.) SAT 2016. LNCS, vol. 9710, pp. 228–245. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40970-2_15
Huang, P., Liu, M., Ge, C., Ma, F., Zhang, J.: Investigating the existence of orthogonal golf designs via satisfiability testing. In: Davenport, J.H., Wang, D., Kauers, M., Bradford, R.J., (eds.) Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, 15–18 July 2019, pp. 203–210. ACM (2019)
Huang, P., Ma, F., Ge, C., Zhang, J., Zhang, H.: Investigating the existence of large sets of idempotent quasigroups via satisfiability testing. In: Galmiche, D., Schulz, S., Sebastiani, R. (eds.) IJCAR 2018. LNCS (LNAI), vol. 10900, pp. 354–369. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94205-6_24
Knuth, D.E.: The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 2. Pearson Education India, Noida
Ma, F., Zhang, J.: Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. 56(3), 1–9 (2013)
Zhang, H.: Combinatorial designs by SAT solvers. In: Biere, A., Heule, M., van Maaren, H., Walsh, T., (eds.) Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pp. 533–568. IOS Press (2009)
Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I.S., Czarnecki, K., Ganesh, V.: Combining SAT solvers with computer algebra systems to verify combinatorial conjectures. J. Autom. Reason. 58(3), 313–339 (2017)
Acknowledgments
This work has been supported by the National Natural Science Foundation of China (NSFC) under grant No.61972384, and the Key Research Program of Frontier Sciences, Chinese Academy of Sciences under grant number QYZDJ-SSW-JSC036. Feifei Ma is also supported by the Youth Innovation Promotion Association CAS under grant No. Y202034. We thank professor Lie Zhu at SooChow university for suggesting these open problems and his valuable advice. We also thank the anonymous reviewers for their comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Jin, J., Lv, Y., Ge, C., Ma, F., Zhang, J. (2021). Investigating the Existence of Costas Latin Squares via Satisfiability Testing. In: Li, CM., Manyà, F. (eds) Theory and Applications of Satisfiability Testing – SAT 2021. SAT 2021. Lecture Notes in Computer Science(), vol 12831. Springer, Cham. https://doi.org/10.1007/978-3-030-80223-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-80223-3_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-80222-6
Online ISBN: 978-3-030-80223-3
eBook Packages: Computer ScienceComputer Science (R0)