Computational and Constructive Design Theory

Over the last several years, there has been a significant increase in compu­ tational combinatorics. The most widely reported results were, of course, the proof of the Four Color Theorem and the proof that there is no projective plane of parameter 10. Although the computer was essential in both proofs, the only reason for this was the fact that life is short. The computations involved were not different in kind from those which have been done by human brains without electronic...
More Description

Over the last several years, there has been a significant increase in compu­ tational combinatorics. The most widely reported results were, of course, the proof of the Four Color Theorem and the proof that there is no projective plane of parameter 10. Although the computer was essential in both proofs, the only reason for this was the fact that life is short. The computations involved were not different in kind from those which have been done by human brains without electronic assistance; they were just longer. Another important fact to notice is that both problems were theoretical, pure­ mathematical ones. The pursuit of the Four-Color Theorem has led to the development of whole branches of graph theory. The plane of parameter 10 is not an isolated case; its nonexistence is the first (and so far, the only) coun­ terexample to the conjecture that the Bruck-Chowla-Ryser conditions were necessary and sufficient for the existence of a symmetric balanced incomplete block design; the study of this problem has also led to a number of theoretical advances, including investigation of the relationship between codes and designs.