Как Жозефина догадалась, с кого ей следует начать счет, чтобы он закончился на милом ее сердцу Джордже?

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

Интересным обобщением задачи Иосифа Флавия был бы следующий карточный фокус, если бы вам удалось соответствующим образом расположить 13 карт пиковой масти. Сумеете ли вы это сделать?

Вот как должен был бы выглядеть этот фокус. В одну руку вы берете стопку карт вверх рубашкой. Отсчитав сверху 1 карту, вы кладете ее на стол и открываете. Перед вами туз пик. Затем вы отсчитываете сверху 2 карты, первую подкладываете снизу под стопку карт, которая у вас в руке, а вторую открываете и кладете на стол: перед вами двойка пик. Затем вы отсчитываете сверху 3 карты, подкладывая первые две в том же порядке, в каком вы их снимаете, под стопку карт снизу, а третью карту открываете и кладете на стол: перед вами тройка пик. Продолжая счет дальше, вы каждый раз перекладываете карты по одной сверху вниз (что эквивалентно счету по кругу в задаче Иосифа Флавия), а последнюю открываете и кладете на стол. В итоге на столе оказываются выложенными по порядку все 13 карт пиковой масти от туза до короля.

Карты в стопке должны лежать в следующем порядке (сверху вниз): туз, восьмерка, двойка, пятерка, десятка, тройка, дама, валет, девятка, четверка, семерка, шестерка, король.

Может быть вам покажется, что выстроить такую последовательность удалось лишь методом проб и ошибок после многих безуспешных попыток. Вы глубоко заблуждаетесь: для получения таких последовательностей существует очень простой алгоритм. Многие фокусники, разрабатывая трюки такого рода, действительно немало времени проводят в раздумьях над тем, как расположить карты, пока внезапная догадка не превратит задачу, над решением которой они безуспешно бились не один день, в тривиальную. Удастся ли вам разгадать, как строится последовательность в задуманном нами фокусе в духе Иосифа Флавия, прежде чем вы заглянете в ответ, помещенный в конце книги.

В этой главе нас будет интересовать не формальная логика, а задачи, для решения которых не нужны особые познания в математике, но необходимо умение мыслить последовательно. Некоторые из предлагаемых нами задач напоминают загадки в том смысле, что содержат умышленно введенные в их условия утверждения, способные «сбить с толку» не слишком проницательного читателя, или решения, основанные на игре слов, но в большинстве случаев мы предлагаем вам честную игру — задачи, которые имеют решение.

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

Под «трудной проблемой» мы понимаем здесь задачу, подход к решению которой неизвестен. Разумеется, если алгоритм решения существует, то ни о какой по-настоящему трудной проблеме не может быть и речи: достаточно лишь засыпать зерна исходных данных и привести в действие жернова алгоритма, как мы получим ответ. Например, памятная всем формула корней квадратного уравнения говорит нам о том, какие действия и в какой последовательности необходимо произвести над коэффициентами уравнения, чтобы найти его корни.

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

Некоторые задачи в этой главе связаны с серьезной математикой еще более тесными узами. Например, задача «В костюмах одного цвета» и следующая за ней задача легко решаются табличным методом, аналогичным широко используемому в формальной логике методу таблиц истинности. В одной из этих задач встречается важное логическое отношение — так называемая «материальная импликация». В исчислении высказываний (одном из разделов математической логики, имеющем первостепенное значение) импликацию принято обозначать знаком или ->. Отношение A B означает, что если A истинно, то B должно быть истинно. Одно из возможных истолкований этого логического отношения (на языке теории множеств) гласит: все элементы множества B содержатся в множестве A.