Fifteen Puzzle, puzzle consisting of 15 squares, numbered 1 through 15, which can be slid horizontally or vertically within a four-by-four grid that has one empty space among its 16 locations. The object of the puzzle is to arrange the squares in numerical sequence using only the extra space in the grid to slide the numbered titles. The father of English puzzle-maker Sam Loyd claimed to have invented the Fifteen Puzzle about 1878, though scholars have documented earlier inventors.
The Fifteen Puzzle became popular all over Europe almost at once about 1880. It may overwhelm the reader to learn that there are more than 20,000,000,000,000 possible different arrangements that the pieces (including the blank space) can assume. But in 1879 two American mathematicians proved that only one-half of all possible initial arrangements, or about 10,000,000,000,000, admitted of a solution. The mathematical analysis is as follows. Basically, no matter what path it takes, as long as it ends its journey in the lower right-hand corner of the tray, any numeral must pass through an even number of boxes. In the normal position of the squares, regarded row by row from left to right, each number is larger than all the preceding numbers; i.e., no number precedes any number smaller than itself. In any other than the normal arrangement, one or more numbers will precede others smaller than themselves. Every such instance is called an inversion. For example, in the sequence 9, 5, 3, 4, the 9 precedes three numbers smaller than itself and the 5 precedes two numbers smaller than itself, making a total of five inversions. If the total number of all the inversions in a given arrangement is even, the puzzle can be solved by bringing the squares back to the normal arrangement; if the total number of inversions is odd, the puzzle cannot be solved. Thus, in part B of the figure there are two inversions, and the puzzle can be solved; in part C there are five inversions, and the puzzle has no solution. Theoretically, the puzzle can be extended to a tray of m × n spaces with (mn − 1) numbered counters.