求斐波那契数列矩阵乘法的方法

news2024/11/20 13:23:48

斐波那契数列

先来简单介绍一下斐波那契数列:
斐波那契数列是指这样一个数列:1,1,2,3,5,8,13,21,34,55,89……这个数列从第3项开始 ,每一项都等于前两项之和。

现在要求斐波那契数列的第n项,如果用Java代码层面来讲就是下面这样。

一个for循环,声明一个变量累加到第n项即可。 O ( N ) O(N) O(N)的时间复杂度。但这并不是最优解,最优解的时间复杂度是 O ( L o g N ) O(LogN) O(LogN)

最优解怎么得到的?是根据上面斐波那契数列的递推式: F ( n ) = F ( n − 1 ) + F ( n − 2 ) F(n) = F(n - 1) + F(n - 2) F(n)=F(n1)+F(n2)

这是一项严格的递推式,在告诉初始值的情况下,如果后面的每一项都按照严格的递推式可以推出来,那都有 O ( L o g N ) O(LogN) O(LogN)的方法

那什么没有 O ( L o g N ) O(LogN) O(LogN)的方法呢? 比如说有一个左数列。得到这个左数列的第n项。

给定的信息比如有一个 boolean[] b = {T , T , F , F , T , T , T}。 对于左数列来说,第一项是1,第二项也是1,之后的每一项根据是T还是F来进行表达。 如果当前项是 F ,则 F ( n ) = F ( n − 1 ) F(n) = F(n - 1) F(n)=F(n1) ,如果当前项是 T,则 F ( n ) = F ( n − 1 ) + F ( n − 2 ) F(n) = F(n - 1) + F(n - 2) F(n)=F(n1)+F(n2)。以此来决定下一项值是什么。

所以根据公式:第三项 = 1,第四项 = 1,第五项 = 2 以此类推…。这种就没有 O ( L o g N ) O(LogN) O(LogN)的方法,因为会根据不同的条件进行条件转移。

斐波那契数列就是没有条件转移的严格递推式。这种都有 O ( L o g N ) O(LogN) O(LogN)的方法


线性代数

如果 F ( n ) = F ( n − 1 ) + F ( n − 2 ) F(n) = F(n - 1) + F(n - 2) F(n)=F(n1)+F(n2),第n项和 F(n - 1) 和 F(n - 2)是严格关系,那在公式中,减的最多的常数是2,那就可以说它是一个二阶递推,依然是以斐波那契数列来举例。

已知斐波那契数列的第一项 F(1) = 1,第二项 F(2) = 1,那一定会存在下面这个关系:
∣ F 3 , F 2 ∣ = ∣ F 2 , F 1 ∣ × ∣ a b c d ∣ |F_3,F_2| = |F_2,F_1| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right| F3,F2=F2,F1× acbd
没有为什么,龟腚!

同样的,斐波那契数列的第四项F(4)和第三项F(3) 的行列式一定等于下面的式子(abcd为相同的2 * 2矩阵)。
∣ F 4 , F 3 ∣ = ∣ F 3 , F 2 ∣ × ∣ a b c d ∣ |F_4,F_3| = |F_3,F_2| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right| F4,F3=F3,F2× acbd

那这个2 * 2矩阵的abcd是什么呢? 接下来我们算一下

因为斐波那契数列的前几项我们都是已知的,所以可以先列出来:
F(1) = 1, F(2) = 1,F(3) = 2,F(4) = 3,接下来我们带入到式子中。

∣ F 3 , F 2 ∣ = ∣ F 2 , F 1 ∣ × ∣ a b c d ∣ − > ∣ 2 , 1 ∣ = ∣ 1 , 1 ∣ × ∣ a b c d ∣ |F_3,F_2| = |F_2,F_1| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right| ->|2,1| = |1,1| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right| F3,F2=F2,F1× acbd >∣2,1∣=∣1,1∣× acbd

矩阵乘法:
F 2 ∗ a + F 1 ∗ c = F 3 F_2 * a + F_1 * c = F_3 F2a+F1c=F3 F 2 ∗ b + F 1 ∗ d = F 2 F_2 * b + F_1 * d = F_2 F2b+F1d=F2

