Leonid Volkov
27.5K subscribers
1.24K photos
157 videos
12 files
2.66K links
Leonid Volkov on Politics&Internet
Download Telegram
Интересные вещи происходят!
У обеих питерских команд (между прочим, последние четыре (!) чемпионских титула принадлежат им — СПбИТМО чемпионы мира 2012, 2013 и 2015 годов, СПбГУ — 2014 года) что-то не ладится с задачей А, последней из "относительно несложных".
(Впрочем, в твиттере Петр Митричев говорит о том, что пока не вполне понимает, как ее решать).
Зато MIT и Гарвард присоединились к Токио и Шанхаю в группе решивших 8 задач, и теперь MIT лидирует благодаря наименьшему количеству неудачных попыток.
Но главное: команда Уральского университета, разобравшись с затыком в задаче G, в течение десяти минут после этого сдала еще две, и тоже присоединилась к лидирующей группе, пусть и с большим отставанием по времени. Молодцы!
💩1
Михаил Рубинчик, тренер уральской команды, пишет мне из зала соревнований:

"Задачу J пишут пара команд
Шанхай и Токио
но вяло пишут
Остальные с 8-ю пока обсуждают что-то
у наших Олег что-то рассказывает по J, но там вроде не решение, а пока только какие-то идеи"

То есть действительно все команды сейчас застопорились и думают, что делать дальше. Тренерам хорошо видно, что команды делает — кто сидит и быстро что-то вбивает, кто совещается, кто в прострации, кто нервно жует какие-нибудь мюсли-батончики.
У каждой команды своя стратегия для таких ситуаций; есть разные модели работы. Где-то есть явно выделенные "математики", которые мало программируют сами, но умеют раскалывать самые сложные задачи; где-то все участники команды универсальны и взаимозаменяемы.
💩1
Осталось полтора часа.
Действующие чемпионы мира из СПбИТМО первыми сдают первую из "сложных" задач — задачу F — и впервые за соревнование выходят на чистое первое место (а я предупреждал!).
В группе преследования, сдавшей "квалификационный минимум" из восьми относительно простых задач еще 9 команд: для всех них соревнование, как я уже писал, по сути сейчас начинается заново
💩1
Тут что важно понимать: я так пишу про "квалификационный минимум" и "относительно простые 8 задач", но это все действительно очень относительно.

Это финал чемпионата мира: 128 лучших команд, продравшихся через многоступенчатый отбор. Все они очень крутые. И те задачи, которые "относительно просты" для них, вовсе не просты для всех остальных.

И даже для финалистов: может не заладиться день, может болеть голова, можно чего-то не додумать, можно заглючить на простой задаче, можно неверно распределить силы.

Мы с вами обсуждаем лидеров, а ведь из 128 команд-финалистов по состоянию на сейчас лишь 43 решили 5 и более задач — а у двух третей финалистов четыре задачи и меньше (у лидеров, напомню, 8-9 за то же время!). И не сказать, что это слабые команды: Стенфорд, МИФИ, Беркли в районе 40-го места с 5 задачами, там же очень сильный Белорусский госуниверситет; у Пекина 4 задачи, у знаменитого Карнеги Меллона - 3 задачи и 88 место.

