Очевидно. Но неверно. Логика
- -
- 100%
- +
Найдём все варианты при первой цифре a от 1 до 4, последней 2a и средней b = 10 — 3a. Для a = 1 получаем b = 7 и код 172. Для a = 2 — 244. Для a = 3 — 316. Для a = 4 средняя цифра отрицательна, такой код невозможен. Значит, при этих условиях существуют три кода, а не один. Чтобы выделить единственный, нужно дополнительное ограничение.
Этот пример особенно полезен для расследования: версия может удовлетворять всем известным условиям и всё равно не быть единственной. Найти подходящего подозреваемого — не значит доказать, что подходит только он. И даже уникальность в неполной модели не заменяет проверку полноты модели.
Попробуйте дописать недостающее
В организации есть пять отделов и шесть проверяющих. Каждый проверяющий закреплён ровно за одним отделом. Докажите, что хотя бы в одном отделе закреплено не менее двух проверяющих. Если предположить, что в каждом не более одного, получится не более пяти проверяющих, что противоречит числу шесть. Это частный случай принципа Дирихле.
Что изменится, если проверяющему разрешено не быть закреплённым ни за одним отделом? Вывод больше не гарантирован: один может остаться без назначения. Если разрешено закрепление сразу за несколькими отделами, исходная простая интерпретация распределения меняется, хотя наличие шести реально закреплённых людей при пяти отделах можно обсуждать с уточнением назначения. В задаче существенны именно условия, а не знакомый запах ответа.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «Литрес».
Прочитайте эту книгу целиком, купив полную легальную версию на Литрес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.