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