Форум DL

Мой профиль

https://codeforces.com/problemset/problem/2217/F - 2300, не придумала, читала разбор
https://codeforces.com/problemset/problem/1838/D - 2100, придумала сама
https://codeforces.com/problemset/problem/1498/D - 2200, придумала сама, читала разбор

Мой профиль

Мой профиль

Прорешал я первый математический контест Reprovive (оказывается, там есть ещё и контесты по программированию, так что их стоит порешать, когда нет Codeforces).
Вот таблица: https://repovive.com/contests/math-round-1/ranking
Занял 55 место из 147 участников, решив 3 первые задачи из 5.
Цель в задачах: доказать что-либо текстом.
При том, что всё переводит нейросеть и сам ты можешь отправлять на любом языке (твоё решение проверяется нейросетью), я удивился, сколько решений было не на английском.
Очень мало. Из тех редких, что я видел, это были русский и японский. Сам я писал на русском и это как-то печально.

Какие были задачи:
A - комбинаторика. Доказать, почему ответ ceil(n / 2).
B - комбинаторика. Найти, какие элементы невозможно сохранить, если в массиве из n единиц объединять 2 соседних в сумму, удаляя наименьший (при равенстве сам выбираешь, кого удалить).
C - теория игр. Нужно было сказать, кто выиграет, если соединять n точек по 1 стрелке за ход, если нельзя, чтобы в точку одновременно входила и выходила стрелка.
D - комбинаторика. Сведение к задаче о кол-ве разрезов круга длины n с определёнными свойствами отрезков. Я пока сам не до конца понял идею.
E - не читал, но её решило только 6 человек.

В чём вижу проблемы:
я думаю текстом. Т. е. пишу доказательство сразу во время решения задачи. Из-за этого получается медленнее.
Однако, я не знаю, как отойти от этого, чтобы потом вспомнить и записать короткое доказательство.
Я быстро забываю предыдущие доказательства, когда подхожу к концу решения, т. к. в программировании это не так важно и часто короче.

Полезно ли это?
Да. Развивает математику, комбинаторику, теорию игр и др.
Учит доказывать решение и описывать его в тексте, чем я итак иногда занимаюсь.
Думаю, после решения нескольких таких раундов подтяну логику.