Verbal arithmetic

From Wikipedia, the free encyclopedia

Verbal arithmetic, also known as alphametics, cryptarithmetic, crypt-arithmetic, or cryptarithm, is a type of mathematical game consisting of a mathematical equation among unknown numbers, whose digits are represented by letters. The goal is to identify the value of each letter.

The equation is typically a basic operation of arithmetic, such as addition or multiplication. The classic example, published in the July 1924 issue of Strand Magazine by Henry Dudeney, is:

    S E N D
+   M O R E
= M O N E Y

The solution to this puzzle is O = 0, M = 1, Y = 2, E = 5, N = 6, D = 7, R = 8, and S = 9.

Traditionally, each letter should represent a different digit, and (as in ordinary arithmetic notation) the leading digit of a multi-digit number must not be zero. The puzzle should have a unique solution.

1 History
2 Solving cryptarithms
3 See also
4 References
5 External links

[edit] History

Verbal arithmetic puzzles are quite old and their inventor is not known. An example in The American Agriculturalist of 1864 largely disproves the popular notion that it was invented by Sam Loyd. The name crypt-arithmetic was coined by puzzlist Minos (pseudonym of Maurice Vatriquant) in the May 1931 issue of Sphinx, a Belgian magazine of recreational mathematics. In the 1955, J. A. H. Hunter introduced the word "alphametic" to designate cryptarithms, such as Dudeney's, whose letters form meaningful words or phrases.

[edit] Solving cryptarithms

Solving a cryptarithm by hand usually involves a mix of clever deductions and exhaustive tests of possibilities. For instance, in Dudeney's example, one can immediately conclude that the leading M of the result is 1, since it is the only carry-over possible in the sum of two numbers. It follows that S=8 or S=9, because those are the only values that can produce a carry when added to M=1 (and possibly a carry). And so on.

The use of modular arithmetic often helps. For example, use of mod-10 arithmetic allows the columns of an addition problem to be treated as simultaneous equations, while the use of mod-2 arithmetic allows inferences based on the parity of the variables.

In computer science, cryptarithms provide good examples for the backtracking paradigm of algorithm design. They also provide a pedagogical application for algorithms that generate all permutations (reorderings) of n given things.