Greetings, CodeForces!

jiangtaizhe001, qzhwlzy and I rsj are more than excited to invite you to participate in TypeDB Forces 2023 (Div. 1 + Div. 2, Rated, Prizes!), which starts on Jan/29/2023 17:35 (Moscow time).

The round is open and rated for everyone. You are given 9 problems, no subtasks or interactive problems, and you have 3 hours to solve them. It is recommended to read all problems. The statements were made as briefly and clearly as we could. Enjoy the contest!

UPD: Score distribution: $$$500-1000-1750-2000-2250-2500-3250-3500-3750$$$

Sincere thanks to:

• RedMachine-74, for a long-term, tough and perfect coordination.
• qzhwlzy, for writing and polishing statements and tutorials, and sparky ideas.
• jiangtaizhe001, for helping me a lot in preparation.
• 275307894a and A_zjzj, for providing wonderful problems and solutions.
• carnation13, willy108, NemanjaSo2005 and EverlastingEternity for great suggestions to the problems.
• NemanjaSo2005, EverlastingEternity, plagues, WGYHMFkZyA02, xiongyushun, dorijanlendvaj, AlexLuchianov, Gary2005, SSerxhs, RUSH_D_CAT, Lavine, Kieray, Alice114514, Atziluth, Depth_First_Search, OdtreePrincess, A_zjzj, _WD_, 275307894a, Electric_Field, carnation13, Hanriver, some_idiot, willy108, gamegame, Pointy, Huah, ShmilyTY, njupt_lyy, E_huan, p_b_p_b, jjjjssss6, HolyK, -skyline- and Isla81920, for testing the contest and providing useful feedback.
• MikeMirzayanov, for the great systems Codeforces and Polygon.

Thanks to Vaticle's sponsership, winners will receive awesome prizes!

Cash and Swag Prizes

• 1st place: 500 Euros
• 2nd place: 250 Euros
• 3rd place: 100 Euros
• Top 50: TypeDB hoodie, t-shirt and stickers
• Random 50 of 51-250: TypeDB t-shirt and stickers

About Vaticle & TypeDB

Vaticle is a team of people driven to empower engineers to solve complex problems. We are the creators of the strongly-typed database, TypeDB, and its query language, TypeQL. You can find out more about our work from another announcement post, interview post, our website and GitHub pages. You can also apply directly to our team using the button below:

UPD1: Editorial

UPD2: Congratulations to the winners:

• ko_osaga
• tourist
• Radewoosh
• Benq
• ecnerwala

Всем привет!

Завтра, 28 января 2023 года в 15:00 состоится вторая личная интернет-олимпиада для школьников. Она же является первым отборочным этапом на ИОИП. Всю информацию про ИОИП, включая автопроходы, можно найти здесь.

Продолжительность олимпиады — 5 часов. Не забудьте зарегистрироваться на цикл личных интернет-олимпиад в этом сезоне перед началом олимпиады. Обратите внимание, что для участия в личных олимпиадах, нужно зарегистрировать участника (по ссылке "Новый участник"). Дополнительную информацию, а также расписание всех предстоящих интернет-олимпиад можно посмотреть на страничке интернет-олимпиад.

Условия появятся на сайте в момент начала олимпиады, а также на вкладке "Файлы" в тестирующей системе. Тестирующая система находится по адресу pcms.itmo.ru.

Олимпиаду для вас подготовили Даниил Орешников (doreshnikov), Даниил Голов (DanGolov), Александр Гордеев (gordeve) и Константин Бац (kbats183).

Для связи с жюри можно использовать адрес электронной почты [email protected].

Удачи!

P.S. Новые участники подтверждаются незадолго до начала олимпиады.

Привет! В 27.01.2023 17:35 (Московское время) начнётся Codeforces Round 847 (Div. 3) — очередной Codeforces раунд для третьего дивизиона. В этом раунде будет 6-8 задач, которые подобраны по сложности так, чтобы составить интересное соревнование для участников с рейтингами до 1600. Однако все желающие, чей рейтинг 1600 и выше могут зарегистрироваться на раунд вне конкурса.

