ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

mldivide, \

x に対する線形方程式 Ax = B の求解

ページ内をすべて折りたたむ

構文

x = A\B
x = mldivide(A,B)

説明

例

x = A\B は線形方程式系 A*x = B を解きます。行列 A と行列 B の行数は同じでなければなりません。MATLAB® は、A のスケールが不適当またはほぼ特異値の場合は警告メッセージを表示しますが、計算は関係なく実行します。

  • A がスカラーの場合、A\B は A.\B と等価です。

  • A が n 行 n 列の正方行列、B が n 行の行列である場合、x = A\B は存在する場合は A*x = B の方程式の解となります。

  • A が m ~= n である m 行 n 列の方形行列で、B が m 行の行列の場合、A\B は A*x= B の方程式の最小二乗解を返します。

x = mldivide(A,B) は x = A\B の代替方法として実行できますが、まれにしか使用されません。これにより、クラスの演算子のオーバーロードが可能です。

例

すべて折りたたむ

ライブ スクリプトを開く

単純な線形方程式 A*x = B を解きます。 

A = magic(3);
B = [15; 15; 15];
x = A\B
x = 3×1

    1.0000
    1.0000
    1.0000
ライブ スクリプトを開く

特異行列 A を含む線形方程式系 A*x = b を解きます。 

A = magic(4);
b = [34; 34; 34; 34];
x = A\b
Warning: Matrix is close to singular or badly scaled. Results may be inaccurate. RCOND =  1.306145e-17.

x = 4×1

    1.5000
    2.5000
   -0.5000
    0.5000

rcond が 0 と eps の間にある場合、特異行列に近いことを示す警告が MATLAB® によって表示されますが、計算は続行されます。悪条件の行列を扱う場合、残差 (b-A*x) が比較的小さい値であっても信頼できない解となる可能性があります。この例では、rcond が小さい値であっても、残差のノルムは 0 であり、厳密解が得られます。

rcond が 0 に等しい場合、特異値の警告が表示されます。 

A = [1 0; 0 0];
b = [1; 1];
x = A\b
Warning: Matrix is singular to working precision.

x = 2×1

     1
   Inf

この場合、ゼロ除算により Inf や NaN の計算が発生し、計算結果が信頼できないものになります。

ライブ スクリプトを開く

線形方程式系 A*x = b を解きます。 

A = [1 2 0; 0 4 3];
b = [8; 18];
x = A\b
x = 3×1

         0
    4.0000
    0.6667
ライブ スクリプトを開く

スパース行列を使って単純な線形方程式を解きます。

以下の行列方程式 A*x = B を考えます。 

A = sparse([0 2 0 1 0; 4 -1 -1 0 0; 0 0 0 3 -6; -2 0 0 0 2; 0 0 4 2 0]);
B = sparse([8; -1; -18; 8; 20]);
x = A\B
x = 
   (1,1)       1.0000
   (2,1)       2.0000
   (3,1)       3.0000
   (4,1)       4.0000
   (5,1)       5.0000

入力引数

すべて折りたたむ

ベクトル、非スパース行列またはスパース行列として指定される、係数行列。A が m 個の行をもつ場合、B も m 個の行をもたなければなりません。

データ型: single | double
複素数のサポート: あり

右辺を、ベクトル、非スパース行列またはスパース行列として指定します。B が m 個の行をもつ場合、A も m 個の行をもたなければなりません。

データ型: single | double
複素数のサポート: あり

出力引数

すべて折りたたむ

ベクトル、非スパース行列またはスパース行列として返される解。A が m 行 n 列の行列で B が m 行 p 列の行列の場合、x は、n 行 p 列の行列になります。これは p==1 の場合を含みます。

A が非スパース ストレージの場合、x も非スパースになります。A がスパース行列の場合、x は B と同じストレージをもちます。

ヒント

  • 演算子 / と演算子 \ は、方程式 B/A = (A'\B')' によって相互に関連しています。

  • A が正方行列の場合には、A\B は inv(A)*B におおよそ等しくなりますが、MATLAB は別の方法でより確実に A\B を処理します。

  • A のランクが A の列数よりも小さい場合、x = A\B は最小ノルム解であるとは限りません。最小ノルムの最小二乗解は、x = lsqminnorm(A,B) または x = pinv(A)*B を使用して計算できます。

アルゴリズム

すべて折りたたむ

mldivide が線形システムを解く際の多様性は、適切なソルバーにディスパッチすることで問題の対称性を利用する能力に起因します。この方法は、計算時間を最小限に抑えることを目的としています。関数は、最初に "非スパース" ("密" とも呼ばれる) 入力配列と、"スパース" 入力配列との差異を区別します。

非スパース入力のアルゴリズム

以下のフローチャートは、入力 A と B が非スパースの場合のアルゴリズム パスを示します。

スパース入力のアルゴリズム

A が非スパースで B がスパースの場合、mldivide は B を非スパース行列に変換し、非スパース アルゴリズム パス (上記) を使用して非スパース ストレージの解を計算します。A がスパースの場合は、以下に示すように、解 x のストレージは B のストレージと同じになり、mldivide はスパース入力のアルゴリズム パスをたどります。

拡張機能

C/C++ コード生成
MATLAB® Coder™ を使用して C および C++ コードを生成します。

参考

| | | | | | | | | |

トピック

R2006a より前に導入

MATLAB ドキュメンテーション
サポート
MATLABで始めるディープラーニング

MATLABで始めるディープラーニング

ebookをダウンロードする