Практикум, первый год: Арифметические операции и строки

Запыхавшись, Ватсон забегает в самый дальний зал и видит, как Холмс убирает свою трубку.

– Размышляли, Шерлок? - спросил Ватсон.

– Да, в начале у меня было 102837432218 предположений! - воскликнул Холмс.

Доктор знает, что в начале Холмс формулирует базовые предположения . После этого происходит следующий процесс: Холмс разбивает все предположения на пары, из каждой пары отбрасывает наименее вероятное предположение (предположения таковы, что всегда есть наименее вероятное). Если какому-то предположению не хватает пары, то Холмс его оставляет для рассмотрения. Этот алгоритм происходит до того момента, пока не останется одно единственное предположение.

Педантичный Холмс также привык считать количество логических выводов, которое он сделал. Так, например, если рассматриваются 12-ое и 16-ое предположение и отбрасывается 16-ое, то Холмсом совершён один логический вывод. Если, например, 218-ому предположению не хватило пары, то Холмс оставляет его для рассмотрения, но, конечно, не считает это действие за логический вывод. Более того, последний вывод Холмс проверяет дважды.

Ватсон пишет блог о приключения с Шерлоком Холмсом, где всегда указывает количество базовых предположений (а это обычно астрономическое число!), а затем количество логических выводов, которые сделал Шерлок. И тут доктору пришла в голову гениальная идея: «А не написать ли программу, которая будет сама считать количество логических выводов, а то каждый раз ошибаюсь!». Но сам Ватсон программировать не умеет, но знает, что у него есть друг, на которого всегда можно положиться — Вы!