Здравствуйте, Erop, Вы писали:

E>Так?
E>1. 1+2+3+4 == 5+6+7+8 => фальшивая среди 9, 10, 11 ,12
E>2. 9 +10 == 1+2 => фальшивая среди 11 и 12
Зачем 1 и 2 взвешивать, если известно, что они уже не фальшивые? Взвешиваются те, что неизвестны. Известная примешивается из стопки, которая ещё не полностью проверена. Стопка 1,2,3,4 и 5,6,7,8 уже проверены на шаге 1.
Поэтому: 9 <=> 10
Если равно, то как раз и примешиваем 11: 9 <=> 11
Если нет, то примешиваем уже не фальшиваю из остатка, т.к. знаем, что фальшивых монет всегда одна:
К примеру: 9 < 10 -> 9 <=> 11, если весы 9 x 11 изменили баланс с < на >, соответственно, была фальшивой 9, т.к. 11 точно не фальшивая, если изменили с < на =, то фальшивая — 10.