矩阵和向量运算

(这篇只是翻译了一下官方文档 https://eigen.tuxfamily.org/dox/group__TutorialMatrixArithmetic.html

密集矩阵和数据运算

这一章主要是如何使用Eigen在矩阵 向量 标量之间进行运算的概括和详情

介绍

Eigen通过重载常见的C++运算符如(+ - * / )等,或使用一些特殊的方法如 dot(), cross() 等来提供矩阵 / 向量运算方法。对于Matrix类(矩阵和向量),运算符仅重载以支持线性运算。例如: matrix1 * matrix2 意味着 矩阵-矩阵乘积。向量 + 标量则是非法的。如果你想进行所有数据运算而不是线性代数,请看下一节。

加减运算

左右两边必须行数和列数都保持一致。他们必须是相同的Scaler(标量)类型,因为Eigen不会进行自动类型转换,如下:

二元运算符 + 如 a + b

二元运算符 - 如 a - b

一元运算符 - 如 - a

复合运算符 += 如 a += b

复合运算符 -= 如 a -= b

标量乘除

标量的乘法和除法也很简单:

二元运算符 * 向量 * 标量

二元运算符 * 标量 * 向量

二元运算符 / 向量 / 标量

复合运算符 *= 向量 *= 标量

复合运算符 /= 向量 /= 标量

关于表达式模板的说明

这个内容对于这章来讲有点朝纲了,但是必须提一嘴。Eigen中的运算符比如 +, 其实它本身并不会进行任何计算,而是仅仅返回一个描述将要执行的计算的"表达式对象"。实际的运算过程发生在后面整个表达式被评估的时候,一般会在运算符=这里。虽然听起来很头大,但是现代的优化编译器都能把这些抽象过程优化掉,最终只得到最优的代码。例如执行下述运算时:

VectorXf a(50), b(50), c(50), d(50);
...
a = 3*b + 4*c + 5*d;

Eigen 会把它编译成一个for循环, 这样数组只会被便利一边。就类似于这样:

for(int - = 0; i < 50; ++i)
  a[i] = 3*b[i] + 4*c[i] + 5*d[i];

所以,我们可以尽情在Eigen中使用较大的算术表达式: 这样反而给Eigen提供了更多优化的机会。

转置和共轭

一个矩阵或者向量a 的转置矩阵 共轭矩阵以及伴随矩阵(共轭转置)可以通过成员函数 transpose(), conjugate(), and adjoint() 来求得。

对于实矩阵来讲, conjugate() 是无运算函数,所以adjoint() 等同于 transpose()

实矩阵: 矩阵中所有数都是实数的矩阵。

共轭矩阵:

对于基本的算数运算符来说,transpose() 和 adjoint() 并没有经过实际转换,而是仅仅返回了一个代理对象。当你进行 b = a.transpose() 运算时,转换发生的同时会将结果写进b的值中。然而这样还有点麻烦之处,如果你进行的是 a = a.transpose() 运算,Eigen则会在转换运算完成之前就开始将结果写进a的值中。因此,指令 a = a.transpose() 不会将a替换为它的转置,这一点跟人们预判的一致。

Matrix2i a; a << 1,2,3,4;
cout << "Here is the matrix a:\n" << a << endl;

a = a.transpose(); // !!! do not do this, 看 这样就会输出有问题的结果
cout << "and the result of the aliasing effect:\n" << a << endl;

输出:

Here is the matrix a:
1 2 
3 4
and the result of the aliasing effext:
1 2
2 4 // 看 这结果就有问题 所以不要这么干

这就是所说的 aliasing issue(混叠问题)。在 debug 模式下,当断言没有被禁用时,这种常见的错误就会被检测到。

在就地转置中,例如 a = a.transpose(), 可以使用 transposeInPlace() 函数:

MatrixXf a(2,3); a << 1,2,3,4,5,6;
cout << "Here is the initial matrix a:\n" << a << endl;

a.transposeInPlace();
cout << "and afer being trasnposed:\n" << a << endl;

输出:

Here is the initial matrix a:
1 2 3
4 5 6
and after being transposed:
1 4
2 5
3 6

除此之外也有用于复杂矩阵的 adjointInPlace() 方法;

矩阵-矩阵乘法和矩阵-向量乘法

矩阵-矩阵乘法还是用*运算符进行的,由于向量也是矩阵的一种特殊情况,他们也被这样隐式地处理了,所以说矩阵-向量乘法只是矩阵-矩阵乘法的一种特殊情况,向量-向量外积也是如此。因此,所有的这些情况都可以用两个操作符搞定。

  • 二元操作符 * 如 a * b
  • 复合运算符 *= 如 a*=b (右侧乘法 a *=b 等于 a = a * b)

⚠️ Eigen将矩阵乘法视为一种特殊情况,并且做了特殊处理,引入了一个临时值,所以 m = m * m 不会导致混叠问题。

在确定矩阵乘积不会导致混叠问题的情况下,可以使用noalias() 函数来省下临时变量, 例如:

c.noalias() += a * b

BLAS 用户可能会担心性能问题,累细雨 c.noalias() -= 2 * a.adjoint() * b 就是已经充分优化过的,它仅仅出发一个 gemm-like 表达式。

点乘和叉乘

点乘和叉乘使用 dot() 和 cross() 表达式。当然,点乘也可以当作一个 1*1 矩阵来通过 u.adjoint()*v 来计算。

记住,叉乘只用于3维向量,点乘适用于任何大小的向量。使用复数时,Eigen的点积在第一个变量中是共轭线性的, 在第二个变量中是线性的。

#include <iostream>
#inlcude <Eigen/Dense>

using namespace Eigen;
using namespace std;
int main()
{
  Vector3d v(1,2,3);
  Vertor3d w(0,1,2);
  
  cout << "Dot product: " << v.dot(w) << endl;
  double dp = v.adjoint()*w; // automatic conversion of the inner product to a scalar
  cout << "Dot product via a matrix product: " << dp << endl;
  cout << "Cross product:\n" << v.cross(w) << endl;
}
Dot product: 8
Dot product via a matrix product: 8
Cross product:
 1
-2
 1

基本算数规约运算

Eigen 提供了一些规约操作来将一个矩阵或向量规约到某个值,例如求和(sum()),乘积(prod()),最大值(maxCoeff()),最小值(minCoeff())它的所有系数。

#include <iostream>
#include <Eigen/Dense>
 
using namespace std;
int main()
{
  Eigen::Matrix2d mat;
  mat << 1, 2,
         3, 4;
  cout << "Here is mat.sum():       " << mat.sum()       << endl;
  cout << "Here is mat.prod():      " << mat.prod()      << endl;
  cout << "Here is mat.mean():      " << mat.mean()      << endl;
  cout << "Here is mat.minCoeff():  " << mat.minCoeff()  << endl;
  cout << "Here is mat.maxCoeff():  " << mat.maxCoeff()  << endl;
  cout << "Here is mat.trace():     " << mat.trace()     << endl;
}

用trace() 方法得到的矩阵的trace,是矩阵对角线系数的和,用 a.diagonal().sum() 计算也是一样的好,接下来咱们会提到。

minCoeff函数和maxCoeff函数也有一些变体,它们可以通过参数来返回相应系数的的坐标。


最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 196,302评论 5 462
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 82,563评论 2 373
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 143,433评论 0 325
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,628评论 1 267
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 61,467评论 5 358
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,354评论 1 273
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,777评论 3 387
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,419评论 0 255
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,725评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,768评论 2 314
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,543评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,387评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,794评论 3 300
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,032评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,305评论 1 252
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,741评论 2 342
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,946评论 2 336

推荐阅读更多精彩内容