Всем привет. Нужна помощь в понимании и/или доказательстве авторского решения задачи G с полуфинала прошлого года (ссылка на условия задач http://neerc.ifmo.ru/past/2011/neerc-2011.pdf): насколько помню, на разборе (ссылка на разбор http://neerc.ifmo.ru/past/2011/neerc-2011-analysis.pdf) решение приводилось на уровне полуформальных обоснований, без какого-либо более-менее строгого доказательства. Не совсем понятно как доказывать оптимальность стратегии из разбора для произвольного загаданного числа. Any ideas? Спасибо.