Процессы и алгоритмы

Пусть — наибольшая степень двойки, использованная при наборе камней хотя бы в одной коробке к финалу. Тогда в каждой коробке итоговое число камней удовлетворяет , а суммарно по всем коробкам камней не меньше

За один ход суммарное число камней увеличивается не более, чем на

Пусть было сделано ходов. Отсюда имеем неравенство

откуда после деления на очевидно следует, что

Пример. Делаем ходов; в каждом ходе одновременно кладём по одному числу из набора в разные коробки: восьмёрку — по очереди в коробки – четвёрку — по кругу в коробки – (каждая получит по два раза), двойку — попеременно в коробки и (по четыре раза), единицу — всегда в коробку После ходов во всех коробках по камней.