Есть 100 внешне неразличимых монет трёх типов: золотые, серебряные и медные (каждый тип встречается хотя бы раз). Известно, что золотые весят по 3 грамма, серебряные — по 2 грамма, медные — по 1 грамму. Как на чашечных весах без гирек гарантированно определить тип у всех монет не более, чем за 101 взвешивание?
(Владислав Новиков)
I способ. (А. Шаповалов) Назовём ситуацию победной, если проведено не более чем взвешивание и определены веса k монет, причём среди них есть серебряная или две медных. В победной ситуации, сравнивая неизвестную монету с весом 2 г, мы определим её вес, увеличив число известных монет и число взвешиваний на единицу и так определим все монеты не более чем
В каждый момент будем сравнивать число затронутых (участвовавших во взвешиваниях) монет числом взвешиваний Сначала выделим одну монету и будем сравнивать незатронутые монеты с ней, пока не найдём монету другого веса. Пусть A более лёгкая, а B — более тяжёлая из затронутых монет. Далее сравниваем незатронутые монеты с B, пока снова не получим неравенство. Теперь у нас есть одна или несколько монет одинакового веса a, одна или несколько монет другого веса и одна монета C веса Сравним C с A. Возможны два случая.
1) Если Сравним B с то есть b с Возможны варианты: (если Во всех случаях ситуация победная: веса z монет определены и есть нужные монеты (с общим весом 2).
2) Если Значит, a, b, c — три разных веса, они как-то упорядочены или поэтому определены однозначно. При этом
Замечание. При определенных условиях некоторые взвешивания можно не проводить: например, если C тяжелее B, то
II способ. (A. Рябичев) Сначала докажем по индукции следующее вспомогательное
утверждение 1. Пусть есть k монет, среди которых все три типа представлены, причём про пару
База. Если монет три, сравнив оставшуюся монету с A и с a, мы упорядочим их по весу.
Шас. Сравним какие-нибудь две монеты, кроме A и a. Если они равны, то одну можно отбросить (запомнив, с какой она совпадает по весу), и воспользоваться предположением индукции для монеты.
Если они не равны, скажем что получилась пара Теперь сравним и Если веса пар равны, то и так что мы можем выкинуть B и b (запомнив, что они совпадают по весу с A и a), и воспользоваться предположением индукции для монет.
Пусть веса пар различны, для определённости, Заметим, что при этом обязательно и Монеты в паре имеют либо веса
Утверждение 2. Если есть k монет, среди которых все три типа представлены, то можно определить, какая монета какого типа, за k взвешиваний.
База. Если монет три, то, сравнив каждую с каждой, мы упорядочим их по весу.
Шаг. Сравним какие-нибудь две монеты. Если они равны, то одну можно отбросить (запомнив, с какой она совпадает по весу), и мы переходим к случаю монеты, среди которых все типы представлены. Если они не равны, скажем что образовалась пара и воспользуемся утверждением.
Замечание. Мы сделали на одно взвешивание меньше, чем предполагалось в условии. Кроме того, мы использовали только то, что сумма весов двух серебряных монет равна сумме весов медной и золотой; тот факт, что серебряная монета вдвое тяжелее медной, для данного решения не важен.