求解：算法分析 binrec （n）

请证明：对于一个任意的十进制正整数来说，递归算法Binrec(n)所做的加法运算的精确次数是 logn的下整数。(ps: log以2为底N的对数，取下整数)， 对于该算法的非递归版本，建立其所做的加法运算次数的递推关系并求解。

问题补充：根据N是奇数还是偶数两种情况分别讨论，并证明，对于这两种情况，log以2为底N的对数取下整数都能满足递推关系和初始条件。
非递归版本，参考该算法的伪代码就好了。

此题目来自清华大学出版社2004.6 Anany Levitin著 潘彦译《算法设计与分析基础》第二章第四节的第六题

给出正确解答的将给出20分。多谢