Spot-IT: Finite Geometry in Solitaire

• Spot-IT is a finite incidence structure modeled as a projective plane of order 7, where every two cards share exactly one symbol.
• The solitaire puzzle removes one symbol class to form an affine plane, arranging 49 cards in a 7×7 grid using modular arithmetic.
• The method reveals combinatorial symmetry and inverse reconstruction constraints, reducing countless layouts to a few valid solutions.

Spot-IT denotes the mathematical interpretation of Spot It! as a finite-incidence structure together with a solitaire reconstruction problem built from that structure. In the formulation of "Spot it(R) Solitaire" (Dietz, 2013), a standard deck is treated as a concrete realization of a finite projective plane of order 7: the full deck realizes projective incidence, while removing one symbol class yields an affine plane whose 49 remaining cards can be arranged in a $7\times 7$ square so that the geometry becomes visually explicit. The resulting problem is not a construction problem from first principles but an inverse problem: recover the solved geometric arrangement from a shuffled deck.

1. Finite-projective-plane interpretation

A standard Spot It deck has two defining incidence properties: each card has the same number of symbols, and any two distinct cards share exactly one symbol. In finite geometry, that is precisely the incidence behavior of a finite projective plane (Dietz, 2013).

For a projective plane of order $n$, the standard parameters are:

• number of points: $n^2+n+1$
• number of lines: $n^2+n+1$
• each line contains $n+1$ points
• each point lies on $n+1$ lines
• any two points determine a unique line
• any two lines meet in a unique point

In the order-7 Spot It case, this specializes to:

• $7^2+7+1 = 57$ points/symbols
• 57 lines/cards
• 8 symbols per card
• every pair of cards has exactly one common symbol

The deck can therefore be viewed as an incidence structure in which cards and symbols may be interpreted dually as lines and points. One common misconception is that Spot It is merely a fast visual matching game. The projective-plane reading shows that its defining rule is an exact finite-geometric constraint rather than an arbitrary design choice.

2. Passage to an affine plane

The solitaire construction proceeds by deleting one symbol class, called infinity, from the projective configuration. In finite geometry, a finite affine plane of order $n$ has:

• $n^2$ points
• $n^2+n$ lines
• $n$0 points on each line
• through each point there is a unique line in each parallel class

Such an affine plane can be obtained from a projective plane by deleting one line “at infinity” and the $n$1 points on it. In the card-deck language, one chooses an image and removes all cards containing it. For order 7, removing all cards containing a chosen symbol leaves 49 cards, and these are the cards placed into a $n$2 grid (Dietz, 2013).

The removed cards form the infinity set. Their role is structural rather than incidental: they encode the parallel classes of the affine plane. Conceptually, the cards containing the infinity symbol correspond to the lines at infinity in the projective completion of the affine plane, and each such card gathers together a set of mutually parallel affine lines.

This geometric interpretation explains why the deletion of one symbol is not an arbitrary filtering step. It is the precise projective-to-affine transition.

3. Grid rule and coordinatization

The key arrangement rule of the solitaire square is a coordinatized affine-incidence condition. If two cards are placed at positions

$n$3

then their common symbol must appear at

$n$4

This rule makes the affine structure visible in the $n$5 layout (Dietz, 2013). Several consequences follow directly:

• cards on the same row or same column share a common symbol
• triples of cards align so that the third card is determined by the first two
• the structure is stable under the arithmetic of $n$6

Because 7 is prime, every nonzero element in $n$7 is a generator, supporting the cyclic and linear patterns used in the arrangement. The paper suggests using one infinity card to control the rows and another to control the columns. This amounts to coordinatizing the affine plane by two transverse families of parallel classes.

The significance of the grid rule is that it converts an abstract incidence relation into a visibly checkable modular-arithmetic pattern. The $n$8 square is therefore not merely a convenient display format; it is a coordinatized model of the affine plane extracted from the deck.