Это реально спорт, достаточно жестокий; статус фаворита сам по себе ничего не дает. Важен настрой на конкретное соревнование, фарт, спортивная форма.
🐳1
💩1
Уральцы сдают вторыми задачу F и выходят на второе место! Ура!
И сейчас в тройке лидеров только российские команды.
💩1
Осталось чуть больше часа.
Из пяти "трудных" задач, только задача H остается задачей, которую никто не пытался сдать.
Все остальные пытались: Урал, ИТМО и Гарвард сдали F, СПбГУ сдал J, а Шанхай сдал M.
Теоретически это значит, что положение СПбГУ и Шанхая в группе лидеров самое устойчивое — относительно более простая F у них "в запасе". По штрафному времени все пять лидеров очень близки.
💩1
А теперь самое важное (и грустное): по давней традиции и по правилам соревнования, таблица результатов за час до конца замораживается. И не будет обновляться.
Чтобы "сохранить интригу до награждения". Интрига сохраняется, но для спортивности это, как мне кажется, большой минус.
Шарики тоже носить не будут. Поэтому о происходящем в последний час предстоит догадываться лишь по косвенным признакам: мы будем видеть, какие решения команды направляют на проверку, а пара тренеров обещали писать мне об эмоциях, которые они смогут со своих мест на лицах членов команд. (Естественно, в ходе соревнования команды изолированы от внешнего мира, не общаются с тренерами, не имеют доступа в интернет. Зато вердикты жюри им будут приходить — в том числе и в последний час)
💩1
💩1
Замороженный монитор выглядит так: фиолетовым цветом отмечены попытки, вердикт по которым нам не покажут. Причем отдельно количество попыток до заморозки и после.
Другими словами, у команды не может быть решено задач больше, чем зеленых плюс фиолетовых. И если, например, у уральцев фиолетовых нет вообще, значит они точно остаются с девятью задачами пока.
И напротив, шанхайцы имеют фиолетовые отметки уже по двум задачам: весьма вероятно, что они уже сдали десятую и теперь двигают и доводят одиннадцатую.
💩1
Лидеры — СПбГУ — довольно давно сделали первую "фиолетовую" попытку по задаче М, потом было долгое молчание, и вот фиолетовая попытка по задаче F. С очень большой вероятностью это означает, что задача M ими сдана.
Иначе бы они делали бы еще попытки по ней, не разбрасывали бы силы в последние 20 минут на несколько задач в их турнирной позиции.
Благодаря малому штрафному времени, сданная с первой попытки десяткая задача практически гарантирует питерцам победу — чтобы их обойти, кому-то надо будет сдать одиннадцать.
💩1
💩1
В лидирующей пятерке только Урал и ИТМО пока не сделал ни одной попытки в последний час.
В том, что СПбГУ сдал М с первой попытки я теперь уверен на 99% — ведь новых попыток на M от них нет, зато они доводят F.
Боюсь показаться слишком поспешным, но если бы сейчас букмекеры принимали ставки, я бы поставил очень много на первое место СПбГУ с любым коэффициентом.

А вот УрФУ, если ничего не сдаст, не удержится в пятерке: много штрафного времени, многие команды, у которых сейчас по 8 задач, сдав девятую, сдвинут уральцев вниз по таблице.
💩1
Ну и сейчас, за 10 минут до конца соревнования, уместно поговорить о системе награждения. Она странная. Нет, СТРАННАЯ.

Конечно, реально в истории остается имя чемпионов мира; специалисты помнят первую тройку. Но формально, выдается почему-то четыре комплекта золотых, серебряных и бронзовых медалей, т.е. команды занявшие места 1-4 получают золото, места 5-8 — серебро, места 9-12 — бронзу.
Почему так? Не спрашивайте.

Раньше, до 2002 года кажется, было иначе: золото получали все команды, которые решали столько же задач, сколько чемпион; серебро — все, кто решил на одну задачу меньше; бронзу — на две задачи меньше.

Так, в 2001 году мы получили бронзовые медали за 4 решенных задачи (чемпионы решили 6), хотя заняли 14-е место с учетом штрафного времени и по нынешней схеме призерами бы не стали.

Старая схема выглядит более логичной и менее искусственной, но понятен и ее недостаток: медалистов может оказаться слишком много, и невозможно даже предсказать, сколько медалей надо изготавливать.

Но в новой системе тоже есть большие проблемы: обидно, когда 4 и 5 место, допустим, разделяет всего пара минут штрафа при равенстве решенных задач...
💩1
Ха, вот как я ошибся! Вторая "фиолетовая попытка" от СПбГУ на задачу М.
Это значит, что они ее не сдали, отложили, сделали F, и потом вернулись.
Петр Митричев пишет, что F питерцы точно сдали, так что, к счастью, к букмекеру я все же не зря виртуально ходил — чемпионами они все равно будут, вероятно. Особенно, если доведут M — тогда они даже теоретически недосягаемы для преследователей.

