Рассмотрим последовательности книг 1 + 14i, 2 + 14i, 3 + 14i, ... 14 + 14i, всего 14 последовательностей.
Если длина последовательности k = 2m, то книг по белой магии в ней может быть не более m, а если k = 2m + 1, то не более m + 1 (все книги по белой магии будут стоять на нечетных местах)
Определим сколько у нас будет последовательностей и какой длины.
Т.к. 666 = 14 * 47 + 8, то у нас 6 последовательностей длины 47 и 8 последовательностей длины 48. Всего книг по белой магии может быть:
Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.
Пронумеруем книги от 1 до 666.
Рассмотрим последовательности книг 1 + 14i, 2 + 14i, 3 + 14i, ... 14 + 14i, всего 14 последовательностей.
Если длина последовательности k = 2m, то книг по белой магии в ней может быть не более m, а если k = 2m + 1, то не более m + 1 (все книги по белой магии будут стоять на нечетных местах)
Определим сколько у нас будет последовательностей и какой длины.
Т.к. 666 = 14 * 47 + 8, то у нас 6 последовательностей длины 47 и 8 последовательностей длины 48. Всего книг по белой магии может быть:
K = 8 * 24 + 6 * 24 = 14 * 24 = 336
Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.