雁过无痕

  C++博客 :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理 ::

pdf版本下载

㈠ Fibonacci

刚接触Fibonacci数的时候,在网上看到“矩阵法”,看到要先实现一个矩阵乘法,感觉太麻烦了。后来仔细观察Fibonacci数列,发现有下面的规律:

F(n)     = F(k)*F(n+1-k) + F(k-1)*F(n-k)          =>

F(2*n)   = F(n+1) * F(n) + F(n) * F(n - 1)

F(2*n+1) = F(n+1) * F(n+1) + F(n) * F(n)

根据该公式:要计算F(n),只需先计算出F(n/2)和F(n/2+1),于是得出一个数的O(log n)解法。(例如:计算F(13) => 计算F(6)、F(7) => 计算F(3)、F(4) => 计算F(1)、F(2)。)

再后来无意间发现,“矩阵法”根本就不必实现一个矩阵,网上广为流传的糟糕的做法,掩盖了“矩阵法”的优美。

 

     先回顾下Fibonacci数列的矩阵法:

  

上式中,对系数矩阵A求n次方,有O(log n)解法,因而整个算法是O(log n)。

某些介绍矩阵法的文章,会“偷懒”采用上面的第二种写法,而不是第一种写法。偷懒的结果,总是要付出代价的。对上面矩阵法的实现,存在两个盲点,也正由于这两个盲点,使“矩阵法”的实现代码看起来很复杂,失去了简洁之美。

 

盲点之一:对系数矩阵A求n次方,可以不采用矩阵乘法来实现。

将F(1) = F(2) = 1, F(0) = 0代入上面的公式1,得到:


    上式,对任意 n >=1都成立,也就是说A的任意n次方,只要用两个变量表示,根本没必要去实现矩阵乘法。

另外,由 A^n = A^k * A^(n-k),结合上式,很容易就得到前面提到的公式:

F(n) = F(k)*F(n+1-k) + F(k-1)*F(n-k)

 

 

盲点之二: A的n次方计算方法。

计算一个数m的n次方,

若采用迭代法的话,一般是将m^n,拆分成m、m^2、m^4、m^8…中的几个的乘积。

若采用递归的话,则是将m^n拆分成计算m^(n/2)

 

//迭代法:

int pow1(int m, unsigned n)

{

   int result = 1;

  int factor = m;

   while (n) {

     if (n & 1) { result *= factor; }

     factor *= factor;

     n /= 2u;

   }

   return result;

}

 

//递归法

int pow2(int m, unsigned n)

{

 if (n == 0) return 1;

 int square_root = pow2(m, n / 2);

 int result = square_root * square_root;

 if (n & 1) result *= m;

 return result;

}

 

对于计算一个整数的n次方,显然第一种解法效率高,但对计算矩阵的n次方,第二种解法(递归法)则更简单。该递归算法也可写成迭代形式:

 

int pow3(int m, unsigned n)

{

 if (n == 0) return 1;

 unsigned flag = n;               //小等于n的最大的2的k次幂

 for (unsigned value = n; value &= (value - 1); ) flag = value;

 

 int result = m;

 while (flag >>= 1) {

    result *= result;

    if (n & flag) result *= m;

 }

 return result;

}

 

(求小等于n的最大的2k次幂(或求二进制表示中的最高/左位1),有两种不通用O(1)方法:一种是使用位扫描汇编指令、另外一种是利用浮点数的二进制表示。)

unsigned extract_leftmost_one(unsigned num)

{

 union {

    unsigned i;

    float f;

 } u;

 u.f = (float)num;

 return u.i >> 23;

}

 

最后可得到如下代码:

采用一般迭代法计算A^n

typedef unsigned uint;

 

static inline void matrix_multiply(uint& b1, uint& b2, uint a1, uint a2)

{

 const uint r1 =   a1 * b1 + a1 * b2 + a2 * b1;

 const uint r2 =   a1 * b1 + a2 * b2;

 b1 = r1;

 b2 = r2; 

}

 

uint fib_matrix(uint num)

