, если 
и 
, если 
, где i=1,2,3. Назовем эту тройку сигнатурой разряда. Если для каких то двух разрядов c номерами k и m оказалось s(k)=s(m), то у Игоря нет никакой принципиальной возможности определить какая цифра в какой позиции находится. Поэтому количество цифр, которое может определить Игорь за 3 хода, не превосходит количества различных троек s(k), т.е. не превосходит 2³=8, и значит N≤8. И если Игорь хочет определять своими ходами максимальное количество разрядов, то ходы ему надо составлять так, чтобы каждой сигнатуре принадлежал только один разряд. и M₁∪M₂∪M₃ охватывало как можно больше разрядов. Если для какого-то разряда его сигнатура оказалась (0,0,0), т.е. этот разряд вообще не был затронут ходами Игоря, то определить цифру в этом разряде невозможно, т.к. цифр всего 10 и 10>8. Т.е. Игорь может определять цифры только в тех разрядах, которые принадлежат M₁∪M₂∪M₃. Значит N≤7. Покажем, что при N=7 множества M₁, M₂ и M₃ можно выбрать так, что каждой сигнатуре будет принадлежать только один разряд, и значит 7 цифр Игорь сможет всегда определить, например, с следующих ходов:
Чтобы проверить данную задачу, можно составить уравнение, что послужит доказательством верности/неверности решения.
Возьмем за натуральное число @, тогда уравнение будет выглядеть как (@*B)*(@-B) = 111. В данном случае получаем несколько условий:
1) Число 111 состоит из возможных вариантов множителей 1 и 111
2) @>B, из пунктов 1 и 2 следует что возможный вариант уравнения выглядит как (111*1)*(111-1) что не равно 111.
Вывод : "НЕТ, не возможно"