, если 
и 
, если 
, где 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 цифр Игорь сможет всегда определить, например, с следующих ходов:
а) приводим к общему знаменателю
4/15 и 3/5
4/15 + 9/15 = 13/15
ответ 13/15
б) 1 9/14 +2 1/7 = 1 9/14 + 2 2/14 = 3 11/14
ответ 3 целых 11/14
в)1 5/8 + 2 9/16 = 1 10/16 + 2 9/16 = 4 3/16
так как 3 19/16 сократим 4 3/16
ответ 4 целых 3/16