{

 uint b1 = 0, b2 = 1;

 uint a1 = 1, a2 = 0;

 for (; num != 0; num >>= 1) {

    if (num & 1) matrix_multiply(b1, b2, a1, a2);

    matrix_multiply(a1, a2, a1, a2);

 }

 return b1;

}

 

 

采用新的迭代法计算A^n

typedef unsigned uint;

uint fibonacci(uint num)

{

 if (num == 0) return 0;

 uint flag = num;             //extract_leftmost_one

 for (uint value = num; value &= value - 1; ) flag = value;

 

 uint a1 = 1, a2 = 0;

 while (flag >>= 1) {

   const uint r1 = a1 * a1 + 2 * a1 * a2;

    const uint r2 = a1 * a1 +     a2 * a2; 

    a1 = r1;

    a2 = r2;

    if (num & flag) {

      a1 = r1 + r2;

      a2 = r1;

    }

 }

 return a1;

}

 

 

上面提到的方法,很容易扩展到三阶矩阵,下面是《编程之美》书上的一道扩展题的解法:

(具体分析见下一节)

 

假设:A(0)=1, A(1)=2, A(2)=2,对n>2都有A(n)=A(n-1)+A(n-2)+A(n-3),

1. 对于任何一个给定的n,如何计算出A(n)?

2. 对于n非常大的情况,如n=2^60的时候,如何计算A(n) mod M (M < 100000)呢?

 

typedef unsigned uint;

typedef unsigned long long uint64;

 

uint fib_ex(uint64 num, uint M)

{

 assert(M != 0);

 const uint g0 = 1, g1 = 2, g2 = 2;

 if (num == 0) return g0;

 uint64 flag = num;

 for (uint64 value = num; value &= value - 1; ) flag = value;

 

 uint64 a1 = 0, a2 = 1, a3 = 0;

 while (flag >>= 1) {

    const uint64 r1 = 2 * (a1 + a2 + a3) * a1 +      a2 * a2;

    const uint64 r2 = 2 * (a1 + a2)      * a1 + 2 * a2 * a3; 

    const uint64 r3 =     (a1 + 2 * a2) * a1 +      a3 * a3;

    a1 = r1;

    a2 = r2;

    a3 = r3;

    if (num & flag) {

      a1 = r1 + r2;

      a2 = r1 + r3;

      a3 = r1;

    }

    a1 %= M;

    a2 %= M;

    a3 %= M;

 }

 return (a1 * g2 + a2 * g1 + a3 * g0) % M;

}

 

 

㈡ 扩展数列的通解:

    下面将前面的结果扩展到任意m阶数列:



例子:

 

   m=2 g(n) = f1 * g(n-1) + f2 * g(n-2) 初始值为:g0 = g(0) g1=g(1)

     设系数矩阵为AAn的最后一行为(a1 a2),则

倒数第二行为:(f1*a1 + a2 f2*a1)

即:

     系数矩阵A              An

      f1 f2        f1*a1 + a2    f2*a1

      1   0            a1         a2

 

 

typedef unsigned uint;

 

uint fib_matrix2(uint num)

{

 if (num == 0) return g0;

 uint flag = num;

 for (uint value = num; value &= value - 1; ) flag = value;

 /*

     A               A^n

    f1 f2   f1*a1 + a2    f2*a1

    1   0       a1         a2

 */

 uint a1 = 1, a2 = 0; // 0 0 ... 1 0

 while (flag >>= 1) {

    const uint r1 = f1 * a1 * a1 + 2 * a1 * a2;

    const uint r2 = f2 * a1 * a1 +      a2 * a2; 

    a1 = r1;

    a2 = r2;

    if (num & flag) {

      a1 = f1 * r1 + r2;

      a2 = f2 * r1;

    }

 }

 return a1 * g1 + a2 * g0;

}

 

② m=3 g(n) = f1 * g(n-1) + f2 * g(n-2) + f3*g(n-3),初始值为:g0 = g(0)g1=g(1), g2=g(2)

设系数矩阵为AAn的最后一行为(a1 a2 a3),则

