Рассмотрим проблему на базовом уровне:
Если вы хотите найти минимальный вес для 20 кг,
Первоначально: 20 = 1 + 1 + 1 + 1 + 1 + 1 .... (20 раз). Используя двоичный файл, вы можете разбить его на половину, используя только нечетные веса.
=> 1, 2, 4, 6, 8, 10...20 (for all odd weights even no.s can be "added" by 1)
... 2+1, 4+1, 6+1...18+1.
Теперь, если также учитывается «вычитание», т. Е. Используются оба сковороды, тогда мы можем взять кратные 3.
1 3 6 9 12 15 18 21 24 27
2 4 5 7 8 10 11 13 14 16 17 19 20 22 23 25 26
_________________ _________________ __________________ ___________________
Мы видим, что все веса могут быть получены, таким образом, добавляя и вычитая 1 к кратному 3
IMP: 1 был базовой единицей выше
Далее мы можем сделать 3 основной единицей сложения и вычитания, так как она может вывести все остальные числа. Следовательно, рассмотрим множества, 3-6-9, 9-12-15, 16-17-18 и т. Д., И средние слагаемые можно исключить как.
Таким образом, мы имеем,
1 3 9 15 21 27
2 4 5 6 7 8 10 11 12 13 14 16 17 18 19 20 22 23 24 25 26
_________________ __________________ __________________
Теперь 9 является нашей основной единицей, поскольку мы можем получить доступ к любому номеру от 1 до 9 напрямую. Если мы добавим или вычтем, мы получим разрыв 18. Таким образом, мы удалили средние термины:
1 3 9 27
2 4 5 6 7 8 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
_________________________________________________________
Теперь можно вывести каждое число от 1 до 27. Следовательно, 27 становится нашей основной единицей, и следующий пробел, который может быть доступен, будет включать сложение и вычитание 27, что дает 54.
Таким образом, мы можем заключить, что степени 3 повторяются, так как разница между степенями 3 всегда равна 3 (n).
Следовательно доказано.