Learn More
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)
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)
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 [7] alternative operations were introduced, among which semi-splaying. On the one hand the analysis of semi-splaying gives a smaller(More)
We are interested in the exhaustive generation (up to isomorphism) by computer of all association schemes [1] (strongly regular graphs, distance regular graphs, ...) with a given parameter set. The generation algorithms require a recursive traversal of a tree-like search space. We use various pruning methods and heuristics to limit the size of the search(More)
  • 1