Кхолмсу пришли 25 рыцарей и лжецов, но рыцарей было больше. холмс, зная это, может задавать любому вопрос типа: "кто такой-то : рыцарь или лжец? " как холмсу узнать, кто есть кто, за 24 вопроса?
Выберем одного из 25 пришедших. Тогда среди оставшихся 24 либо рыцарей больше, чем лжецов, либо их поровну. Будем спрашивать каждого из этих 24 относительно одного из выбранных. Все лжецы дают одинаковые ответы и все рыцари дают одинаковые ответы, ответы рыцарей и лжецов различны. Поэтому если какой-то ответ преобладал, то этот ответ давали рыцари, противоположный ответ давали лжецы, а так как рыцари говорят правду, то преобладающий ответ был правдой. Значит за 24 вопроса мы все определили. Если ответов было поровну, то среди этих 24 одинаковое количество рыцарей и лжецов, а значит выбранный - рыцарь. Тогда те, кто ответил "рыцарь" - рыцари, а кто ответил "лжец" - лжецы. Мы вновь за 24 вопроса узнали все, что было необходимо.
Будем спрашивать каждого из этих 24 относительно одного из выбранных.
Все лжецы дают одинаковые ответы и все рыцари дают одинаковые ответы, ответы рыцарей и лжецов различны.
Поэтому если какой-то ответ преобладал, то этот ответ давали рыцари, противоположный ответ давали лжецы, а так как рыцари говорят правду, то преобладающий ответ был правдой. Значит за 24 вопроса мы все определили.
Если ответов было поровну, то среди этих 24 одинаковое количество рыцарей и лжецов, а значит выбранный - рыцарь. Тогда те, кто ответил "рыцарь" - рыцари, а кто ответил "лжец" - лжецы. Мы вновь за 24 вопроса узнали все, что было необходимо.