C++の独習がてら行列計算ライブラリを自作してみました。
なんでこんなことしたかと言うと、普段競プロしてたら他人の作ってくれた便利なmintライブラリを使ったりするのですが、演算子オーバーロードの文法とかをよくわかってないままコピペして使ってたので、理解するがてら自分でも何か自作しようと思ったからです。
実務で使うならコードをヘッダファイルに分けるべきなんですが、競プロで使えたらなーという期待で.cpp
ファイルにベタ書きしてます。
調べたらC++には行列計算ライブラリにEigenというのがあるので、実際に実用するならそっちを使ったほうがいいでしょう。あと後述してますが行列式の計算は重いです。改善の余地ありですね。
コード
#include <bits/stdc++.h> using namespace std; namespace MatrixLib { class print_format_error: public std::exception { virtual const char* what() const noexcept { return "Error: print() method cannot print these values because of unsupported!"; } }; class matrix_product_error: public std::exception { virtual const char* what() const noexcept { return "Error: Impossible to calculate matrix product!"; } }; class determinant_error: public std::exception { virtual const char* what() const noexcept { return "Error: Impossible to calculate determinant!"; } }; class inversion_error: public std::exception { virtual const char* what() const noexcept { return "Error: Impossible to calculate inversion!"; } }; /*** 二次元行列のライブラリMatrix ***/ template <typename T> class Matrix { private: vector<vector<T>> A; T __cofactor(const vector<vector<T>>& coA) const { /* 各余因子の計算を再帰的にする */ if (coA.size() == 1) return coA[0][0]; if (coA.size() == 2) { return coA[0][0]*coA[1][1]-coA[0][1]*coA[1][0]; } T res = 0; for (int col2=0; col2<coA.size(); col2++) { vector<vector<T>> cocoA(coA.size()-1); for (int row=1; row<coA.size(); row++) { for (int col=0; col<coA.size(); col++) { if (col2==col) continue; cocoA[row-1].emplace_back(coA[row][col]); } } if (!(col2&1)) res += coA[0][col2] * __cofactor(cocoA); else res -= coA[0][col2] * __cofactor(cocoA); } return res; } public: size_t row; size_t col; Matrix(size_t row=1, size_t col=1) { this->row = row; this->col = col; this->A.resize(row); for(size_t i=0; i<row; i++) this->A[i].resize(col); } vector<T>& operator[](const size_t i) { return this->A[i]; } Matrix& operator+=(Matrix other) { for(size_t i=0; i<this->row; i++) { for(size_t j=0; j<this->col; j++) { this->A[i][j] += other[i][j]; } } return *this; } Matrix operator+(const Matrix other) const { return Matrix(*this) += other; } Matrix& operator+=(const double a) { /* 各要素にaを足す */ for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { this->A[i][j] += a; } } return *this; } Matrix operator+(const double a) const { return Matrix(*this) += a; } Matrix& operator-=(Matrix other) { for(size_t i=0; i<this->row; i++) { for(size_t j=0; j<this->col; j++) { this->A[i][j] -= other[i][j]; } } return *this; } Matrix operator-(const Matrix other) const { return Matrix(*this) -= other; } Matrix operator-() const { Matrix res(this->row, this->col); for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { res[i][j] = -this->A[i][j]; } } return res; } Matrix& operator-=(const double a) { /* 各要素にaを引く */ for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { this->A[i][j] -= a; } } return *this; } Matrix operator-(const double a) const { return Matrix(*this) -= a; } Matrix& operator*=(Matrix other) { /* NxN行列 x NxN行列 の積を求める */ if (!(this->row==this->col && other.row==other.col && this->row==other.row)) throw matrix_product_error(); vector<vector<T>> res(this->row, vector<T>(this->col, 0)); for(size_t i=0; i<other.row; i++) { for (size_t j=0; j<this->col; j++) { for (size_t k=0; k<this->col; k++) { res[i][j] += this->A[i][k]*other[k][j]; } } } this->A = res; return *this; } Matrix operator*(Matrix other) const { /* ixk行列 * kxj行列 の積を求める */ if (this->col!=other.row) throw matrix_product_error(); Matrix<T> res(this->row, other.col); for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<other.col; j++) { for (size_t k=0; k<this->col; k++) { res[i][j] += this->A[i][k]*other[k][j]; } } } return res; } Matrix& operator*=(const double a) { /* 各要素にaをかける */ for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { this->A[i][j] *= a; } } return *this; } Matrix operator*(const double a) const { return Matrix(*this) *= a; } void print() { /* 行列の状態を表示する */ string format; if (typeid(T)==typeid(int)) format = "%*d"s; else if (typeid(T)==typeid(unsigned int) || typeid(T)==typeid(unsigned short)) format = "%*u"s; else if (typeid(T)==typeid(long)) format = "%*ld"s; else if (typeid(T)==typeid(unsigned long)) format = "%*lu"s; else if (typeid(T)==typeid(long long)) format = "%*lld"s; else if (typeid(T)==typeid(unsigned long long)) format = "%*llu"s; else if (typeid(T)==typeid(short)) format = "%*f"s; else if (typeid(T)==typeid(double)) format = "%*lf"s; else if (typeid(T)==typeid(long double)) format = "%*LF"s; else throw print_format_error(); int len = 0; for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { string str = to_string(this->A[i][j]); len = max(len, (int)str.size()); } } printf("[["); for (size_t i=0; i<this->row; i++) { for (size_t j=0; j<this->col; j++) { printf(format.c_str(), len, this->A[i][j]); if (j!=this->col-1) printf(", "); else printf("]"); } if (i!=this->row-1) printf(",\n "); else printf("]\n"); } } T det() const { /* 行列式を計算して返す */ if (this->row!=this->col) throw determinant_error(); return this->__cofactor(this->A); } Matrix dot(const Matrix B) const { /* ドット積(内積)計算をする */ return Matrix(*this) * B; } Matrix inv() const { /* 逆行列を返す(掃き出し法) */ if (!(this->row==this->col)) throw inversion_error(); size_t N = this->row; Matrix<T> A = *this; Matrix<T> invA(N, N); for (size_t i=0; i<N; i++) { for (size_t j=0; j<N; j++) { invA[i][j] = (i==j) ? 1 : 0; } } for (size_t i=0; i<N; i++) { T buf = 1/A[i][i]; for (size_t j=0; j<N; j++) { A[i][j] *= buf; invA[i][j] *= buf; } for (size_t j=0; j<N; j++) { if (i!=j) { buf = A[j][i]; for (size_t k=0; k<N; k++) { A[j][k] -= A[i][k]*buf; invA[j][k] -= invA[i][k]*buf; } } } } return invA; } }; }
GitHubにあげたコードは以下。
使い方
要素がdouble型の行列
void test(){ cout << "===test===" << endl; MatrixLib::Matrix<double> mat1(3,3); // 要素がdoble型の3x3行列mat1の作成 MatrixLib::Matrix<double> mat2(3,3); // 要素がdoble型の3x3行列mat2の作成 MatrixLib::Matrix<double> res; for (int i=0; i<3; i++) { for (int j=0; j<3; j++) { mat1[i][j] = j+i*3; mat2[i][j] = 1; } } // 行列mat1の確認 mat1.print(); // [[0.000000, 1.000000, 2.000000], // 3.000000, 4.000000, 5.000000], // 6.000000, 7.000000, 8.000000]] // 行列mat2の確認 mat2.print(); // [[1.000000, 1.000000, 1.000000], // 1.000000, 1.000000, 1.000000], // 1.000000, 1.000000, 1.000000]] // 行数の取得 cout << "mat1.row: " << mat1.row << endl; // mat1.row: 3 // 列数の取得 cout << "mat1.col: " << mat1.col << endl; // mat1.col: 3 // 代入 mat2[0][0] = 20; mat2.print(); // [[20.000000, 1.000000, 1.000000], // 1.000000, 1.000000, 1.000000], // 1.000000, 1.000000, 1.000000]] // 行列の+演算 mat1 = mat1 + mat2; mat1.print(); // [[20.000000, 2.000000, 3.000000], // 4.000000, 5.000000, 6.000000], // 7.000000, 8.000000, 9.000000]] // 行列の+=演算 mat1 += mat2; mat1.print(); // [[40.000000, 3.000000, 4.000000], // 5.000000, 6.000000, 7.000000], // 8.000000, 9.000000, 10.000000]] // 行列の-演算 mat1 = mat1 - mat2; mat1.print(); // [[20.000000, 2.000000, 3.000000], // 4.000000, 5.000000, 6.000000], // 7.000000, 8.000000, 9.000000]] // 行列の-=演算 mat1 -= mat2; mat1.print(); // [[0.000000, 1.000000, 2.000000], // 3.000000, 4.000000, 5.000000], // 6.000000, 7.000000, 8.000000]] // 各要素の符号を反転 res = -mat1; res.print(); // [[-0.000000, -1.000000, -2.000000], // -3.000000, -4.000000, -5.000000], // -6.000000, -7.000000, -8.000000]] // 行列の*演算 res = mat1 * mat2; res.print(); // [[ 3.000000, 3.000000, 3.000000], // 69.000000, 12.000000, 12.000000], // 135.000000, 21.000000, 21.000000]] // 行列の*=演算 mat1 *= mat2; mat1.print(); // [[ 3.000000, 3.000000, 3.000000], // 69.000000, 12.000000, 12.000000], // 135.000000, 21.000000, 21.000000]] // mat1の各要素に1を足す(+演算子) res = mat1 + 1; res.print(); // [[ 4.000000, 4.000000, 4.000000], // 70.000000, 13.000000, 13.000000], // 136.000000, 22.000000, 22.000000]] // mat1の各要素に1を足す(+=演算子) mat1 += 1; mat1.print(); // [[ 4.000000, 4.000000, 4.000000], // 70.000000, 13.000000, 13.000000], // 136.000000, 22.000000, 22.000000]] // mat1の各要素に1を引く(-演算子) res = mat1 - 1; res.print(); // [[ 3.000000, 3.000000, 3.000000], // 69.000000, 12.000000, 12.000000], // 135.000000, 21.000000, 21.000000]] // mat1の各要素に1を引く(-=演算子) mat1 -= 1; mat1.print(); // [[ 3.000000, 3.000000, 3.000000], // 69.000000, 12.000000, 12.000000], // 135.000000, 21.000000, 21.000000]] // mat1の各要素を2倍する(*演算子) res = mat1 * 2; res.print(); // [[ 6.000000, 6.000000, 6.000000], // 138.000000, 24.000000, 24.000000], // 270.000000, 42.000000, 42.000000]] // mat1の各要素を2倍する(*=演算子) mat1 *= 2; mat1.print(); // [[ 6.000000, 6.000000, 6.000000], // 138.000000, 24.000000, 24.000000], // 270.000000, 42.000000, 42.000000]] // mat1の各要素を2.1倍する mat1 *= 2.1; mat1.print(); // [[ 12.600000, 12.600000, 12.600000], // 289.800000, 50.400000, 50.400000], // 567.000000, 88.200000, 88.200000]] } int main(int argc, char const *argv[]){ test(); return 0; }
要素がint型の行列
void test2(){ cout << "===test2===" << endl; MatrixLib::Matrix<int> mat1(2,3); // 要素がint型の2x3行列mat1の作成 MatrixLib::Matrix<int> mat2(3,2); // 要素がint型の3x2行列mat2の作成 mat1[0][0]=2; mat1[0][1]=1; mat1[0][2]=3; mat1[1][0]=5; mat1[1][1]=6; mat1[1][2]=4; mat2[0][0]=1; mat2[0][1]=2; mat2[1][0]=3; mat2[1][1]=2; mat2[2][0]=4; mat2[2][1]=3; // mat1の確認 mat1.print(); // [[2, 1, 3], // 5, 6, 4]] // mat2の確認 mat2.print(); // [[1, 2], // 3, 2], // 4, 3]] // mat1とmat2の積 MatrixLib::Matrix<int> mat = mat1 * mat2; mat.print(); // [[17, 15], // 39, 34]] mat *= 2; mat.print(); // [[34, 30], // 78, 68]] mat *= 2.1; // 要素はint型なので、小数点以下は切り捨てられる mat.print(); // [[ 71, 63], // 163, 142]] }
行列式の計算
行列式の計算は余因子の計算を再帰的にしているのですが、計算量的に重いです。
調べたらもっと効率的で高速なやり方が以下のサイトに書いてありました。
今回は余因子の再帰的な計算のままで放置してます。
行列式の計算確認は以下のサイトが便利でした。
2x2の正方行列の行列式の計算。
void test_det2() { // 行列式確認用サイト // https://keisan.casio.jp/exec/system/1279265553 cout << "===test_det2===" << endl; MatrixLib::Matrix<int> mat(2,2); // int型の2x2行列 mat[0][0]=3; mat[0][1]=1; mat[1][0]=5; mat[1][1]=1; mat.print(); // [[3, 1], // 5, 1]] int d = mat.det(); cout << "Det: " << d << endl; // -2 }
void test_det3() { cout << "===test_det3===" << endl; MatrixLib::Matrix<int> mat(3,3); // int型の3x3行列 mat[0][0]=3; mat[0][1]=1; mat[0][2]=1; mat[1][0]=5; mat[1][1]=1; mat[1][2]=3; mat[2][0]=2; mat[2][1]=0; mat[2][2]=1; mat.print(); // [[3, 1, 1], // 5, 1, 3], // 2, 0, 1]] int d = mat.det(); cout << "Det: " << d << endl; // 2 }
4x4の正方行列の行列式の計算。
void test_det4() { cout << "===test_det4===" << endl; MatrixLib::Matrix<int> mat(4,4); // int型の4x4行列 mat[0][0]=3; mat[0][1]=1; mat[0][2]=1; mat[0][3]=2; mat[1][0]=5; mat[1][1]=1; mat[1][2]=3; mat[1][3]=4; mat[2][0]=2; mat[2][1]=0; mat[2][2]=1; mat[2][3]=0; mat[3][0]=1; mat[3][1]=3; mat[3][2]=2; mat[3][3]=1; mat.print(); // [[3, 1, 1, 2], // 5, 1, 3, 4], // 2, 0, 1, 0], // 1, 3, 2, 1]] int d = mat.det(); cout << "Det: " << d << endl; // -22 }
5x5の正方行列の行列式の計算。
void test_det5() { cout << "===test_det5===" << endl; MatrixLib::Matrix<int> mat(5,5); // int型の5x5行列 mat[0][0]=3; mat[0][1]=1; mat[0][2]=1; mat[0][3]=2; mat[0][4]=1; mat[1][0]=5; mat[1][1]=1; mat[1][2]=3; mat[1][3]=4; mat[1][4]=1; mat[2][0]=2; mat[2][1]=0; mat[2][2]=1; mat[2][3]=0; mat[2][4]=1; mat[3][0]=1; mat[3][1]=3; mat[3][2]=2; mat[3][3]=1; mat[3][4]=1; mat[4][0]=1; mat[4][1]=1; mat[4][2]=1; mat[4][3]=1; mat[4][4]=1; mat.print(); // [[3, 1, 1, 2, 1], // 5, 1, 3, 4, 1], // 2, 0, 1, 0, 1], // 1, 3, 2, 1, 1], // 1, 1, 1, 1, 1]] int d = mat.det(); cout << "Det: " << d << endl; // -14 }
ドット積の計算
行列のドット積の計算。やってることは*演算子と同じ。Pythonのnumpyライクに使えたら便利かなと思って作成。
void test_dot() { cout << "===test_dot===" << endl; MatrixLib::Matrix<int> mat1(3,3); MatrixLib::Matrix<int> mat2(3,3); MatrixLib::Matrix<int> res; mat1[0][0]=2; mat1[0][1]=1; mat1[0][2]=3; mat1[1][0]=5; mat1[1][1]=6; mat1[1][2]=4; mat1[2][0]=2; mat1[2][1]=1; mat1[2][2]=3; mat2[0][0]=1; mat2[0][1]=2; mat2[0][2]=3; mat2[1][0]=3; mat2[1][1]=2; mat2[1][2]=2; mat2[2][0]=4; mat2[2][1]=3; mat2[2][2]=1; mat1.print(); // [[2, 1, 3], // 5, 6, 4], // 2, 1, 3]] mat2.print(); // [[1, 2, 3], // 3, 2, 2], // 4, 3, 1]] // mat1とmat2のドット積(mat1*mat2と同じ) res = mat1.dot(mat2); res.print(); // [[17, 15, 11], // 39, 34, 31], // 17, 15, 11]] // 当然だが、mat1の値は変わらない mat1.print(); // [[2, 1, 3], // 5, 6, 4], // 2, 1, 3]] // mat2の値も変わらない mat2.print(); // [[1, 2, 3], // 3, 2, 2], // 4, 3, 1]] }
逆行列の計算
逆行列の求め方は以下のサイトを参考にしました(掃き出し法)。
行列式の値の求め方、逆行列の作り方の C 言語プログラム | Blue Sky Lab
void test_inv() { // 計算確認用サイト // https://keisan.casio.jp/exec/system/1278758206 cout << "===test_inv===" << endl; MatrixLib::Matrix<double> mat(4,4); mat[0][0]=3; mat[0][1]=1; mat[0][2]=1; mat[0][3]=2; mat[1][0]=5; mat[1][1]=1; mat[1][2]=3; mat[1][3]=4; mat[2][0]=2; mat[2][1]=0; mat[2][2]=1; mat[2][3]=0; mat[3][0]=1; mat[3][1]=3; mat[3][2]=2; mat[3][3]=1; mat.print(); // [[3.000000, 1.000000, 1.000000, 2.000000], // 5.000000, 1.000000, 3.000000, 4.000000], // 2.000000, 0.000000, 1.000000, 0.000000], // 1.000000, 3.000000, 2.000000, 1.000000]] // 逆行列を計算して出力 MatrixLib::Matrix<double> inv_mat = mat.inv(); inv_mat.print(); // [[ 0.500000, -0.227273, 0.363636, -0.090909], // 0.500000, -0.318182, -0.090909, 0.272727], // -1.000000, 0.454545, 0.272727, 0.181818], // -0.000000, 0.272727, -0.636364, -0.090909]] }