4. Inverse reconstruction and symmetry constraints

The solitaire challenge begins with a deck that already exists and is shuffled. The goal is to reconstruct the affine-plane square rather than to create a deck already in solved position. The methodology described in the paper is:

1. Identify the deck structure as an order-7 projective plane.
2. Find the missing cards if necessary, using symbol frequencies.
3. Extract an infinity class by removing all cards with a chosen symbol.
4. Use two infinity cards to organize row and column directions.
5. Fix the diagonal by row/column permutations.
6. Determine the counterdiagonal using the symmetry constraints.
7. Finish by symmetry propagation. (Dietz, 2013)

In the author’s deck, two cards were missing. One symbol appeared 6 times, 14 symbols appeared 7 times, and the rest appeared 8 times; the twice-missing symbol must appear on both missing cards. This frequency argument is part of the inverse-engineering character of the puzzle.

The solved square uses the center card, the main diagonal, and the counterdiagonal as landmarks. By permuting rows and columns, one can arrange that a common symbol appears only on the main diagonal. The counterdiagonal is more constrained: once the diagonal and center are fixed, the counterdiagonal is essentially forced. The correct counterdiagonal symbol must be one of the symbols on the middle card, but after excluding the row, column, and diagonal symbol, only one choice works.

The paper also gives a detailed combinatorial count. Once the middle card is fixed and the diagonal is set, there are

$n$9

possible arrangements remaining, but only 6 valid solutions. There are 15 ways for the three nested square-pairings to interlace, corresponding to the 15 ways 6 elements can be paired into 3 pairs. After choosing the correct counterdiagonal square pattern, the remaining freedom reduces to

$n^2+n+1$0

and these 48 decompose as $n^2+n+1$1, where 6 comes from the placements of the square layers and $n^2+n+1$2 from 180-degree orientations of the three square blocks. Of those 48, only 6 are actual solutions.

The reconstruction then proceeds by propagating symbols through the grid using symmetry-preserving moves, such as swapping paired rows and corresponding columns while maintaining left-right and up-down symmetry. This is why the puzzle is solved by reasoning about incidence and symmetry rather than by brute-force search.

5. Decks beyond the projective-plane case

A broader combinatorial literature shows that not every Spot It-style deck need coincide with a finite projective plane. "On the existence of "Spot It!" decks that are not projective planes" studies decks in which every card has the same number of symbols and any two cards have exactly one symbol in common, while relaxing the hypothesis on the number of cards on which a symbol appears (Gouthier et al., 2022).

That paper studies symmetric decks, in which every symbol appears the same number of times, and introduces the concept of a maximal deck, together with a sufficient condition for maximality. It also produces examples of decks that do not correspond to projective planes. In the hierarchy stated there,

$n^2+n+1$3

This addresses another common misconception: the pairwise matching rule alone does not force the full projective-plane structure in every generalized deck model. In the standard order-7 Spot It deck analyzed in the solitaire paper, the projective-plane interpretation is exact; in the broader combinatorial setting, analogous deck axioms admit richer families.

6. Mathematical significance

The central mathematical insight of the solitaire formulation is that the full deck realizes a finite projective plane, removing one symbol class gives an affine plane, and the solved $n^2+n+1$4 layout makes that affine structure visible, while the diagonal and counterdiagonal symmetries reveal hidden projective symmetry (Dietz, 2013).

The challenge therefore has a dual status. It is, first, a card puzzle about rearranging a shuffled deck under strict matching constraints. It is, second, a concrete demonstration of finite geometry, parallel classes, modular arithmetic over $n^2+n+1$5, and highly structured combinatorial symmetry. This suggests a broader interpretation of Spot-IT as a research-adjacent example of how recreational artifacts can instantiate exact incidence-geometric objects.

In that sense, Spot-IT is best understood not as an isolated solitaire curiosity but as a compact model of projective and affine planes in which reconstruction, symmetry, and combinatorial counting are all directly accessible.