Что ж, рекуррентная часть отношения - это часть T (n / 2), которая каждый раз вдвое уменьшает значение n.
Таким образом, вам потребуется прибл.(log2 n) шагов, чтобы добраться до условия завершения, следовательно, общая стоимость алгоритма составляет O (log2 n).Вы можете игнорировать часть dn, так как она является операцией с постоянным временем для каждого шага.
Обратите внимание, что, как указано, проблема не обязательно будет решена, поскольку повторное деление произвольного значения n неоднократно вряд ли точно достигнет 1Я подозреваю, что часть T (n / 2) должна на самом деле читать T (floor (n / 2)) или что-то в этом роде, чтобы это заканчивалось.