Showing 1–2 of 2 results for author: Djokovic, D Z

A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples

Authors: Curtis Bright, Dragomir Z. Djokovic, Ilias Kotsireas, Vijay Ganesh

Abstract: We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all o… ▽ More We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all odd orders. Additionally, we prove a new relationship between the entries of good matrices and exploit this relationship in our enumeration algorithm. Our method applies the SAT+CAS paradigm of combining computer algebra functionality with modern SAT solvers to efficiently search large spaces which are specified by both algebraic and logical constraints. △ Less

Submitted 12 November, 2018; originally announced November 2018.

Periodic complementary sets of binary sequences

Authors: Dragomir Z. Djokovic

Abstract: Let PCS_p^N denote a set of p binary sequences of length N such that the sum of their periodic auto-correlation functions is a delta-function. In the 1990, Boemer and Antweiler addressed the problem of constructing such sequences. They presented a table covering the range p <= 12, N <= 50 and showing in which cases it was known at that time whether such sequences exist, do not exist, or the ques… ▽ More Let PCS_p^N denote a set of p binary sequences of length N such that the sum of their periodic auto-correlation functions is a delta-function. In the 1990, Boemer and Antweiler addressed the problem of constructing such sequences. They presented a table covering the range p <= 12, N <= 50 and showing in which cases it was known at that time whether such sequences exist, do not exist, or the question of existence is undecided. The number of undecided cases was rather large. Subsequently the number of undecided cases was reduced to 26 by the author. In the present note, several cyclic difference families are constructed and used to obtain new sets of periodic binary sequences. Thereby the original problem of Boemer and Antweiler is completely solved. △ Less

Submitted 13 April, 2008; v1 submitted 31 July, 2007; originally announced August 2007.

Comments: 10 pages, 1 table. Substantial revision and simplification. Submitted to IEEE Trans. Inform. Theory

Journal ref: International Mathematical Forum 4 (2009), no. 15, 717-725.