Раунд пройдет по правилам образовательных раундов. Таким образом, во время раунда задачи будут тестироваться на предварительных тестах, а после раунда будет 12-ти часовая фаза открытых взломов. Мы постарались сделать приличные тесты — так же как и вы, мы будем расстроены, если у многих будут падать решения после окончания контеста.

Вам будет предложено 6-8 задач и 2 часа 15 минут на их решение.

Штраф за неверную попытку в этом раунде будет равняться 10 минутам.

Напоминаем, что в таблицу официальных результатов попадут только достоверные участники третьего дивизиона. Как написано по ссылке — это вынужденная мера для борьбы с неспортивным поведением. Для квалификации в качестве достоверного участника третьего дивизиона надо:

• принять участие не менее чем в пяти рейтинговых раундах (и решить в каждом из них хотя бы одну задачу)
• не иметь в рейтинге точку 1900 или выше.

Независимо от того являетесь вы достоверными участниками третьего дивизиона или нет, если ваш рейтинг менее 1600, то раунд для вас будет рейтинговым.

Спасибо MikeMirzayanov за платформы, помощь с идеями для задач и координацией нашей работы. Задачи были придуманы и написаны командой Университета ИТМО: MikeMirzayanov, myav, Gol_D, Aris, Gornak40, senjougaharin и Vladosiya. Также в этот раз одну из задач предложил molney.

Также большое спасибо:alwyn, morasha3, csegura, BledDest, stevenkplus, Darko, Coki628, Crutch, Qwerty1232, Jostic11, liouzhou_101, Jeffin, AW_Flister, glebustim, yorky, mango_lassi, RedMachine-74, ErrorDeveloper, Be_dos, MODDI, Vercingetorix за тестирование раунда и весьма полезные замечания. Список тестеров будет пополняться.

Всем удачи!

UPD: Разбор

Привет, Codeforces!

IzhitskiyTimofey, qualdoom и я рады пригласить вас на наш Codeforces Round 846 (Div. 2), который пройдёт в 25.01.2023 17:35 (Московское время).

Раунд будет рейтинговым для всех участников, чей рейтинг будет ниже 0x834 (то есть 2100). Участники с более высоким рейтингом могут принять участие в раунде неофициально.

Вам будет дано целых 7 задач и 2 часа, чтобы их решить.

Одна из задач будет интерактивной. Обязательно прочитайте этот блог и ознакомьтесь с этими типами задач перед раундом!

Хочу искренне поблагодарить всех, кто оказал бесценную помощь в подготовке раунда и сделал его в разы лучше:

• RedMachine-74 за отклонение 10+ задач идею для задачи, помощь в подготовке раунда и отличную координацию!

• KAN за улучшение качества условий.

• blobugh, maomao90, maks_matiupatenko, loggerr, vdv09, alex.kudryashov, FynjyBath, alexey.shchepin, Alcabel, induk_v_tsiane, Siberian, polosatic, FedShat и tryharder за тестирование раунда и полезный фидбек!

• MikeMirzayanov за такие прекрасные системы, как Codeforces и Polygon!

• Вас за ваше участие.

Это наш первый официальный раунд на Codeforces. Мы искренне надеемся на ваше участие. Также мы надеемся, что предложенные задачи вам понравятся!

Разбалловка будет объявлена ближе к началу раунда.

Желаем удачи и приятного времяпровождения! Увидимся на раунде!

UPD: Разбалловка: $$$500-1000-1250-1500-1750-2000-2500$$$

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

UPD: Разбор и комментарий по поводу задачи С. Ещё раз приносим извинения за предоставленные неудобства.

Hello, everyone!

We look forward to our upcoming competition — TypeDB Forces 2023 (Div. 1 + Div. 2, Rated, Prizes!), which will take place on Jan/29/2023 17:35 (Moscow time). In the meantime, you can learn a little more about us.

We’re from Vaticle, and we’re the creators of TypeDB & TypeQL. All members of our team are unique and talented, and today we want to introduce you to one of them.

How would you introduce yourself?

