Using two backtrack algorithms based on different techniques, designed and implemented independently, we were able to determine up to isomorphism all strongly regular graphs with parameters v = 45, k = 12, λ = µ = 3. It turns out that there are 78 such graphs, having automorphism groups with sizes ranging from 1 to 51840.
By means of an exhaustive computer search we have proved that the strongly regular graphs with parameters (v, k, λ, µ) are unique upto isomorphism. Each of these graphs occurs as an induced subgraph in the strongly regular McLaughlin graph. We have used an orderly backtracking algorithm with look-ahead and look-back strategies, applying constraints based on… (More)
SUMMARY Splay trees are widely considered as the classic examples of self-adjusting binary search trees and are part of probably every course on data structures and algorithms. Already in the first seminal paper on splay trees  alternative operations were introduced, among which semi-splaying. On the one hand the analysis of semi-splaying gives a smaller… (More)
During the past few years we have obtained several new computer classification results on association schemes and in particular distance regular and strongly regular graphs. Central to our success is the use of two algebraic constraints based on properties of the minimal idempotents E i of these association schemes : the fact that they are positive… (More)