Решение задач динамического программирования

На Stepik или в контестном тренажёре по алгоритмам решение на рюкзак или LCS проходит открытые тесты, а на скрытых прилетает WA или TLE. До сдачи лабораторной остаётся пара дней, параллельно висят другие лабы. В курсе по алгоритмам запрос «динамическое программирование решение задач» почти всегда про одну лабораторную с чекером, а не про обзор темы. Расходится состояние с переходом, съезжает формат ввода-вывода, в отчёте ждут псевдокод и оценку сложности отдельно от кода. Нужно решение задач динамического программирования, которое сдаётся в срок: корректная таблица или код, пояснение там, где требуют, и баллы по предмету не сгорают на типичных ошибках в ДП.

Когда задача просит ДП, а не жадный алгоритм или перебор

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

Если подзадачи не пересекаются, часто хватает «разделяй и властвуй» или жадного шага с доказанной корректностью. На ориентированном ациклическом графе кратчайшие пути идут через топологический порядок и релаксацию рёбер: это не «классическое» ДП на массиве с двумерной таблицей, хотя идея «считать по слоям» похожа. Путать такие семейства на экзамене по алгоритмам дорого: преподаватель ждёт явную модель под вашу задачу динамического программирования, а не название метода с лекции.

Отсечь ложный путь помогает маленький пример от руки: записать рекуррентность и посмотреть, повторяются ли одни и те же аргументы. Если да, мемоизация или табуляция уместны; если нет, ищите другой класс алгоритма, прежде чем тратить вечер на индексы dp[i][j].

Состояние, база и порядок заполнения: мемоизация или табуляция

Главный разрыв на практике: неясно, что хранит ячейка. «Максимум в первых i элементах при вместимости j» и «максимум, если предмет i ещё не взяли» дают разные таблицы и разные переходы. Сначала зафиксируйте смысл состояния одной фразой, потом базу: пустая строка, нулевая сумма, нулевая длина. Пропущенная база даёт WA на краевых тестах так же часто, как off-by-one в цикле.

Порядок обхода при табуляции должен ссылаться только на уже посчитанные ячейки. Классическая ошибка: взять dp[i+1][j] до того, как заполнен dp[i][j]. При мемоизации та же дисциплина: кэш возвращает значение только после полного разбора подзадачи.

Выбор между мемоизацией и табуляцией часто упирается в память. Рекурсия с кэшем проще набросать, но на больших n стек и накладные расходы бьют по лимиту. Итеративная таблица предсказуемее для чекера. Если в условии просят не только значение целевой функции, а путь, набор предметов или саму подстроку, заложите восстановление ответа сразу: отдельный массив предков или обход назад по заполненной таблице. Скрытый тест «выведите не число, а последовательность» ловит тех, кто посчитал только max.

Перед сдачей прогоните не только образец из условия, но и края: n=0, пустой ввод, одна клетка сетки, все веса нулевые. На Stepik и аналогах лишний перевод строки или пробел после числа даёт WA при верной логике таблицы.

Рюкзак, LCS, сетка и линейные семейства: один шаблон на постановку

Типовые задачи динамического программирования в курсе отличаются формой состояния, а не «магией темы». Рюкзак: предметы и вместимость, часто два измерения «до i-го предмета / вес j». LCS и редактионное расстояние: две строки, индексы по префиксам. Пути на сетке: координаты клетки и запреты на ходы. Линейные семейства (разбиение, подмассивы с ограничением) часто сводятся к одномерному dp[i] с осторожной базой.

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

TLE, WA и неверная O(·): что ломает автопроверку и отчёт

TLE чаще всего от рекурсии без запоминания или от лишней размерности состояния: лишний параметр в dp раздувает таблицу в квадрат и съедает время. WA при «верных» открытых тестах: неверный модуль при подсчёте способов, перепутаны int и long long, лишний пробел в выводе, забыта пустая строка или нулевая сумма, посчитали только значение без восстановления.

В отчёте отдельно карают асимптотику: O(n²) в тексте при таблице n×m×k не пройдёт защиту. Согласуйте оценку с числом состояний и переходов. Когда срок сжат, а попытки на платформе кончились, имеет смысл заказать решение задач динамического программирования с явным ТЗ: полный текст условия, лимиты времени и памяти, язык и версия компилятора, название чекера, примеры ввода-вывода, нужен ли псевдокод и таблица на маленьком примере.

Самостоятельная отладка дешевле, но на плотном графике лабораторных легко утонуть в скрытых тестах. Одногруппник даёт один стиль кода и риск совпадений. Шаблон с форума редко учитывает ваши лимиты памяти. На Напишем можно сравнить предложения авторов с профилем по алгоритмам и CS, описать в заявке тесты и требования к пояснению; доработки остаются в рамках исходного задания. Предоплата от 25%, срок фиксируете в условиях заказа.

Когда решение сходится с чекером и отчётом, перед защитой лабы остаётся понятный разбор: на каких граничных тестах прогнать код самому, почему переход корректен. Баллы по алгоритмам не уходят в «хвост» по ДП, и дальше проще браться за графы и более тяжёлые темы без постоянного отставания по практике. Не паника перед автопроверкой, а контроль над сроком и опора на сдаваемую работу.