Жак Арсак - Программирование игр и головоломок

Два знака «+» и «−», так что снова двоичная система. Вы можете воспользоваться этим замечанием при составлении программы. Меняем целое число от нуля до 2 p −1. Для каждого из значений рассматриваем его двоичное представление. Ставим в выражении «+» на тех местах, где стоят нули, и «−» на местах, где стоят единицы. Но в этом таится опасность побудить некоторых написать программу на языке ассемблера, что было бы ошибкой (по моему мнению. Вы тогда сплутовали бы. Есть хорошие алгоритмы на развитом языке. Не меняйте условий задачи, выписывая алгоритм, который оказался бы необъяснимым).

Вы можете также — и это, конечно, более эффективный способ — поставить знаки «+» в начале выражения и исчерпать все комбинации с тем, что осталось, затем заменить последний знак «+» на «−» и т. д, С четырьмя числами вы получите последовательно:

+++

++−

+−+

+−−

−++

−+−

−−+

−−−

Состояние знаков хранится в таблице или в цепочке.

Заметьте, что рассматриваемая задача имеет простое рекурсивное решение. Достаточно испробовать две комбинации:

a 1+ — любая комбинация, которая может быть составлена из p − 1 оставшихся шашек,

a 1− — любая комбинация, которую можно составить из оставшихся шашек.

Должно получиться:

s = a 1+ — комбинация из n − 1 чисел или

s = a 1− — комбинация из n − 1 чисел.

Заметим, что разность нужно брать по абсолютному значению.

Таким образом, остается искать способ представления s + a 1или s − a 1помощью n − 1 оставшихся шашек. Такую процедуру легко написать. Таблица чисел может быть глобальной величиной. Чтобы сохранять только n − 1 чисел, кроме первого, достаточно сказать, что таблица рассматривается, начиная с индекса 2. Следовательно, нужна процедура, в которой в качестве параметров берутся:

индекс, начиная с которого должны рассматриваться числа,

сумма, которую нужно найти.

Итеративные формы программы, которые вы сможете написать, суть немедленные переводы на итеративный язык этой рекурсивной формы.

Головоломка 28.

Решение, набросок которого я привожу здесь, принадлежит не мне. Я нашел его вышедшим из-под пера Николь Брео Поликен и Оливера Герца в журнале «Персональный компьютер» (Lʼordinateur individuel) за март 1983 г.

Однако я должен сознаться, что это решение меня глубоко поразило. Программа была действительно очень хорошо написана на языке Паскаль и с большим мастерством были использованы свойства вложения процедур, которые давали возможность формальные параметры или локальные переменные некоторые из этих процедур рассматривать как глобальные параметры для других процедур.

Я переписал это решение практически без изменений на LSE83 (намного более структурированная форма LSE, соединяющая преимущества структурирования языка Паскаль с возможностями манипуляций с цепочками символов, имеющихся в LSE, и, сверх того, облегчением программирования сверху вниз), и результат немедленно оказался удовлетворительным. Все это служит прославлению авторов. Как же могло тогда случиться, что пояснения, которые авторы дают к своей программе, до такой степени недоступны пониманию, что мне потребовался большой труд, чтобы достичь понимания их метода? Там, действительно, есть две или три «хитрости», которые гораздо больше заслуживали комментария, чем тот факт, что из-за рекурсии результаты записываются в порядке, обратном порядку их получения…

Сохраним предположения работы этих авторов, приведенные в условиях задачи. Зачем от них отказываться? Например, такая комбинация, как

n = p 1* p 2+ p 3* p 4− p 5/ p 6

не сводится ни к одной из предложенных форм.

Программа, написанная авторами, рекурсивна, но ее читателю доставляют затруднения две особенности ее написания:

— как я уже указывал, некоторые переменные, являющиеся локальными в одной процедуре, глобальны в другой… Конечно, это может быть обнаружено при внимательном чтении текста, но это и требует внимания;

— некоторые процедуры мультиформны и дают совершенно различные результаты в зависимости от значений формальных параметров.

Вернемся к задаче в той форме, в какой она была поставлена. Что нужно делать?

Сначала пройдем по таблице шашек от 1 до 6. Для каждой шашки p i посмотрим, делится ли n на p i . Если да, то нужно решать меньшую задачу: образовать число n / p [ i ] с помощью пяти шашек, получаемых удалением шашки i из набора. Если n не делится ни на одну из шашек или если поиск шашки, на которую делится n , потерпел неудачу, то для каждой шашки i ищем решение задачи: образовать n + p [ i ] или n − p [ i ] с помощью 5 шашек, получаемых изъятием шашки i из набора. Но здесь мы довольствуемся решением, которое должно иметь вид произведения одной из шашек на комбинацию четырех остальных.

Цитируемые здесь авторы решают эту задачу изъятия некоторых шашек из набора переписыванием начальной таблицы шашек в другую, перепрыгивая через шашки, подлежащие изъятию,

Я действую по-другому. Я помещаю 6 шашек в таблицу из 6 чисел, скажем a . В начале они упорядочены и расположены в неубывающем порядке. Чтобы изъять шашку из этого множества, мне достаточно переставить ее с шестой шашкой, а затем работать с первыми 5 элементами таблицы a . Таким образом, я создаю две процедуры: процедуру

П ( p , x ),

которая ищет способ представить x с помощью p первых значений таблицы a , причем это решение должно иметь вид произведения одной из шашек на некоторую комбинацию остальных (П поставлено для решения в виде Произведения);

процедуру

О ( p , x ),

которая ищет решения задачи о формировании x из p первых шашек, в котором результат имеет какую-нибудь из форм, предложенных в формулировке задачи (О — от Общее),

Программа довольствуется чтением 6 шашек (в порядке возрастания) и числа n , которое нужно найти, а затем вызывает О (6, n ).

Вся задача состоит в том, чтобы поддерживать часть таблицы от 1 до p в неубывающем порядке. Это нетрудно. Вот схематическое описание процедуры П. В нем t является глобальной булевой переменной, которой присвоено начальное значение ЛОЖЬ.

П ( p , x )

ЕСЛИ p < 3 ТО упрощенная форма;

КОНЧЕНО КОНЕЦ_ЕСЛИ

i := p

ВЫПОЛНЯТЬ

ЕСЛИ x = a [ p ] ТО ИСТИНА; КОНЧЕНО

КОНЕЦ_ЕСЛИ

up := x / a [ p ]; u = целая_часть( up )

ЕСЛИ u = up ТО О ( p − 1, u );

ЕСЛИ t ТО ВЫВЕСТИ u , '*', а [ р ], '=', x