Понятно, что 2 взвешивания сводят любое количество кучек максимум к 6. Просто рассуждвть кучками по 250 моонет удобней. Тоже пробовал идти этим путем, с той поправкой, что во 2м взвешивание участвуют обе кучки, не участвовавшие в первом (7и8). В тупик не уперся, но замороченно получается, не успел додумать. На интуитивном уровне, мне все хочется после 1 взвешивания, убрать монеты с одной чаши, положить вместо них неучаствовавшие и добавить к ним со 2й чаши. Но не могу с ходу сообразить, как же распилить кучки, чтоб вот этот перенос был не меньше 250 монет.

и при этом фальшивая из кучки А (если таковая там имелась) осталась в незадействованных остатках от этой кучки. Итого за два взвешивания мы можем выявить не меньше  254 настоящих монет.

есть пара задач хороших, где нужно доказать минимальность тоже, если интересно, могу скинуть