Итого у нас есть три неизвестные монеты и 9 известных. Обозначим как 1-2-3, известные как Х.
Возьмем взвешивание ХХ1 и ХХ2.
1. Если оно равно, то фальшивая монета 3. Но если не равны, то опять таки незнание о весе не даёт нам понимание 1 или 2 фальшивая без дополнительного взвешивания, типа ХХХ и ХХ1.
2. Если не равно, то см. пункт 1.
Мешать монеты по типу Х12 и ХХ3, тоже смысла нет ибо имея худший вариант получим не знание 1 или 2.
Я может заблуждаюсь где-то, просьба прислать в личку решение, если оно всё-таки есть.
После второго шага вполне может получиться что две эти кучки будут равны и значит что одна из трех отложенных фальшивая. И у нас остается одно взвешивание чтобы из трех монет найти одну верную. Что, не зная легче\тяжелее, невозможно.
По этому решению если неизвестно то на всех этапах не ясно какую группу оставлять. На первом мы вполне можем отсечь рабочий вариант, где нет фальшивки. Как и на втором.
Возьмем взвешивание ХХ1 и ХХ2.
1. Если оно равно, то фальшивая монета 3. Но если не равны, то опять таки незнание о весе не даёт нам понимание 1 или 2 фальшивая без дополнительного взвешивания, типа ХХХ и ХХ1.
2. Если не равно, то см. пункт 1.
Мешать монеты по типу Х12 и ХХ3, тоже смысла нет ибо имея худший вариант получим не знание 1 или 2.
Я может заблуждаюсь где-то, просьба прислать в личку решение, если оно всё-таки есть.
log3(12)+1 с округлением в большую сторону дает 4.