Мартин Гарднер - Математические головоломки и развлечения

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

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

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

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

Просто лжец и «честный» лжец ответят «нет» и также отправятся в деревню. Лжец, любящий вводить своих собеседников в заблуждение, будет исходить из предпосылки о том, что путешественник тоже любит морочить головы доверчивым слушателям, и изберет тактику в соответствии с этим предположением. Движимый двумя противоположными мотивами, лжец может попытаться убить двух зайцев, ответив, например, так: «Бр-р! Я терпеть не могу пива!» — и тут же побежать в деревню. Хорошего логика этим не проведешь. Достаточно предусмотрительный лжец, поразмыслив, поймет неубедительность такого ответа и, быть может, из любви к искусству решит пожертвовать своими интересами и пойдет по неправильной дороге. Лжец одержит победу по очкам, но зато логик сможет по праву отпраздновать моральную победу, ибо лжец наказан: его теперь гложет подозрение, что он упустил бесплатное пиво.

5. Узнать содержимое всех коробок можно, вынув всего лишь один шар. Ключ к решению кроется в том, что все таблички на коробках не соответствуют их содержимому и вы об этом знаете.

Предположим, что шар извлекается из коробки с надписью «ЧБ».

Пусть вынут черный шар. Тогда вам ясно, что второй шар также черный, иначе табличка была бы правильной. Но раз вы нашли коробку с двумя черными шарами, вы сразу же можете назвать содержимое коробки с этикеткой «ББ»: в ней не могут находиться два белых шара, иначе табличка соответствовала бы содержимому коробки; в ней не могут находиться и два черных шара, поскольку вы уже нашли коробку с двумя черными шарами; таким образом, в ней должны быть один черный и один белый шар. В третьей коробке, естественно, должны быть два белых шара. Аналогичным образом задача решается и в том случае, если шар, вынутый из коробки с надписью «ЧБ», оказался не черным, а белым.

6. Решение головоломки опирается на маленькую хитрость в расписании поездов. Оно составлено так, что поезд, следующий в Бронкс, всегда прибывает на минуту позже бруклинского, в то время как интервалы движения обоих поездов одинаковы — 10 минут.

Отсюда ясно, что поезд в Бронкс прибудет раньше бруклинского только в том случае, если молодой человек явится на вокзал в течение этого минутного интервала. В любое же другое время (то есть в течение девятиминутного интервала) бруклинский поезд будет прибывать первым. Поскольку молодой человек приходит в совершенно произвольные моменты времени, он с вероятностью 0,9 отправляется в Бруклин.

7. Разрезать куб менее чем шестью распилами нельзя. Это становится ясным, если вспомнить, что у куба шесть граней. Каждый распил означает проведение плоскости, то есть при каждом распиле появляется не более одной новой грани куба. Чтобы выпилить маленький кубик в самом центре большого куба (это единственный кубик, у которого вначале нет ни одной готовой грани), нужно провести шесть распилов. Эту задачу придумал Ф. Хоуторн.

Кубы размером 2х2х2 и ЗхЗхЗ — единственные в том смысле, что, как бы вы ни складывали их части, прежде чем произвести очередной распил (разумеется, если при этом каждая часть куба где-то распиливается), все равно, пока кубы не распадутся на единичные кубики, первый придется пилить три раза, а второй — шесть.

Для куба 4x4x4 понадобится провести девять распилов, если его части все время будут составлять куб. Переставляя их перед каждым распилом, можно уменьшить число последних до шести.

Складывая куски куба, нужно следить за тем, чтобы каждый из них распиливался как можно ближе к середине, тогда число распилов будет минимальным. В общем случае для куба n х n х n минимальное число распилов равно Зк , где к определяется неравенством

2 k>= n > 2 k-1

В общем виде эта задача была поставлена Л. Р. Фордом и Д. Р. Фулкерсоном. Однако она представляет собой лишь частный случай более общей задачи, опубликованной Л. Мозером, о минимальном числе распилов, которые необходимо произвести, чтобы разрезать прямоугольный параллелепипед размером а х b х с на единичные кубики.