带入进来就是 :
{ a + c = 2 b + d = 1 (1) \begin{cases} a + c = 2 \\ b + d = 1 \end{cases} \tag{1} {a+c=2b+d=1(1)
一个式子不够,求不出来,再次带入下一个公式:
∣ F 4 , F 3 ∣ = ∣ F 3 , F 2 ∣ × ∣ a b c d ∣ − > ∣ 3 , 2 ∣ = ∣ 2 , 1 ∣ × ∣ a b c d ∣ |F_4,F_3| = |F_3,F_2| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right|->|3,2| = |2,1| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right| F4,F3=F3,F2× acbd >∣3,2∣=∣2,1∣× acbd

矩阵乘法:
F 3 ∗ a + F 2 ∗ c = F 4 F_3 * a + F_2 * c = F_4 F3a+F2c=F4 F 3 ∗ b + F 2 ∗ d = F 3 F_3 * b + F_2 * d = F_3 F3b+F2d=F3

带入进来就是 :
{ 2 a + c = 3 2 b + d = 2 (2) \begin{cases} 2a + c = 3 \\ 2b + d = 2 \end{cases} \tag{2} {2a+c=32b+d=2(2)
求出:a = 1 , b = 1, c = 1 ,d = 0

再次带入验证一下:
∣ F 5 , F 4 ∣ = ∣ F 4 , F 3 ∣ × ∣ a b c d ∣ − > ∣ F 5 , F 4 ∣ = ∣ 3 , 2 ∣ × ∣ 1 1 1 0 ∣ |F_5,F_4| = |F_4,F_3| \times\left| \begin{matrix} a & b \\ c & d \end{matrix} \right|->|F_5,F_4| = |3,2| \times\left| \begin{matrix} 1 & 1 \\ 1 & 0 \end{matrix} \right| F5,F4=F4,F3× acbd >F5,F4=∣3,2∣× 1110

矩阵乘法:
F 4 ∗ a + F 3 ∗ c = F 5 F_4 * a + F_3 * c = F_5 F4a+F3c=F5 F 4 ∗ b + F 3 ∗ d = F 4 F_4 * b + F_3 * d = F_4 F4b+F3d=F4

3 + 2 = 5 3 + 2 =5 3+2=5 3 + 0 = 3 3 + 0 = 3 3+0=3
求出:F(5) = 5 , F(4) = 3。 证明我们求出的a,b,c,d是对的。

根据上面的公式可以列出:
{ ∣ F 3 , F 2 ∣ = ∣ F 2 , F 1 ∣ × ∣ 矩阵 ∣ ∣ F 4 , F 3 ∣ = ∣ F 3 , F 2 ∣ × ∣ 矩阵 ∣ ∣ F 5 , F 4 ∣ = ∣ F 4 , F 3 ∣ × ∣ 矩阵 ∣ . . . . . ∣ F n , F n − 1 ∣ = ∣ F n − 1 , F n − 2 ∣ × ∣ 矩阵 ∣ \begin{cases} |F_3,F_2| = |F_2,F_1| \times |矩阵|\\ |F_4,F_3| = |F_3,F_2| \times|矩阵|\\ |F_5,F_4| = |F_4,F_3| \times |矩阵|\\ .....\\ |F_n,F_{n-1}| = |F_{n-1},F_{n-2}| \times|矩阵| \end{cases} F3,F2=F2,F1×矩阵F4,F3=F3,F2×矩阵F5,F4=F4,F3×矩阵.....Fn,Fn1=Fn1,Fn2×矩阵

推导一下,将相同的值带入可得出:
∣ F n , F n − 1 ∣ = ∣ F 2 , F 1 ∣ × ∣ 相同矩阵 ∣ n − 2 |F_n,F_{n-1}| = |F_2,F_1| \times\left| \begin{matrix} 相同矩阵 \end{matrix} \right|^{n-2} Fn,Fn1=F2,F1× 相同矩阵 n2

再次回到求斐波那契数列第n项的问题。

我们目前已经推导出了最后的公式,那想要求斐波那契数列第n项的关键点是不是在于求矩阵的n - 2次方,只要矩阵的某次方算的足够快,第n项是不是求的就足够快!!!!


如何让一个数的次方算的足够快

在求得矩阵某次方之前,我们先来看看如何让一个普通的数,比如说 1 0 75 10^{75} 1075这个数算的足够快?

先来搞定这个数,相同的逻辑用在矩阵上,那同样矩阵也会非常快!

利用二进制!

1 0 75 10^{75} 1075如果是75个10相乘,那这是一个 O ( N ) O(N) O(N)的问题,不够快。

首先,将幂数75拆分成对应的二进制为01001011(64 + 8 + 2 + 1 ),再让变量 t = 1 0 1 10^1 101,t不断的和自己相乘变成 1 0 2 10^2 102 1 0 4 10^4 104 1 0 8 10^8 108… t 不断的追赶75不断的和自己相乘,那追赶75的一共追赶多少次? O ( L o g N ) O(LogN) O(LogN)次。

接下来将 变量t 和75的二进制进行融合。

t 没和自己相乘之前,是 1 0 1 10^1 101,我们总的结果 result,一开始是1,这时候看01001011,二进制中1的位置是有值的,说明这个值是我结果需要的,那就用 result * t ( 1 0 1 10^1 101)
在这里插入图片描述

再接着往下来,01001011中2的位置也是1,代表这个位置也是结果需要的,将此时的 t 也乘进来。
在这里插入图片描述
继续往下,此时来到了01001011中的4,4的二进制为0,代表结果不被需要,不需要就不乘这个数,t继续和自己相乘。
在这里插入图片描述
继续向下来到了01001011中的8。同样也是被需要的,将 1 0 8 10^8 108加到结果中。
在这里插入图片描述
依次类推,继续向下,16 32 对应的2进制位置都为0,都不需要这两个数,直到来到了 1 0 64 10^{64} 1064次方,将需要的数都乘到结果中,就是最终答案。
在这里插入图片描述
t 在不断和自己相乘的过程中,按位判断,要不要添加到结果中去。

为什么这么做?

其实追根究底是一个二分的过程,只不过自己二分的过程没有二进制提供的优良。


求一个数字的n次方我们已经解决了 ,那矩阵呢? 同理!

求一个矩阵的75次方

将矩阵的幂数进行二进制拆分,那在求 1 0 75 10^{75} 1075时,先搞了result = 1,如果这个数被需要,就乘到结果中,那换到矩阵中,是不是只要将result 的 1 变成矩阵中代表 1 的数就行了。t 同样也是变成 矩阵的 1次方, 矩阵的2次方,不断和自己相乘。

单位矩阵

单位矩阵中对角线上都是1剩下位置都是0就代表着1 。
∣ 1 0 0 0 1 0 0 0 1 ∣ \left| \begin{matrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix} \right| 100010001

矩阵乘法

  1. 当矩阵A的列数等于矩阵B的行数时,A与B可以相乘。

  2. 矩阵C的行数等于矩阵A的行数,C的列数等于B的列数。

  3. 乘积C的第m行第n列的元素等于矩阵A的第m行的元素与矩阵B的第n列对应元素乘积之和

所以:A是一个 m × n 的矩阵,B是一个 n × p 的矩阵,C是一个 m × p 的矩阵。
∣ 1 2 3 4 ∣ ∗ ∣ 5 6 7 8 ∣ = ∣ 1 ∗ 5 + 2 ∗ 7 1 ∗ 6 + 2 ∗ 8 3 ∗ 5 + 4 ∗ 7 3 ∗ 6 + 4 ∗ 8 ∣ \left| \begin{matrix} 1 & 2 \\ 3 & 4 \\ \end{matrix} \right| * \left| \begin{matrix} 5 & 6 \\ 7 & 8 \end{matrix} \right|= \left| \begin{matrix} 1 * 5 + 2 * 7 & 1 * 6 + 2* 8 \\ 3 * 5 + 4 * 7 & 3 * 6 + 4 * 8 \end{matrix} \right| 1324 5768 = 15+2735+4716+2836+48

代码
因为是两个矩阵相乘,2 * 2的矩阵相得到的也一定是个2 * 2的矩阵,要求的是第F(n)项,根据上面的公式可以得出
F n = F 1 ∗ a + F 2 ∗ c Fn = F_1 * a + F_ 2 * c Fn=F1a+F2c 。 F(1) = 1 F2 = (1) ,所以我们最终结果只需要 res[0][0] + res[1][0] 即可。

 public static int f2(int n){
        if (n == 0){
            return 0;
        }

        if (n == 1 || n == 2){
            return 1;
        }
		//斐波那契数列的单位矩阵
        int[][] base = {{1,1},
                        {1,0}};

        int[][] res = matrixPower(base,n - 2);

        return res[0][0] + res[1][0];
    }

    public static int[][] matrixPower(int[][] m, int p) {
        int[][] res = new int[m.length][m[0].length];
        for (int i = 0; i < res.length; i++) {
            res[i][i] = 1;
        }
        // res = 矩阵中的1
        int[][] t = m;// 矩阵1次方
        for (; p != 0; p >>= 1) {
            if ((p & 1) != 0) {
                res = product(res, t);
            }
            t = product(t, t);
        }
        return res;
    }

    // 两个矩阵乘完之后的结果返回
    public static int[][] product(int[][] a, int[][] b) {
        int n = a.length;
        int m = b[0].length;
        int k = a[0].length; // a的列数同时也是b的行数
        int[][] ans = new int[n][m];
        for(int i = 0 ; i < n; i++) {
            for(int j = 0 ; j < m;j++) {
                for(int c = 0; c < k; c++) {
                    ans[i][j] += a[i][c] * b[c][j];
                }
            }
        }
        return ans;
    }

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1384199.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Scratch优秀作品飞翔小鸟

程序说明&#xff1a;在无尽的划痕堆中飞驰而过随着你越来越多地飞进迷宫般的街区&#xff0c;平台变得越来越难。 演示视频 scratch飞翔小鸟 其实这就是一个类似像素小鸟的程序&#xff0c;只不过水管角色就地取材&#xff0c;使用scratch里面的积木图片拼成了水管&#xff0…

【算法】了解哈希表/思想 并用哈希解算法题(C++)

文章目录 基本了解解题1.两数之和面试题01.02.判定是否互为字符重排217.存在重复元素219.存在重复元素II49.字母异位词分组 基本了解 哈希表是什么&#xff1f; 一种数据结构&#xff0c;用于存储元素。 有什么用&#xff1f; 用于快速查找元素 与 插入 何时用哈希表&…

代码随想录 Leetcode160. 相交链表

题目&#xff1a; 代码(首刷看解析 2024年1月13日&#xff09;&#xff1a; class Solution { public:ListNode *getIntersectionNode(ListNode *headA, ListNode *headB) {ListNode *A headA, *B headB;while (A ! B) {A A ! nullptr ? A->next : headB;B B ! nullpt…

Shell编程自动化之Shell数学运算与条件测试

一、Shell数学运算 1.Shell常见的算术运算符号 序号算术运算符号意义1、-、*、/、%加、减、乘、除、取余2**幂运算3、–自增或自减4&&、||、&#xff01;与、或、非5、!相等、不相等&#xff0c;也可写成6、、-、*、/、%赋值运算符&#xff0c;a1相等于aa1 2.Shell常…

HUAWEI华为MateStation S台式机电脑12代PUC-H7621N,H5621N原装出厂Windows11.22H2系统

链接&#xff1a;https://pan.baidu.com/s/1QtjLyGTwMZgYiBO5bUVPYg?pwd8mx0 提取码&#xff1a;8mx0 原厂WIN11系统自带所有驱动、出厂主题壁纸、系统属性专属联机支持标志、Office办公软件、华为电脑管家等预装程序 文件格式&#xff1a;esd/wim/swm 安装方式&#xf…

高光谱分类论文解读分享之基于形态卷积神经网络的高光谱影像分类

IEEE TGRS 2021&#xff1a;基于形态卷积神经网络的高光谱影像分类 题目 Morphological Convolutional Neural Networks for Hyperspectral Image Classification 作者 Swalpa Kumar Roy; Ranjan Mondal; Mercedes E. Paoletti; Juan M. Haut; Antonio Plaza 关键词 Clas…

Ubuntu下使用Virtual Box中显示没有可用的USB设备

Ubuntu中使用Virtual Box&#xff0c;但是使用到USB时只有USB1.1可以使用&#xff0c;并且提示没有可以使用的USB设备&#xff0c;解决方法如下 下载并安装Vitrual Box提供的功能扩展包 分别点击帮助->关于&#xff0c;查看当前使用的版本进入到Virtual Box官网下载链接根…

LabVIEW在金属铜大气腐蚀预测评价系统中的应用

为了应对电子设备和仪器中金属铜因大气腐蚀带来的挑战&#xff0c;开发一种基于LabVIEW平台的先进预测评价系统。这个系统的设计宗旨是准确预测并评估在不同室内外环境中金属铜的腐蚀状况。我们团队在LabVIEW的强大数据处理和图形化编程支持下&#xff0c;结合实际的大气腐蚀数…

【Java语言基础②】Java基本语法——Java程序基本格式,注释,标识符,常量

通过前面的学习&#xff0c;大家对Java语言有了一个基础认识&#xff0c;但现在还无法使用Java语言编写程序&#xff0c;要熟练使用Java语言编写程序&#xff0c;必须充分掌握Java语言的基础知识。今天咱们就来聊一聊Java的基本语法。 1.java程序的基本格式 Java程序代码必须…

制作docker镜像时,使用copy命令统一文件的不同所属用户

一、背景 在制作docker镜像时&#xff0c;使用COPY命令&#xff0c;可以统一原本不同所属用户的文件为同一个用户root。 我们都知道&#xff0c;linux系统&#xff0c;不同的用户之间的访问是受限的。 整个文件夹的用户通体都是devuser&#xff0c;但是里面的文件却是其他用户…

4D 毫米波雷达:智驾普及的新路径(二)

4 4D 毫米波的技术路线探讨 4.1 前端收发模块 MMIC&#xff1a;级联、CMOS、AiP 4.1.1 设计&#xff1a;级联、单芯片、虚拟孔径 4D 毫米波雷达的技术路线主要分为三种&#xff0c;分别是多级联、级联 虚拟孔径成像技术、以及 集成芯片。&#xff08; 1 &#xff09;多级…

训练FastestDet(Anchor-Free、参数量仅0.24M),稍改代码使得符合YOLO数据集排布

文章目录 0 参考链接1 准备数据1.1 使用以下代码生成绝对路径的txt文件1.2 在config文件夹下新建一个xxx.names文件 2 配置训练参数3 稍改代码使得符合YOLO数据集排布4 开始训练 0 参考链接 官方的代码&#xff1a;FastestDet 1 准备数据 我已有的数据集排布&#xff1a;&am…

Python Matplotlib 动画教程:提高可视化吸引力的强大工具【第24篇—python:Matplotlib】

文章目录 &#x1f356; 方法一&#xff1a;使用pause()函数&#x1f680; 方法二&#xff1a;使用FuncAnimation()函数&#x1f94b; 线性图动画&#xff1a;&#x1f3bb; Python中的条形图追赶动画&#x1f30c; Python中的散点图动画&#xff1a;&#x1f6f9; 条形图追赶的…

Date怎么转localDate和localDate转Date

Date怎么转localDate 首先&#xff0c;将java.util.Date对象转换为java.time.Instant对象。Instant是表示时间戳的类&#xff0c;可以精确到纳秒级别。 Date date new Date();Instant instant date.toInstant(); 然后&#xff0c;使用java.time.ZoneId类来指定时区&#xf…

LV.13 D11 Linux驱动移植及内核深化 学习笔记

一、设备树 1.1 设备树 设备树是一种描述硬件信息的数据结构&#xff0c;Linux内核运行时可以通过设备树将硬件信息直接传递给Linux内核&#xff0c;而不再需要在Linux内核中包含大量的冗余编码 举例&#xff1a;让LED2闪烁的代码中&#xff0c;有逻辑代码和设备代码。Li…

VS中动态库的创建和调用

VS中动态库的创建和调用 库 ​ 库是写好的现有的&#xff0c;成熟的&#xff0c;可以复用的代码。库的存在形式本质上来说库是一种可执行代码的二进制。 ​ 库有两种&#xff1a;静态库&#xff08;.a、.lib&#xff09;和动态库&#xff08;.so、.dll&#xff09;。所谓静态…

基于Java SSM框架实现体育竞赛成绩管理系统项目【项目源码+论文说明】计算机毕业设计

基于java的SSM框架实现体育竞赛成绩管理系统演示 摘要 体育竞赛是各种体育体育项目比赛的总称。是在裁判员的主持下&#xff0c;按统一的规则要求&#xff0c;组织与实施的体育员个体或体育队之间的竞技较量&#xff0c;是竞技体育与社会发生关联&#xff0c;并作用于社会的媒…

Java网络爬虫--HttpClient

目录标题 技术介绍有什么优点&#xff1f;怎么在项目中引入&#xff1f; 请求URLEntityUtils 类GET请求带参数的GET请求POST请求 总结 技术介绍 HttpClient 是 Apache Jakarta Common 下的子项目&#xff0c;用来提供高效的、功能丰富的、支持 HTTP 协议的客户端编程工具包。相…

2023年全国职业院校技能大赛软件测试赛题—单元测试卷⑧

单元测试 一、任务要求 题目1&#xff1a;根据下列流程图编写程序实现相应处理&#xff0c;执行j10*x-y返回文字“j1&#xff1a;”和计算值&#xff0c;执行j(x-y)*(10⁵%7)返回文字“j2&#xff1a;”和计算值&#xff0c;执行jy*log(x10)返回文字“j3&#xff1a;”和计算值…

3.三极管和MOS管

3.三极管和MOS管 基础知识三极管是电流控制型器件MOS管是电压控制型器件 分类及引脚定义电流导通方向基础应用常用MOS管电平转换电路MOS管实现电平转换用MOS管实现的“I2C总线电平转换电路”&#xff0c;实现3.3V电压域与5V电压域间的双向通讯 基础知识 三极管是电流控制型器件…