Есть идея!

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

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

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

Глава 4 Логические находки

Неожиданные решения задач, требующих умения мыслить последовательно

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

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

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

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

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