Я использую математический инструментарий в HOL-Z для выполнения некоторых предикатов Isabelle. в частности, я использую определение частичной функции для определения некоторых отношений в спецификаци
Итак, на предыдущем экзамене, мне было предложено решить следующее рекуррентное уравнение без использования Master теорему: T(n)= 9T(n/3) + n^2
К сожалению, я не мог понять это на экзамен, поэтому я
Я пытаюсь решить упражнение, где мне нужно написать код с помощью (n) ∈ Θ (n^3/2) времени исполнения , Мне разрешено использовать рекурсии, сложение, вычитание, деление целых чисел на 2, для циклов, е
Мое назначение выглядит следующим образом: Найдите усиление асимптотической верхней границы для повторения с использованием деревьев рекурсии. Проверьте асимптотическую верхнюю границу: 1: Substitutio
Предположим, вам даны n монет, некоторые из которых тяжелые, а остальные свет. Все тяжелые монеты имеют такой же вес, как и все легкие монеты, и вес тяжелой монеты строго больше веса легкой монеты. Ка