Изменения

<mathtex>m^{(i)} = a * b_i * 2^{i}</mathtex>

вначале мы суммируем <mathtex>m^{(0)}</mathtex> и <mathtex>m^{(1)}</mathtex>, саму сумму занесем в <mathtex>u^{(1)}</mathtex>, а переносы в <mathtex>v^{(1)}</mathtex>(в <mathtex>u^{(1)}</mathtex> и <mathtex>v^{(1)}</mathtex> будет не более n+1 битов в каждом), затем суммируем числа <mathtex>u^{(1)}</mathtex>, <mathtex>v^{(1)}</mathtex>, <mathtex>m^{(2)}</mathtex> и получаем <mathtex>u^{(2)}</mathtex>, <mathtex>v^{(2)}</mathtex>. Так суммируется <mathtex>u^{(i-1)}</mathtex>, <mathtex>v^{(i-1)}</mathtex>, <mathtex>m^{(i)}</mathtex> для всех i = 2, 3, … , n – 1. В итоге получаем два числа <mathtex>u^{(n-1)}</mathtex> и <mathtex>v^{(i-1)}</mathtex>, которые складываем с помощью [[двоичный каскадный сумматор|двоичного каскадного сумматора]].

Частичные произведения вычисляются за n шагов, то есть имеют временную сложность O(n). Сложение с вычисление переносов включает n - 1 шагов и требут требует времени O(n). Последнее сложение можно выполнить за O(log n). <br>