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

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

...
SL>1. r1 и r2 весят меньше/больше, чем гирьки из G. Тогда мы увидим, что три последние операции поочередно вернут все гирьки из G. Искомая гирька — на шаге 2.
Дык нету операции сравнения веса, только F

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

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

...
SL>1. r1 и r2 весят меньше/больше, чем гирьки из G. Тогда мы увидим, что три последние операции поочередно вернут все гирьки из G. Искомая гирька — на шаге 2.
Дык нету операции сравнения веса, только F

Там получается 6 вариантов 2 + 4 и что б их оличить надо максимум 4 операции, а не 3
пусть
r1<r2<r3<r4
g1<g2<g3
тогда
r1 r2 g1 g2 g3 *F=g1
r1 g1 g2 g3 r3 *F=g2
r1 g1 g2 g3 r4 *F=g2
r2 g1 g2 g3 r3 *F=g2
r2 g1 g2 g3 r4 *F=g2
g1 g2 g3 r3 r4 *F=g3