если
Любое число вида
Для того чтобы
Если вы хотите проверить о помощью программы, что это свойство выполняется для любого нечетного
Но построить список априори, без вычеркиваний в более широком списке, так же трудно, как построить последовательность счастливых чисел…
Затем можно пытаться сделать еще один шаг: для любого не вычеркнутого
Конечно, это не доказывает общей теоремы: для любого
Вот, наконец, последнее свойство, которое вы должны уметь доказывать: не существует пар
Как бы то ни было, этого на сей раз недостаточно.
Но это полезно, чтобы увидеть, каким образом 3 играет существенную роль в этом деле…
Зашифрованные операции
Общая идея состоит в том, чтобы перепробовать все возможные комбинации, согласующиеся с условием, и сохранить только те из них, которые удовлетворяют предложенной операции.
Головоломка 8.
Пусть даны значения
Это — одно решение.
Но оно может потребовать много времени. Чтобы выиграть время, ограничьте возможные выборы. Очевидно, что значение SEND ограничено числом 9999, как и MORE, и поэтому значение MONEY не может превосходить 19998. Так как это — число из пяти цифр, то
Поставьте 1 на свое место:
S + 2 = 10 + O
(справа буква O, а не цифра ноль).
S + 2 может превосходить 9 только в случае, если S больше 7. Единственные возможные значения — это
S = 8, что дает букве O значение 0,
S = 9, что дает букве O значение 1.
Но 1 уже присвоено букве M. Следовательно, S = 8 и O = 0.
Метод, использованный в этом упражнении, имеет очень широкую область применения. Нужно исследовать все возможности, чтобы выявить те, которые удовлетворяют условию задачи. Мы упорядочиваем их таким образом, чтобы, переходя от одной комбинации к следующей, пересмотреть их все и притом по одному разу.
1. Берем первую комбинацию.
2. Испытываем ее. Если она удовлетворяет требованиям, запоминаем ее значение.
3. Если это — последняя комбинация, то все значения записаны и все кончено.
4. Если не последняя, то переходим к следующей комбинации и повторяем, начиная с пункта 2.
В данном случае — так как мы уже знаем значения букв S, O, M, остается только три еще не определенных значения: D, E, N. Для каждой из них берем постепенно возрастающие значения, изменяя их таким образом, чтобы сначала возрастало N при постоянных D и E. Затем меняется E при постоянном D (а N пробегает все возможные значения). Когда все возможные значения для E испытаны, мы переходим к следующему значению D.
Таким образом, D может принимать 7 значений.
Для каждого из них E может принимать 6 значений.
Для каждой такой пары N может принимать 5 значений.
Отсюда следует, что нужно перепробовать 7 ? 6 ? 5 = 210 значений, что совершенно не затруднит компьютер…