2019-01-20
Имеется три кучи камней. Сизиф таскает по одному камню из кучи в кучу. За каждое перетаскивание он получает от Зевса количество монет, равное разности числа камней в куче, в которую он кладет камень, и числа камней в куче, из которой он берет камень (сам перетаскиваемый камень при этом не учитывается). Если указанная разность отрицательна, то Сизиф возвращает Зевсу соответствующую сумму. (Если Сизиф не может расплатиться, то великодушный Зевс позволяет ему совершать перетаскивание в долг.) В некоторый момент оказалось, что все камни лежат в тех же кучах, в которых лежали первоначально. Каков наибольший суммарный заработок Сизифа на этот момент?
Решение:
Первое решение. Будем называть камни из одной кучи знакомыми, из разных - незнакомыми. Тогда доход Сизифа за одно перетаскивание равен изменению количества пар знакомых камней. Так как в конечный момент все камни оказались в исходных кучах, то общее изменение количества знакомств равно нулю, а, значит, и доход Сизифа равен нулю.
Второе решение. Покажем, что величина $А = ab + bc + ca + S,$ где $а, b$ и $с$ - количества камней в кучах, $S$ - доход Сизифа, не изменяется при перетаскивании камней. Действительно, без ограничения общности можно считать, что Сизиф перетащил камень из первой кучи во вторую. Тогда $А^{\prime} = (а - 1)(b + 1) + (b + 1)с + с(а - 1) + S^{\prime} = А$, так как $S^{\prime} = S + (b - (а - 1))$. Но величина $ab + bc + ca$ в начальный и конечный момент одна и та же, а, следовательно, и конечный доход Сизифа равен начальному, т. е. нулю.
Аналогичным является решение, использующее инвариантность величины $B = а^2 + b^2 + с^2 - 2S$.
Третье решение. Можно проверить, что если поменять местами очередность двух перетаскиваний камней, то $S$ при этом изменится на одну и ту же величину. Кроме того, за два перетаскивания камня: из кучи $А$ в кучу $B$, а затем из $B$ в $А$, доход Сизифа равен нулю. Таким же будет доход за три перетаскивания: $А \rightarrow B, B \rightarrow C, C \rightarrow А$.
Из того, что в конце все камни оказались в исходных кучах, следует, что порядок перетаскивания камней можно изменить так, что все перетаскивания разобьются на тройки вида $А \rightarrow B \rightarrow C \rightarrow А$ и двойки вида $А \rightarrow B \rightarrow А$, дающие Сизифу нулевой доход.
Ответ. 0.