I'm Krishnan, I grew up in India and spent a little too much time on the internet and fiddling with my (underpowered) PC. After completing my Bachelor's degree, I spent a year as a software engineer working on a huge data lake, the next as a research fellow trying to permute thread executions to force out concurrency bugs, a year doing a masters with a focus on the old-style AI (and logic-programming). After a short-lived attempt at a Ph.D., I'm now at Vaticle working on the automated reasoning built into our database.

When did you start Competitive Programming?

Probably in my second year of uni. One of my friends decided it would be fun and we just started doing contests. Later on, another friend convinced me to learn a bit more and join his ICPC team. The discussions I had with him were great.

What have you since learned and how has competitive programming impacted your skills?

Everyone reading this knows better than me, but CP has made me a lot better at dissecting a problem better and isolating the crux of it. It also makes you great at coming up with the simplest possible implementation which covers all the (edge) cases. The clarity of thought you need to get an AC is something I would have taken much longer to develop without it.

What is it like working at TypeDB as an Engineer?

The problems you get to work on here at Vaticle are great fun. There's a nice balance of freedom to explore solutions and expectations on output- so you're happy with the state of whatever you're building. It feels like a good time to be at the company because we're stable enough to know what we want to do and have some idea of how we want to do it, but still early enough that you have to define and drive the solution.

Another great thing is the variety of fields we touch on in our work — There's something in it for almost everyone. The query language and type system design, the semantics of the language, the graph traversal algorithm, the storage engine, and its low-level data structures, and the distributed systems aspect to scale it all up. We even have our own IDE (and a very, very cool graph visualizer). You also have to dive into the internals of programming languages, build systems, and cloud infrastructure.

To top it all off, with the group of extremely smart people working here and their varied interests, you have a lot of great (and often tangential) discussions in the meeting room, the lunch table (and the pub). Even so, I think we could do with a few more competitive programmers in the team ;)

What kind of problems are you working on?

The focus of my work is the reasoner (which sits well with my interest in logic programming). The first major piece of work here was the resolution planner – what is the best order to evaluate a recursive query? The discussions with my colleagues were critical to making heads or tails of the problem. It could still use some work though (anyone like decomposing graphs?)

I've since worked on adding arithmetic & aggregate queries into the system — which involved finding the right conceptual model to think about all these in a graph setting. We've had some great discussions on the various database models and how it fits into their systems.

The next chunk of work I look forward to is to tame the reasoner a little more. The current solution is very elegant — it's simple and powerful as a direct result of its simplicity. We just need to add a few missing properties to the resolution procedure to bring it up to the state of the rest of the system.

The data in knowledge graphs tend to be highly interconnected, and we know interconnectedness is a recipe for hard problems.

So, if you already want to become a member of our team, then without delay fill out this form. But, if you need more details about us and our work, we invite you to our website and GitHub pages.

Привет, Codeforces!

В 24.01.2023 17:35 (Московское время) состоится Educational Codeforces Round 142 (Rated for Div. 2).

Продолжается серия образовательных раундов в рамках инициативы Harbour.Space University! Подробности о сотрудничестве Harbour.Space University и Codeforces можно прочитать в посте.

Этот раунд будет рейтинговым для участников с рейтингом менее 2100. Соревнование будет проводиться по немного расширенным правилам ICPC. Штраф за каждую неверную посылку до посылки, являющейся полным решением, равен 10 минутам. После окончания раунда будет период времени длительностью в 12 часов, в течение которого вы можете попробовать взломать абсолютно любое решение (в том числе свое). Причем исходный код будет предоставлен не только для чтения, но и для копирования.

Вам будет предложено 6 или 7 задач на 2 часа. Мы надеемся, что вам они покажутся интересными.

Задачи вместе со мной придумывали и готовили Адилбек adedalic Далабаев, Владимир vovuh Петров, Иван BledDest Андросов и Максим Neon Мещеряков. Также большое спасибо Михаилу MikeMirzayanov Мирзаянову за системы Polygon и Codeforces.

Удачи в раунде! Успешных решений!

Также от наших друзей и партнёров из Harbour.Space есть сообщение для вас:

Привет, Codeforces!

