C++ 矩阵

目录

了解矩阵的数学原理(大学线性代数)

矩阵及转置矩阵

矩阵乘法

矩阵快速幂

相伴矩阵模板

[[相伴矩阵,快速矩阵幂]CSES1722 Fibonacci Numbers](#[相伴矩阵,快速矩阵幂]CSES1722 Fibonacci Numbers)


了解矩阵的数学原理(大学线性代数)

矩阵及转置矩阵

这里A就是一个矩阵,1, 2,3,4就是矩阵里的元素

就是一个转置矩阵T是转置符 这个矩阵原来是

矩阵乘法

这是矩阵乘法, 矩阵加法和减法简单地定义为逐个元素进行加减。注意,两个矩阵的行数、列数分别相等时,加减法才有定义。矩阵的乘法比较复杂,当A的列数等于B的行数时,则可以定义乘法C=AB。如果A是m×n矩阵,B是n×p矩阵,那么C是一个m×p矩阵,其中cik满足

如果A和B不满足要求的大小就不能够成一个矩阵C。

如果你还理解不了就看一下下面这个线性方程吧


可以用矩阵表示为:

第一个框是A(矩阵) , 第二个是x(向量, 未知数) 得出的第三个框是b(向量矩阵解)

矩阵乘法是矩阵第一列成第一个未知数

例如:

这是我随便写的一个方程, 用矩阵表示为:

大家就知道了第一列表示x在三个方程存在的数量,第二列表示y在三个方程存在的数量, 第三列表示z在三个方程存在的数量。

矩阵快速幂

这3个矩阵分别为A, x和b(注意x和b都是n×1的矩阵,也称列向量),则线性方程组可以简单地写成Ax=b。这样是不是很方便呢?建议读者仔细研究一下这个Ax=b。它意味着A把一个列向量x变成了另外一个列向量b。也就是说,矩阵A描述的是一个线性变换,它把向量x变换到了向量b。在算法竞赛中,只要遇到"把一个向量v变成另一个向量v',并且v' 的每一个分量都是v各个分量的线性组合"的情况,就可以考虑用矩阵乘法来描述这个关系。这里的线性组合是指每个元素乘以一个常数后相加。比如2x+3y-z就是x、y、z的线性组合,但5xy和x2-3y都不是。矩阵乘法最重要的性质就是满足结合律,即(AB)C=A(BC),因此和幂取模一样,An也可以用倍增法加速。

摘自: 202403-榕阳-提高组-专题基础-P05-矩阵计算 (kdocs.cn)https://www.kdocs.cn/l/cqHzHcSMgykl

相伴矩阵模板

[相伴矩阵,快速矩阵幂]CSES1722 Fibonacci Numbers

Fibonacci Numbers - CSES 1722 - Virtual Judgehttps://vjudge.net/problem/CSES-1722
定义Fibonacci 如下:F0=1,F1=1,Fn=Fn-2+Fn-1。对于指定的n(0≤n≤10^18),计算斐波那契数列第n项的值,结果对10^9+7取模。

|-------|-------|
| 样例输入: | 样例输出: |
| 10 | 55 |

这是矩阵的关系式:

代码:

cpp 复制代码
// CSES1722 Fibonacci Numbers
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
#define _for(i, a, b) for (int i = (a); i < (int)(b); ++i)
const LL P = 1e9 + 7;
using VL = vector<LL>;
struct Mat {
  int n, m;
  vector<VL> F;
  Mat(int _n, int _m) : n(_n), m(_m), F(n, VL(m)) {}
  Mat operator*(const Mat& x) const {
    assert(m == x.n);
    Mat ans(n, x.m);
    _for(r, 0, n) _for(c, 0, x.m) {
      _for(i, 0, m)(ans.F[r][c] += F[r][i] * x.F[i][c] % P) %= P;
    }
    return ans;
  }
  Mat operator^(LL k) const {
    assert(k >= 1);
    assert(n == m);
    Mat ans = *this, p = *this;
    for (--k; k; k >>= 1, p = p * p)
      if (k & 1) ans = ans * p;
    return ans;
  }
};
int main() {
  ios::sync_with_stdio(false), cin.tie(0);
  LL n, ans = -1;
  cin >> n;
  if (n == 0)
    ans = 0;
  else if (n == 1)
    ans = 1;
  else {
    Mat A(2, 2), v1(2, 1);
    A.F = {{1, 1}, {1, 0}}, v1.F = {{1}, {0}};
    Mat vn = (A ^ (n - 1)) * (v1);
    ans = vn.F[0][0];
  }
  cout << ans << "\n";
  return 0;
}
相关推荐
爱学习的大牛1237 分钟前
通过vmware虚拟机安装和调试编译好的 ReactOS
c++·windows内核
Dontla1 小时前
Rust泛型系统类型推导原理(Rust类型推导、泛型类型推导、泛型推导)为什么在某些情况必须手动添加泛型特征约束?(泛型trait约束)
开发语言·算法·rust
Ttang231 小时前
Leetcode:118. 杨辉三角——Java数学法求解
算法·leetcode
喜欢打篮球的普通人1 小时前
rust模式和匹配
java·算法·rust
java小吕布1 小时前
Java中的排序算法:探索与比较
java·后端·算法·排序算法
tumu_C1 小时前
C++模板特化实战:在使用开源库boost::geometry::index::rtree时,用特化来让其支持自己的数据类型
c++·开源
杜若南星2 小时前
保研考研机试攻略(满分篇):第二章——满分之路上(1)
数据结构·c++·经验分享·笔记·考研·算法·贪心算法
路遇晚风2 小时前
力扣=Mysql-3322- 英超积分榜排名 III(中等)
mysql·算法·leetcode·职场和发展
Neophyte06082 小时前
C++算法练习-day40——617.合并二叉树
开发语言·c++·算法