倒数第二行为:(f1*a1 + a2 f2*a1 + a3 f3*a1)

    倒数第三行为:((f1*f1+f2)*a1 + f1*a2 + a3   (f1*f2+f3)*a1 + f2*a2  f1*f3*a1 + f3*a2)

即:

    系数矩阵A                                 An 

    f1 f2 f3    (f1*f1+f2)*a1 + f1*a2 + a3 (f1*f2+f3)*a1 + f2*a2   f1*f3*a1 + f3*a2

    1   0   0             f1*a1 + a2                 f2*a1 + a3         f3*a1

    0   1   0               a1                      a2                 a3

 

typedef unsigned uint;

 

uint fib_matrix3(uint num)

{

 if (num == 0) return g0;

 uint flag = num;

 for (uint value = num; value &= value - 1; ) flag = value;

 /*

       A                                       A^n

    f1 f2 f3   (f1*f1+f2)*a1 + f1*a2 + a3 (f1*f2+f3)*a1 + f2*a2   f1*f3*a1 + f3*a2

    1   0   0            f1*a1 + a2                  f2*a1 + a3         f3*a1

    0   1   0               a1                          a2                 a3

 */

 uint a1 = 0, a2 = 1, a3 = 0; // 0 0 ... 1 0

 while (flag >>= 1) {

    const uint r1 = (f1 * f1 + f2) * a1 * a1 +  2 * f1 * a1 * a2 + 2 * a1 * a3 + a2 * a2;

    const uint r2 = (f1 * f2 + f3) * a1 * a1 + 2 * f2 * a1 * a2 + 2 * a2 * a3; 

    const uint r3 = (f1 * f3)      * a1 * a1 + 2 * f3 * a1 * a2 +     a3 * a3;

    a1 = r1;

    a2 = r2;

    a3 = r3;

    if (num & flag) {

      a1 = f1 * r1 + r2;

      a2 = f2 * r1 + r3;

      a3 = f3 * r1;

    }

 }

 return a1 * g2 + a2 * g1 + a3 * g0;

}

 

 

posted on 2012-02-28 22:14 flyinghearts 阅读(2404) 评论(11)  编辑 收藏 引用 所属分类: 算法

评论

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-02-28 23:07 四季青租房
不错,学习了  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-02-29 09:11 tb
很不错啊  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-20 01:51 wywcgs
1. 矩阵乘法可以轻易扩展到求前n项和。
2. 后面那个A^n = \sum_{i=0}^{n-1}f_i*A^i的公式不是你那么用的。按你这么用你到底要推多少的东西。事实上你把那个系数当成多项式A^i的系数,分治之后再square就行了。而且你要是愿意折腾的话还能用fft优化  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-20 20:58 flyinghearts
@wywcgs

那个A^n = sum(...) 公式根本没用到。只是在推导过程中,发现有这个性质,就写上了。

你觉得你那样做更高效的话,麻烦你把三阶的情况实现下,没代码没真相。




  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-21 13:55 wywcgs
@flyinghearts

不如您实现一下1000阶的吧,三阶太小儿科了。f(n) = f(n-1) + f(n-2) + .... + f(n-1000),f(0) = f(1) = .... = f(999) = 1。
代码我早在很久以前就实现过无数份了,我现在随手就能拿出一份,n等于多少都行。不知您的代码要写多久  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-21 20:17 flyinghearts
@wywcgs

你要么根本就没看我的算法、要么就是没看懂。 不要说1000阶,就是10000阶、任意阶,都不成问题。三阶那种写法,是对三阶的情况进行具体优化。

既然你可以随手拿出一份,那就把代码贴出来吧。



  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-22 23:29 wywcgs
@flyinghearts

没说你的不行。只是说你要推的东西略多。实现复杂。

贴代码?懒得贴。你给个邮箱,我传你份。  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-03-24 21:19 flyinghearts
@wywcgs
qq邮箱。这个用户名。

  回复  更多评论
  

# re: Fibonacci数计算中的两个思维盲点及其扩展数列的通用高效解法 2012-04-04 21:03 flyinghearts
@wywcgs
代码呢??  回复  更多评论
  


只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   博问   Chat2DB   管理