The word configuration is sometimes used to describe a finite collection of points , , where is a Euclidean space.
The term "configuration" also is used to describe a finite incidence structure with the following properties (Gropp 1992).
1. There are points and lines.
2. There are points on each line and lines through each point.
3. Two different lines intersect each other at most once and two different points are connected by a line at most once.
The conditions
are necessary for the existence of a configuration. For , these conditions are also sufficient, and for this is probably also the case (Gropp 1992). The necessary conditions hold, but there is no . For and 7, the above conditions are not sufficient, as illustrated by the affine projective plane of order 6 (, ) and the projective plane .
Configurations are among the oldest combinatorial structures, having been defined by T. Reye in 1876. An -regular graph can be regarded as a configuration by associating nodes with the points, and edges with the lines.
A symmetric configuration consists of lines and points arranged such that lines pass through each point and there are points on each line. All symmetric configurations are known for (Betten et al. 2000). The number of , , , ... configurations are 1, 1, 3, 10, 31, 229, 2036, 21399, 245342, ..., correcting an error of von Sterneck for (OEIS A001403; Sterneck 1894, 1895; Wells 1991, p. 72; Colbourn and Dinitz 1996; Gropp 1997; Hilbert and Cohn-Vossen 1999).
The Fano plane, in which the central point corresponds to the point at infinity, is the unique configuration. It is realizable over the Galois field of order 2 , but not over the real or rational numbers (Gropp 1997). There are no configurations using points all at finite distances (Wells 1986, p. 75).
There are no configurations using points all at finite distances (Wells 1986, p. 75), but a single configuration exists with a point at infinity (Kantor 1891). This is known as the Möbius-Kantor configuration (Pisanski and Randić 2000).
Kantor (1891) showed that there are three configurations, of which the Pappus configuration (left figure) is one (Coxeter 1950; Wells 1986, p. 75). The other two consist of embedded equilateral triangles (Wells 1991, pp. 159-160).
Kantor (1881) proved that there are exactly 10 configurations , of which the Desargues configuration, illustrated above, is one. However, while not explicitly commented upon in paper, Kantor's contained a line which consists of two line segments oriented in slightly different directions. Schroeter (1889) subsequently proved that exactly one of these configurations cannot be drawn in the real or rational planes (Gropp 1997).
There are 31 configurations (Gropp 1997), as constructed by Martinetti (1887) using recursive construction method, which were subsequently realized in the plane by Daublebsky von Sterneck (1895), though the proof that all are realizable came only with the work of Sturmfels and White (1990). Page and Dorwart (1984) discuss the 31 configurations (Wells 1991, p. 63).
There are 229 configurations , 228 of which had been found by Daublebsky von Sterneck (1895), with the missing one not found until the work of Gropp (1991). One of the configurations is sometimes known as the Coxeter configuration, although it is perhaps better to refer it the Nauru configuration based on its Levi graph (which is the Nauru graph). Coordinates for realizations of all and configurations appeared in an appendix to Crapo et al. (1988).
The Coxeter configuration is a configuration whose Levi graph is the Foster graph .
The Cremona-Richmond configuration, illustrated above, is one of the 245342 configurations.
There is a configuration known as the Cox configuration.
The following table summarizes the Levi graphs of some names configurations.