Since there are $n/2$ bits in each part, and there are $N = 2^n$ nodes in total, at most $N/2$ bits can be fixed in the first step.
At the second step, the algorithm can fix at most one more bit in each of the $a_s$ and $b_s$ parts of the source nodes. Again,
Show more…