Определите понятия optimal substructure (оптимальная подструктура) и overlapping subproblems (перекрывающиеся подзадачи). Объясните теоретически, почему наличие этих двух свойств позволяет применить метод динамического программирования для снижения временной сложности с экспоненциальной до полиномиальной. В чем теоретическое различие между подходом top-down (мемоизация) и bottom-up?