Полным ходом идет подготовка ко второму буткемпу по программированию «Hello Muscat 2023», продолжении серии буткемпов «Hello», организованном Harbour.Space University в сотрудничестве с PhazeRo, Gutech, UK Oman Digital Club, Leagues of Code, Gutech CS Club и Codeforces!

Довольно впечатляюще, не так ли? Пришло время глубже погрузиться в мир соревновательного программирования с 8-дневным интенсивом Hello Muscat 2023. Он будет проходить в Маскате, Оман, и онлайн с 8 по 16 марта 2023 года, доступны оба формата участия.

Наш тренерский состав сочетает в себе талант и опыт, в нем участвуют чемпионы мира ICPC, победители и финалисты, а также легендарные имена из области соревновательного программирования: Михаил Мирзаянов MikeMirzayanov, Егор Дубовик 244mhq, Артем Плоткин Rox, Максим Обозный MaksymOboznyi и Николай Будин budalnik.

Буткемп будет разделен на три дивизиона:

• Дивизион A. станет зеркалом Петрозаводского лагеря программирования. Подходит для команд, которые уже прошли квалификацию на Финал ICPC или стремятся к этому.
• Дивизион B. Разработан, чтобы помочь командам подготовиться к следующему сезону региональных соревнований ICPC. Подходит в качестве введения для команд и студентов, которые только начинают свой путь в мир ICPC и соревнований по программированию в целом.
• Дивизион C. Предназначен для новичков в мире соревновательного программирования.

Типы участия: очное и онлайн

_Мы считаем, что участие в нашем буткемпе должно быть доступно для всех команд, где бы они ни находились, и именно поэтому мы сделали очную и онлайн-формы участия. Скидка 20% на раннее бронирование предоставляется университетам и участникам, которые зарегистрируются и оплатят до 31 января 2023 года.

• Очное:

Цена: 1500 € — 1200 €

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

• Онлайн

Цена: 100 € — 80 €

Что включено: обучение, контесты и доступ к записям лекций.

Удачи в раунде,

Harbour.Space University Team

UPD: Разбор опубликован

Несколько лет назад мы собрали 11 миллионов рублей на некоммерческую печать «Гарри Поттера и методов рационального мышления», побив рекорд российских краудфандинг-проектов по объёму сборов, и пообещали подарить трёхтомники ГПиМРМ школьникам и студентам, побеждавшим в олимпиадах.

Наконец, мы начали рассылать обещанные книги. Пять с половиной сотен экземпляров уже доставлены, ещё сотня — в пути. Если вы подходите под критерии, можете заполнить заявку и через несколько дней получить от курьера книжки (или через несколько недель почтой, если находитесь за границей).

Hello, Codeforces!

NJACK — the Computer Science Club of IIT Patna is excited to invite you to ByteRace 2023 — Codeforces Round 845 (Div. 2) and ByteRace 2023 under Celesta — the annual Techno-Management Fest of IIT Patna.

The contest will take place on Jan/21/2023 17:35 (Moscow time). This round will be rated for participants with rating lower than 2100.

Many thanks to all the people who made this round possible:

• The problems were authored and prepared by me, quantau, mayankfrost, ShivanshJ, Crocuta and AwakeAnay.
• irkstepanov and KAN for coordinating the round!
• jenishmonpara, 100gods and V_S_M for their guidance throughout the process.
• VIP testers: YashPant and Newtech66 <3
• Shoutout to AwakeAnay for doing absolutely nothing.
• dorijanlendvaj, Golovanov399, nor, defnotmee and ilya151098 for testing and providing detailed feedback that improved the quality and balance of the round significantly.
• Our lord and saviour MikeMirzayanov for great systems Codeforces and Polygon.

You will have 2 hours to solve 6 problems.

The scoring distribution will be updated later.

UPD: Scoring distribution: $$$500-1000-1500-2000-2250-2750$$$

UPD: Editorial

UPD: Congratulations to the winners!

Official winners:

1. jiangly_fan_fan_fan_fan
2. ducati
3. xiachong
4. FasterThanLight
5. Remask_588_handles

Unofficial winners:

1. noimi
2. jiangly_fan_fan_fan_fan
3. Nyaan
4. ducati
5. neal

