Продвинутый уровень · Доказательства
Сложность задач
Объяснить p и np и выполнить упражнение «Обосновать полиномиальную сводимость», обосновав выбранный подход.
Это программа подготовки модуля. Полный урок ещё не опубликован.
Перед началом
Последовательность уроков
P и NP
До урока: предварительные знания модуля. Результат: объяснить p и np на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Сводимости
До урока: P и NP. Результат: объяснить сводимости на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
NP-полнота
До урока: Сводимости. Результат: объяснить np-полнота на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Приближения
До урока: NP-полнота. Результат: объяснить приближения на примере и применить в итоговом упражнении.
Подготовить пошаговый пример, схему связей понятий, типичную ошибку и способ её обнаружения.
Практика
Задания находятся в программе подготовки. Для базового модуля нужны две задачи на освоение, две на применение и одна в новом контексте. Продвинутые подборки открываются после соответствующей базы.
Подготовить доказательство, контрпример, реализацию и измерительный эксперимент.
Проверочные вопросы
- Объясните «P и NP» на собственном примере. Какие предварительные условия необходимы?
- Какая типичная ошибка возможна в упражнении «Обосновать полиномиальную сводимость»? Какой пример её обнаружит?
Критерии ответа: верные определения, подходящий пример, явные условия применимости и объяснение проверки.
Итоговое упражнение
Обосновать полиномиальную сводимость
- Объединить темы модуля и объяснить выбор решения.
- Проверить нормальный, граничный и ошибочный сценарии.
- Обосновать корректность, время и память; приложить результаты проверки.