Рис. 140 Таблицы, изображенные на рис. 139, после предварительного заполнения.

Теперь уже нетрудно продолжить рассуждения, приводящие к окончательному ответу. В столбце с надписью «Кочегар» единицу можно поставить только в нижней клетке. Отсюда сразу следует, что в левом нижнем углу должен стоять 0. Пустой остается лишь клетка в левом верхнем углу таблицы, куда можно поставить только 1. Итак, фамилия машиниста Смит.

Чрезвычайно сложные и хитроумные задачи такого рода любил изобретать Льюис Кэрролл. Декан математического факультета Дортмутского колледжа Джон Дж. Кемени запрограммировал одну из чудовищных (с 13 переменными и 12 условиями, из которых следует, что «ни один судья не нюхает табак») кэрролловских задач для компьютера IBM-704. Машина справилась с решением примерно за 4 минуты, хотя распечатка полной «таблицы истинности» задачи (таблицы, показывающей, истинны или ложны возможные комбинации значений истинности переменных задачи) заняла бы 13 часов!

Читателям, которые хотят попытать счастья в решении более сложной задачи, чем задача о Смите—Джонсе — Робинсоне, предлагаем новую головоломку. Ее автор Р. Смаллиан из Принстонского университета.

1. В 1918 году закончилась первая мировая война. В день подписания мирного договора три супружеские пары собрались, чтобы отпраздновать это событие за праздничным столом.

2. Каждый муж доводился братом одной из жен, а каждая жена была сестрой одного из мужей, то есть среди присутствующих можно было указать три родственные пары «брат с сестрой».

3. Элен ровно на 26 недель старше своего мужа, который родился в августе.

4. Сестра м-ра Уайта замужем за свояком брата Элен и вышла за него замуж в день своего рождения, в январе.

5. Маргарет Уайт ростом ниже Уилльяма Блейка.

6. Сестра Артура красивее, чем Беатрис.

7. Джону исполнилось 50 лет.

Как зовут миссис Браун?

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

[Задача о мудрецах в зеленых колпаках сформулирована в тексте так, что она не может иметь решения. Это особенно хорошо видно, когда число мудрецов велико. Сколько времени понадобится первому мудрецу, чтобы догадаться об истинной ситуации?

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

В древние времена в одном городе жили мудрецы. У каждого из них была жена. По утрам они приходили на базар и узнавали там все городские сплетни. Они и сами были сплетниками. Им доставляло большое удовольствие узнать о неверности какой-либо из жен — узнавали они об этом тотчас. Однако одно негласное правило соблюдалось неукоснительно: мужу о его жене никогда ничего не сообщалось, так как каждый из них, узнав о собственном позоре, выгнал бы свою жену из дому. Так они и жили, получая удовольствие от задушевных бесед и оставаясь в полном неведении относительно собственных дел.

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

Рассуждения мудрецов восстановить нетрудно. Труднее ответить на вопрос: какую же информацию добавил сплетник к той, которая была известна мудрецам и без него?

Эта задача неоднократно встречалась в литературе].

С спрашивает себя, может ли его колпак быть зеленым. Если бы это было так, то А сразу же узнал бы, что на нем красный колпак, потому что только красный колпак на его голове мог бы заставить В поднять руку. Но тогда А вышел бы из комнаты. В стал бы рассуждать точно так же и тоже вышел бы из комнаты. Поскольку ни тот, ни другой не вышли, С заключил, что его собственный колпак должен быть красным.

Эта задача допускает обобщение на случай, когда имеется любое число людей и на всех на них надеты красные колпаки. Предположим, что в задаче появилось четвертое действующее лицо D, еще более проницательное, чем С. D мог бы рассуждать так: «Если бы мой колпак был зеленым, то А, В и С оказались бы точно в такой же ситуации, какая только что была описана, и через несколько минут самый догадливый из трио непременно вышел бы из комнаты.

Но прошло уже пять минут, а никто из них не выходит, следовательно, мой колпак красный».

Если бы появился пятый участник, еще более сообразительный, чем D, то он смог бы прийти к заключению, что на нем красный колпак, выждав минут десять. Разумеется, наши рассуждения теряют в убедительности из-за предположений о различной степени сообразительности А, В, С… и довольно смутных соображений относительно того, сколько времени должен выжидать наиболее догадливый человек, прежде чем он сможет с уверенностью назвать цвет своего колпака.

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

Берем четыре красные и четыре зеленые марки, завязываем нашим «логикам» глаза и каждому из них наклеиваем на лоб по две марки. Затем снимаем с их глаз повязки и по очереди задаем А, В и С один и тот же вопрос: «Знаете ли вы, какого цвета марки у вас на лбу?» Каждый из них отвечает отрицательно. Затем мы спрашиваем еще раз у А и снова получаем отрицательный ответ. Но когда мы вторично задаем тот же вопрос В, тот отвечает утвердительно.

Какого цвета марки на лбу у В?

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

Систематический подход к решению заключался бы в выписывании всех четырех возможностей: ИИ, ИЛ, ЛИ, ЛЛ (И означает «истина», Л— «ложь») — и исключении тех из них, которые противоречат данным задачи. Ответ можно получить гораздо быстрее, если заметить, что высокий туземец должен ответить утвердительно независимо от того, лжет ли он или говорит правду. Поскольку туземец поменьше ростом сказал правду, он должен принадлежать к племени правдивых, а его высокий приятель — к племени лжецов.