最近翻了两页《具体数学》, 序言说的确实很有道理
只有掌握了足够多的具体技巧, 才能堆得起全局的抽象理解
这里做点笔记
![f3936c81d57c79f61d8dcec1b50e6177.png](https://i-blog.csdnimg.cn/blog_migrate/eadb7143e6938f2ba397d57fcca90caa.png)
第一章最后推广到了这么一个递推式:
对这个递推式, 要求
设
注意这里的
这反过来说明: 如果我们能通过取具体的
- 取
稍微归纳一下, 可以证明此时
这里的
即
这里
2. 把
即
3. 在递归式中代入
得到
可解得
综上
我们得到了方程组:
其中:
于是可以解得:
于是, 我们得到了
回过头来看二进制向左循环移位的函数...
取
用位运算写的话看起来更清晰:
x = x << 1 + 1;
举例:
其中
2.
3.
把通解扩展到二进制的形式...
先约定一种扩展的二进制记号:
再约定一个指示函数:
则由一开始的递归式, 分奇偶讨论可知:
那么, 如果记
则
如
代入
观察一下发现, 对于形如
所以看起来形成了循环左移的效果.