The terms of the two integer sequences below are equal for all such that , but equality is violated for this enormous value and, intermittently, for larger values of .

**Hypercube Tic-Tac-Toe**

The simple game of tic-tac-toe, or noughts and crosses, has been generalized in several ways. The number of cells in a row or column may be increased from 3 to some and the game-space may be increased from to dimensions. The objective of each player is to get co-linear cells. The generalized game of -tic-tac-toe has been studied to determine strategies for winning or forcing a draw.

Golomb and Hales (2002) analysed the general game and found conditions for the first player to win and for the second to force a draw. Their analysis involved a number

and they found a remarkable property relating to this sequence.

For increasing the power decreases towards and becomes large. Writing , expanding the exponential and using the binomial theorem, we can write

Omitting terms of order , we define

Since and are asymptotically close, we may expect their integer parts to be equal:

It is remarkable that this equation holds true for until reaches an enormous number, but is then violated intermittently for larger .

How can this happen? We note that both sequences are irrational (for ) and we have no reason to expect that for any . However, since they become closer in value with increasing their integer parts are equal for almost all . However, it may happen that the two quantities and , while very close in value, may fall on opposite sides of an integer so that the above equality fails. Remarkably, the first occasion for which this happens, is the enormous value .

The On-Line Encyclopedia of Integer Sequences (OEIS) has an entry (A129935) for numbers such that is not equal to . The first eight entries are given in Table 1.

**Artificial Examples**

It is easy to construct a pair of sequences with the above properties. We define

and denote the integer parts of these by

It is easy to see from the definition that

while for the two quantities are equal. We see a simple graph of for in the Figure below (left panel). The points where the difference is 1 are evenly spaced every units. This is because the functions and have rational slopes .

To illustrate what happens if the slope of the functions is no longer rational, we set , which is almost certainly an irrational number. The graph of for is shown in the Figure above (right panel).

It is clear that if is a very large irrational number, the spikes in the graph, or points where , will be few and far between. Of course, one may argue that this example is very artificial, whereas the sequence defined above arises in a “real-world ” context. This suggests that hypercube tic-tac-toe is a real-world issue!

**Sources**

Golomb, Solomon and Alfred Hales, 2002: Hypercube Tic-Tac-Toe. In *More Games of No Chance*, MSRI Publications, Vol. 42, 2002.

OEIS: The On-Line Encyclopedia of Integer Sequences. A129935: Numbers such that is not equal to .

You must be logged in to post a comment.