Area
Combinatorial Computing, Algorithms, Cryptography, Complexity
The specific problems of particular interest are algorithms
for hard problems like: Ramsey numbers, combinatorial designs,
arithmetic of large integers, tests for primality, factoring
into primes and other combinatorial problems in graph theory.
The general problems of particular interest are in the complexity
of algorithms, hierarchies of complexity classes and related areas,
such as P=NP conjecture.
My past and current projects are best clustered into the domains:
Ramsey numbers 
graph theory 
applied cryptography 
combinatorial designs 
miscellaneous.
Main Results
I was fortunate to obtain some interesting results in computational
discrete mathematics, of which the most cherished are:

1986, the discovery of the first simple 6(14,7,4) design,
the smallest possible 6design
jointly with Don Kreher
[101],
[92].

1990, the computation of the first classical Ramsey number for
hypergraphs R(4,4;3) = 13
jointly with Brendan McKay
[84].

1993, 1995, the computation of the classical Ramsey number for graphs
R(4,5) = 25
[77],
and the upper bound R(5,5) <= 49
[74]
jointly with Brendan McKay.

1995, computational proof of the nonexistence of 4(12,6,6) designs
answering the last open existence question in design theory
for at most 12 points
jointly with Brendan McKay
[76].

1998, the computation of the smallest unknown Folkman number F(3,3;5) = 15
jointly with Konrad Piwakowski and Sebastian Urbanski
[71].

2001, an upper bound for the 4color Ramsey number R(3,3,3,3) <= 62
jointly with Susan Fettes and Richard Kramer
[66].

2004, general and computational constructive lower bounds for
classical twocolor [64] and multicolor
[62] Ramsey numbers
jointly with Xu Xiaodong, Xie Zheng and Geoffrey Exoo.

2006, (22,8,4)designs do not exist [58]
jointly with Richard Bilous, Clement W. H. Lam, Larry H. Thiel, (Ben) P. C. Li,
G. H. John van Rees, Wolfgang Holzmann and Hadi Kharaghani.

2009, 2011, progress on graph reconsruction conjecture for vertex and edge deleted cards,
existential and universal reconstruction numbers for up to 11 vertices
jointly with David Rivshin [49],
[43].

2011, 2012, more constructive lower bounds for
classical Ramsey numbers [39]
and their relation to Shannon capacity of noisy channels
[32]
jointly with Xu Xiaodong.

2013, progress on bounds for Ramsey numbers R(3,k)
[33]
and R(3,Kke)
[29]
jointly with Jan Goedgebeur.

2016, on R(3,k+1)R(3,k)
[16]
jointly with Rujie Zhu and Xiaodong Xu.
CPU intensive computations on networked computers are an essential tool
and an object of study for most researched problems, including those
listed above.
back to spr's main page