January 15th, 2015

moose, transparent

завещание калибана (задачка)

Изумительная логическая задачка, которая мне сегодня случайно попалась. Эту задачу придумал в 1930-х годах британский математик Макс Ньюман.

ЗАВЕЩАНИЕ КАЛИБАНА

Когда вскрыли завещание Калибана, в нем было написано следующее:

"Я завещаю моим друзьям A, B и C по десять книг из моей библиотеки. Пусть они выбирают книги в следующем порядке.

1) Видевшие меня в зеленом галстуке не могут выбрать раньше A.

2) Если B не был в Оксфорде в марте 1920 года, то тот, кто выбирает первый, никогда не одалживал мне зонтик.

3) Если B или C выбирает вторым, то C выбирает раньше того, кто первым влюбился."

К сожалению, оказалось, что A, B и C не помнят ни одного из нужных фактов; но тут семейный адвокат заметил, что если учесть, что головоломка составлена правильно - то есть в ней нет лишних утверждений - то можно выяснить, в каком порядке они должны выбирать.

В каком порядке должны выбирать A, B и C? Кто из них влюбился первым?

(какое-то время буду скрывать комментарии с правильными ответами)

Update: любопытно получается. Есть много правильных ответов, но судя по всему, они почти всегда получены путем неправильных аргументов. Многие просто дают ответ без подробностей, но там, где люди пишут аргументы, они чаще всего неверны. Я раскрыл несколько таких, чтобы подчеркнуть, что не работает. Одна из типичных ошибок: "лишнее условие" не означает, что если конечный ответ такой-то, то окажется, что это условие не дает о нем информации. "Лишнее условие" означает, что если бы его вообще не было, на основании остальных гипотетические A,B,C, у которых была хорошая память, пришли бы к правильному ответу и без него. Это очень разные вещи.

Пока что полностью аргументированное правильное решение дала только sthinks. Завтра днем открою все комментарии, напишу свой вариант решения в отдельной записи и еще немного о том, где я нашел эту задачу.

Update: все комментарии раскрыты. Подробное решение и обсуждение задачи в следующей записи.