Асимптотика:
Всего делается logH и logW (суммарно logHW) рекурсивных запусков. Каждый из них отрабатывает за HW. Значит итоговая асимптотика О(HW*logHW)
По памяти: на каждом шаге рекурсии HW. Всего шагов рекурсии logH. Значит по памяти асимптотика О(HWlogH)