First solves:

A: noimi at 00:00
B: neal at 00:02
C: noimi at 00:06
D: noimi at 00:09
E: noimi at 00:15
F: sjc061031 at 00:13

PRIZES: 30 hoodies (customizable with name) will be given to:

• Top 20 Indian participants
• Random 10 from top 100 (rank 21-100) Indian participants

Note: we will identify Indian participants through their flags and they may be asked for address proofs later.

See you all in the standings!

UPD: Here is the list of people who won hoodies. We will contact you all soon. Congrats!

Top 20 Indian participants

• socho
• aryanc403
• JrNTR
• Kira_1234
• KDVinit
• IceKnight1093
• Everule
• kshitij_sodani
• shiven
• mexomerf
• 18o3
• abhidot
• used-fft
• towrist
• udhavvarma03
• Suri429
• _akasi
• Phantom_Deluxe
• ghoul932
• shadow9236

Random 10 from top 100 (rank 21 — 100) Indian participants

• ShlokG
• Harsha221B
• Pandemonium2024
• YPK
• BeastCode
• abhi_atg
• ShubhamAvasthi
• rohit2593
• karthikeya09
• Abhishek_Srivastava

About Celesta

Celesta is the annual Techno-Management Fest of IIT Patna. Celesta conducts a variety of events in various technical domains. Some of these are open and free for all, with exciting prizes and goodies for the winners!

You can head over to our website and check it out for yourself!

Good luck!

Привет!

VK Cup 2022 - Отборочный раунд (Engine) начнётся уже скоро: 15.01.2023 15:05 (Московское время). Это соревнование предназначено для тех, кто решил хотя бы 6 задач из 8 в квалификационном раунде VK Cup 2022. Раунд будет рейтинговым.

Остальных приглашаем на открытый для всех Codeforces Round 844 (Div. 1 + Div. 2, основан на Отборочном раунде VK Cup 2022), который начнётся в то же время и тоже будет рейтинговым.

Все задачи придуманы и подготовлены мной. Также этот раунд стал лучше благодаря KAN, errorgorn, lperovskaya, dario2994, Monogon, Arpa.

Участникам будет предложено 8 задач и 3 часа на их решение.

64 лучших участника закрытого отборочного раунда получат фирменные футболки VK Cup, а 16 лучших пройдут в финал и смогут побороться за призы 4-5 февраля очно в офисе VK или онлайн:

• 1-е место — 300 000 рублей;
• 2-е место — 250 000 рублей;
• 3-е место — 150 000 рублей;
• 4-е место — 100 000 рублей.

UPD: Разбор

Поздравляем победителей отборочного раунда:

1. turmax
2. Petr
3. never_giveup
4. isaf27
5. 353cerega

и остальных участников, попавших в число сильнейших.

Также поздравляем победителей открытого для всех раунда:

1. orzdevinwang
2. noimi
3. Radewoosh
4. gamegame
5. QAQAutoMaton

и отдельно maroonrk как автора единственного принятого решения по задаче H2.

Всем привет!

Завтра, 15 января 2023 года в 13:00 состоится первая личная интернет-олимпиада для школьников. Отборочные этапы на ИОИП начнутся со следующей олимпиады, а эта – разогревочная тренировочная, задачи будут не очень сложные.

Продолжительность олимпиады — 5 часов. Не забудьте зарегистрироваться на цикл личных интернет-олимпиад в этом сезоне перед началом олимпиады. Обратите внимание, что для участия в личных олимпиадах, нужно зарегистрировать участника (по ссылке "Новый участник"). Дополнительную информацию, а также расписание всех предстоящих интернет-олимпиад можно посмотреть на страничке интернет-олимпиад.

Условия появятся на сайте в момент начала олимпиады, а также на вкладке "Файлы" в тестирующей системе. Тестирующая система находится по адресу pcms.itmo.ru.

Олимпиаду для вас подготовили Даниил Орешников (doreshnikov), Даниил Голов (DanGolov), Александр Гордеев (gordeve) и Владимир Рябчун (Frankenween).

Для связи с жюри можно использовать адрес электронной почты [email protected].

Удачи!