Если СПбГУ — новые чемпионы мира, то
— это четвертый титул для них
— пятый подряд титул для Санкт-Петербурга
— десятый титул для Санкт-Петербурга
— одиннадцатый титул для России (в 2006 году чемпионом стал Саратов)

Напомню еще, что СПбГУ впервые принес России первое место на чемпионате мира: это было в 2000 году, в той команде играли Николай Дуров (старший брат Павла Дурова) и Андрей Лопатин, ключевые программисты ВКонтакте, а теперь Телеграма.
💩1
Из тренерской передают: СПбГУ почти наверняка сдал и М тоже: 11 задач, они чемпионы.
Весьма вероятно, что шанхайцы тоже сдали две задачи в последний час — тогда у них тоже 11, и вторе место из-за штрафного времени.
Остальные далеко позади — у СПбИТМО их попытки сдать в последний час две задачи были, по неформальной информации, неуспешными.
У остальных не может быть больше 10 задач судя по "фиолетовым" попыткам. Уральцы пытались сдать J, но вряд ли сдали. Вроцлав сдал девятую и сделал 17 (!) отчаянных попыток на десятую, тоже вряд ли успешно.
MIT сдал девятую.

Если УрФУ сдали 10 задач, то у них может быть 3-е или 4-е место, если не сдали — то вероятно скорее в районе 8-10-го
💩1
Митричев:
So we know that SPbSU and SJTU have 11, MIPT has 10, but not much other teams with more than 9. #icpc2016
💩1
Это значит, что подвиг в виде двух задач в последний час удался СПбГУ и Шанхаю, и еще удивительным образом МФТИ, которого в лидирующей группе раньше не было.
Таким образом, СПбГУ и Шанхай с 11 задачами займут первые два места, МФТИ с 10-ю задачами третье, а дальше будет большая группа команд с 9-ю задачами с небольшой разницей в штрафном времени.

И есть небольшая интрига между СПбГУ и Шанхаем: у Питера было 78 минут преимущества в штрафе перед последним часов, они сделали в этом последнем часе на одну попытку больше, чем Шанхай (остается 58 минут), так что теоретически допустимо, что Шанхай мог чуть-чуть обойти СПбГУ по штрафному времени.
В любом случае, разрыв будет, вероятно, в 20-30 штрафных минут, исчезающе малым по меркам спортивного программирования.
💩1
Ага, еще Гарвард сдал десятую, пишет Петр (по мере того как в тренерскую стекаются новости от закончивших выступление команд); Урал и Нижний Новгород точно по 9 задач.
💩1
Турнир завершен полчаса назад, но осталась ИНТРИГА.
Шанхайцы не просто смогли в последний час удержаться на пятках у лидера, они решили свои две задачи быстрее петербуржцев. Насколько быстрее — точно неизвестно. (Интрига, как я уже говорил, будет сохраняться до награждения).
В реплаях в твиттере мне написали, что засекали точное время сдачи последних двух задач командами СПбГУ и Шанхая, и по этим оценкам получается, что СПбГУ выиграет с отрывом в 7 (!) минут штрафного времени.
Это очень мало; это как фотофиниш. Получится примерно такой результат — у СПбГУ 11 задач и 1570 минут штрафа, у Шанхая 11 задач и 1577 минут штрафа, и это при том, что следующую команду лидеры обгоняют уже на целую задачу, "на круг".
Что такое 7 минут разрыва на дистанции в 11 задач? Ну можно себе и так представить: если бы команды сдавали все строго параллельно, просто шанхайцы читали бы по-английски медленнее и прочитали условия задач исходно на 40 секунд позже петербуржцев, и потом каждую из своих задач сдавали бы ровно на 40 секунд позже — вот и накопилось бы как раз отставание в 7 минут по всей дистанции.
Такая плотность результатов и такая интрига на финише — еще одно (и лучшее) доказательство тому, что спортивное программирование это прежде всего спорт.
💩1