Eigen非常方便矩陣操作,當然它的功能不止如此,由於本人只用到了它的矩陣相關操作,所以這裏只給出了它的一些矩陣相關的簡單用法,以方便快速入門。矩陣操作在算法研究過程中,非常重要,例如在圖像處理中二維高斯擬合求取光斑中心時使用Eigen提供的矩陣算法,差不多十來行代碼即可實現,具體可見:http://blog.csdn.NET/hjx_1000/article/details/8490653
Eigen的下載與安裝,可參考下面兩個博客:
http://blog.csdn.net/hjx_1000/article/details/8477522
或者:http://blog.csdn.Net/abcjennifer/article/details/7781936;
Eigen幫助文檔的地址:http://eigen.tuxfamily.org/dox/pages.html,本文中很多例子也是直接摘自這些幫助文檔,
另外關於Eigen的論壇可以訪問http://forum.kde.org/viewforum.PHP?f=74
Eigen用源碼的方式提供給用戶使用,在使用時只需要包含Eigen的頭文件即可進行使用。
之所以採用這種方式,是因爲Eigen採用模板方式實現,由於模板函數不支持分離編譯,所以只能提供源碼而不是動態庫的方式供用戶使用,不過這也也更方面用戶使用和研究。關於模板的不支持分離編譯的更多內容,請參考:http://blog.csdn.net/hjx_1000/article/details/8093701
1、 矩陣的定義
Eigen中關於矩陣類的模板函數中,共有6個模板參數,但是目前常用的只有前三個,如下所示:
typedef Matrix<double,Dynamic, Dynamic> MatrixXd;
|
typedef Matrix< double , 3 , 1> Vector3d |
注意:
(1)Eigen中無論是矩陣還是數組、向量,無論是靜態矩陣還是動態矩陣都提供默認構造函數,也就是你定義這些數據結構時都可以不用提供任何參數,其大小均由運行時來確定。
(2)矩陣的構造函數中只提供行列數、元素類型的構造參數,而不提供元素值的構造,對於比較小的、固定長度的向量提供初始化元素的定義,例如:
2、動態矩陣和靜態矩陣
動態矩陣是指其大小在運行時確定,靜態矩陣是指其大小在編譯時確定,在Eigen中並未這樣稱呼矩陣。具體可見如下兩段代碼:
代碼段1:
代碼段2: 說明:1)代碼段1中MatrixXd表示任意大小的元素類型爲double的矩陣變量,其大小只有在運行時被賦值之後才能知道; MatrixXd::Random(3,3)表示產生一個元素類型爲double的3*3的臨時矩陣對象。
2) 代碼段2中Matrix3d表示元素類型爲double大小爲3*3的矩陣變量,其大小在編譯時就知道;
3)上例中向量的定義也是類似,不過這裏的向量時列優先,在Eigen中行優先的矩陣會在其名字中包含有row,否則就是列優先。
4)向量只是一個特殊的矩陣,其一個維度爲1而已,如:typedef Matrix< double , 3 , 1> Vector3d
3、矩陣元素的訪問
在矩陣的訪問中,行索引總是作爲第一個參數,需注意Eigen中遵循大家的習慣讓矩陣、數組、向量的下標都是從0開始。矩陣元素的訪問可以通過()操作符完成,例如m(2,3)即是獲取矩陣m的第2行第3列元素(注意行列數從0開始)。可參看如下代碼:
其輸出結果爲:
Here is the matrix m: 3 -1 2.5 1.5 Here is the vector v: 4 3
針對向量還提供[]操作符,注意矩陣則不可如此使用,原因爲:在C++中m[i, j]中逗號表達式 “i, j”的值始終都是“j”的值,即m[i, j]對於C++來講就是m[j];
4、設置矩陣的元素
在Eigen中重載了"<<"操作符,通過該操作符即可以一個一個元素的進行賦值,也可以一塊一塊的賦值。另外也可以使用下標進行復制,例如下面兩段代碼:
代碼段1
輸出結果爲:
1 2 3 4 5 6 7 8 9
(3) 使用“=”操作符操作動態矩陣時,如果左右邊的矩陣大小不等,則左邊的動態矩陣的大小會被修改爲右邊的大小。例如下面的代碼段:
a is of size 2x2 a is now of size 3x3
還需特別注意的是:如果特別大的矩陣使用了固定大小的靜態矩陣則可能造成棧溢出的問題
---------------------------------------------------------------------------------------------
本文主要是Eigen中矩陣和向量的算術運算,在Eigen中的這些算術運算重載了C++的+,-,*,所以使用起來非常方便。
1、矩陣的運算
Eigen提供+、-、一元操作符“-”、+=、-=,例如:
二元操作符+/-表示兩矩陣相加(矩陣中對應元素相加/減,返回一個臨時矩陣): B+C 或 B-C;
一元操作符-表示對矩陣取負(矩陣中對應元素取負,返回一個臨時矩陣): -C;
組合操作法+=或者-=表示(對應每隔元素都做相應操作):A += B 或者 A-=B
代碼段1爲矩陣的加減操作,代碼如下:
輸出結果爲:
a + b = 3 5 4 8 a - b = -1 -1 2 0 Doing a += b; Now a = 3 5 4 8 -v + w - v = -1 -4 -6
另外,矩陣還提供與標量(單一個數字)的乘除操作,表示每個元素都與該標量進行乘除操作。例如:
二元操作符*在:A*a中表示矩陣A中的每隔元素都與數字a相乘,結果放在一個臨時矩陣中,矩陣的值不會改變。
對於a*A、A/a、A*=a、A /=a也是一樣,例如下面的代碼:
輸出結果爲:
a * 2.5 = 2.5 5 7.5 10 0.1 * v = 0.1 0.2 0.3 Doing v *= 2; Now v = 2 4 6
需要注意:
在Eigen中,算術操作例如 “操作符+”並不會自己執行計算操作,他們只是返回一個“算術表達式對象”,而實際的計算則會延遲到後面的賦值時才進行。這些不影響你的使用,它只是爲了方便Eigen的優化。
2、求矩陣的轉秩、共軛矩陣、伴隨矩陣。
可以通過 成員函數transpose(), conjugate(),和 adjoint()來完成,注意這些函數返回操作後的結果,而不會對原矩陣的元素進行直接操作,如果要讓原矩陣的進行轉換,則需要使用響應的InPlace函數,例如:transposeInPlace() 、 adjointInPlace() 之類。
例如下面的代碼所示:
輸出結果爲:Here is the matrix a (-0.211,0.68) (-0.605,0.823) (0.597,0.566) (0.536,-0.33) Here is the matrix a^T (-0.211,0.68) (0.597,0.566) (-0.605,0.823) (0.536,-0.33) Here is the conjugate of a (-0.211,-0.68) (-0.605,-0.823) (0.597,-0.566) (0.536,0.33) Here is the matrix a^* (-0.211,-0.68) (0.597,-0.566) (-0.605,-0.823) (0.536,0.33)
矩陣的相乘,矩陣與向量的相乘也是使用操作符*,共有*和*=兩種操作符,其用法可以參考如下代碼:
輸出結果爲:Here is mat*mat: 7 10 15 22 Here is mat*u: 1 1 Here is u^T*mat: 2 2 Here is u^T*v: -2 Here is u*v^T: -2 -0 2 0 Let's multiply mat by itself Now mat is mat: 7 10 15 22--------------------------------------------------------------------------------------------
本節主要涉及Eigen的塊操作以及QR分解,Eigen的QR分解非常繞人,搞了很久才搞明白是怎麼回事,最後是一個使用Eigen的矩陣操作完成二維高斯擬合求取光點的代碼例子,關於二維高斯擬合求取光點的詳細內容可參考:http://blog.csdn.net/hjx_1000/article/details/8490653
1、矩陣的塊操作
1)矩陣的塊操作有兩種使用方法,其定義形式爲:
定義(1)表示返回從矩陣的(i, j)開始,每行取p個元素,每列取q個元素所組成的臨時新矩陣對象,原矩陣的元素不變。
定義(2)中block(p, q)可理解爲一個p行q列的子矩陣,該定義表示從原矩陣中第(i, j)開始,獲取一個p行q列的子矩陣,返回該子矩陣組成的臨時 矩陣對象,原矩陣的元素不變。
詳細使用情況,可參考下面的代碼段:
輸出的結果爲:
Block in the middle 6 7 10 11 Block of size 1x1 1 Block of size 2x2 1 2 5 6 Block of size 3x3 1 2 3 5 6 7 9 10 11通過上述方式獲取的子矩陣即可以作爲左值也可以作爲右值,也就是即可以用這個子矩陣給其他矩陣賦值,也可以給這個子矩陣對象賦值。
2)矩陣也提供了獲取其指定行/列的函數,其實獲取某行/列也是一種特殊的獲取子塊。可以通過 .col()和 .row()來完成獲取指定列/行的操作,參數爲列/行的索引。
注意:
(1)需與獲取矩陣的行數/列數的函數( rows(), cols() )的進行區別,不要弄混淆。
(2)函數參數爲響應行/列的索引,需注意矩陣的行列均以0開始。
下面的代碼段用於演示獲取矩陣的指定行列: 輸出結果爲:
Here is the matrix m: 1 2 3 4 5 6 7 8 9 2nd Row: 4 5 6 After adding 3 times the first column into the third column, the matrix m is: 1 2 6 4 5 18 7 8 303)向量的塊操作,其實向量只是一個特殊的矩陣,但是Eigen也爲它單獨提供了一些簡化的塊操作,如下三種形式:
獲取向量的前n個元素:vector.head(n);
獲取向量尾部的n個元素:vector.tail(n);
獲取從向量的第i個元素開始的n個元素:vector.segment(i,n);
其用法可參考如下代碼段: 輸出結果爲:
v.head(3) = 1 2 3 v.tail<3>() = 4 5 6 after 'v.segment(1,4) *= 2', v = 1 4 6 8 10 6
2、QR分解
Eigen的QR分解非常繞人,它總共提供了下面這些矩陣的分解方式:
Decomposition | Method | Requirements on the matrix | Speed | Accuracy |
---|---|---|---|---|
PartialPivLU | partialPivLu() | Invertible | ++ | + |
FullPivLU | fullPivLu() | None | - | +++ |
HouseholderQR | householderQr() | None | ++ | + |
ColPivHouseholderQR | colPivHouseholderQr() | None | + | ++ |
FullPivHouseholderQR | fullPivHouseholderQr() | None | - | +++ |
LLT | llt() | Positive definite | +++ | + |
LDLT | ldlt() | Positive or negative semidefinite | +++ | ++ |
3、一個矩陣使用的例子:用矩陣操作完成二維高斯擬合,並求取光斑中心
下面的代碼段是一個使用Eigen的矩陣操作完成二維高斯擬合求取光點的代碼例子,關於二維高斯擬合求取光點的詳細內容可參考:http://blog.csdn.net/hjx_1000/article/details/8490653
http://blog.csdn.net/houjixin/article/details/8490941