Showing 1–2 of 2 results for author: Stewart, D I

Applying constraint programming to minimal lottery designs

Authors: David Cushing, David I. Stewart

Abstract: We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls. We develop and deploy a set of constraints for the purpose of calculating minimal sizes of lottery designs. Specifically, we find the minimum number of tickets of size six which are needed to match at least two balls on any draw of size six, whenever there are at most 70 balls. △ Less

Submitted 17 June, 2024; v1 submitted 23 July, 2023; originally announced July 2023.

Comments: 21 pages; to appear in Constraints

MSC Class: 05B30;

A Prolog assisted search for new simple Lie algebras

Authors: David Cushing, George W. Stagg, David I. Stewart

Abstract: We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapol… ▽ More We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $\GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known. △ Less

Submitted 15 January, 2023; v1 submitted 3 July, 2022; originally announced July 2022.

Comments: 47 pages