Movatterモバイル変換

[0]ホーム
URL:

コンテンツにスキップ
Wikipedia
検索

ガウスの消去法

出典: フリー百科事典『ウィキペディア（Wikipedia）』
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2022年7月）

ガウスの消去法（ガウスのしょうきょほう、英:Gaussian elimination）あるいは掃き出し法（はきだしほう、英:row reduction）とは、連立一次方程式を解くための多項式時間アルゴリズムであり、通常は問題となる連立一次方程式の係数からなる拡大係数行列に対して行われる一連の変形操作を意味する。同様のアルゴリズムは歴史的には前漢に九章算術で初めて記述された[1]。連立一次方程式の解法以外にも

などに使われる[2][3]。このアルゴリズムは、大きな方程式系を系統的な方法で小さな系へ分解する方法を与えるものと理解することができ[4]、基本的には、前進消去 (forward elimination) と後退代入 (backward substitution) という2つのステップから成る。

行列に対して掃き出し法を行う為には、行に関する基本変形を行列に可能な限り繰り返し行って行列の左下部分の成分を全て 0 にする。行に関する基本変形には、

  • 二つの行を入れ替えるもの
  • ある行を0でない定数倍するもの
  • ある行に他のある行の定数倍を加えるもの

の3種類の操作があり、必ず行列を上三角型に変形することができる。実際には、ゼロでない成分を持つ行が、ゼロしか成分に持たない行よりも上に位置し、主成分（行内の 0 でない成分のうち最も左にあるもの）が、その行の上にある行の主成分よりも、真に右側に位置する行階段形に変形される。特に全ての主成分が 1 になり、主成分を含む列にある主成分以外の成分が 0 であるとき、この行列は行簡約階段形であると呼ばれる。この最終形は一意的であり、どのような行基本変形が行われたかには依存しない。例えば、次の様な行基本変形の繰り返し（各ステップで複数の基本変形を行っている）で、3番目と4番目は共に行階段形であるが、最後の4番目が一意に定まる行簡約階段形である。

[131911−11311535]→[13190−2−2−80228]→[13190−2−2−80000]→[10−2−301140000]{\displaystyle \left[{\begin{array}{rrr|r}1&3&1&9\\1&1&-1&1\\3&11&5&35\end{array}}\right]\to \left[{\begin{array}{rrr|r}1&3&1&9\\0&-2&-2&-8\\0&2&2&8\end{array}}\right]\to \left[{\begin{array}{rrr|r}1&3&1&9\\0&-2&-2&-8\\0&0&0&0\end{array}}\right]\to \left[{\begin{array}{rrr|r}1&0&-2&-3\\0&1&1&4\\0&0&0&0\end{array}}\right]}

行基本変形を用いて行列を行階段形に変形することをガウス・ジョルダンの消去法（ガウス・ジョルダンのしょうきょほう、英:Gauss–Jordan elimination）という。ガウスの消去法という用語を上三角形または（簡約とは限らない）行階段形へ変換する手法を指すこともある。連立一次方程式の解を求める際に行基本変形を完全に簡約化する前に止めてしまう方が、計算上の理由から良いとされる場合もある。

基本的な考え方

[編集]

次のn 元m連立一次方程式を考察する。右側にある行列がその拡大係数行列である。

a11x1+a12x2+⋯+a1nxn=b1a21x1+a22x2+⋯+a2nxn=b2⋮am1x1+am2x2+⋯+amnxn=bm[a11a12⋯a1nb1a21a22⋯a2nb2⋮⋮⋱⋮⋮am1am2⋯amnbm]{\displaystyle {\begin{aligned}&a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}=b_{1}\\&a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}=b_{2}\\&\qquad \vdots \\&a_{m1}x_{1}+a_{m2}x_{2}+\cdots +a_{mn}x_{n}=b_{m}\end{aligned}}\qquad \left[{\begin{array}{cccc|c}a_{11}&a_{12}&\cdots &a_{1n}&b_{1}\\a_{21}&a_{22}&\cdots &a_{2n}&b_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}&b_{m}\end{array}}\right]}

この方程式がx1=c1+d11λ1+⋯+d1sλs,x2=c2+d21λ1+⋯+d2sλs,⋯,xr=cr+dr1λ1+⋯+drsλs,xr+1=λ1,…,xn=λs{\displaystyle x_{1}=c_{1}+d_{11}\lambda _{1}+\cdots +d_{1s}\lambda _{s},x_{2}=c_{2}+d_{21}\lambda _{1}+\cdots +d_{2s}\lambda _{s},\cdots ,x_{r}=c_{r}+d_{r1}\lambda _{1}+\cdots +d_{rs}\lambda _{s},x_{r+1}=\lambda _{1},\ldots ,x_{n}=\lambda _{s}}（n=r+s{\displaystyle n=r{+}s} かつλ1,...,λs{\displaystyle \lambda _{1},...,\lambda _{s}} は任意の定数）という解を持つとすると、これらの式は次の連立一次方程式を略記したものであると見なせる。ただし、下段に並んでいる、左辺の全ての係数が0 である式はm−r{\displaystyle m{-}r} 本ある。同様に右側にある行列がその拡大係数行列である。

1x1+0x2+⋯+0xr−d11xr+1−⋯−d1sxn=c10x1+1x2+⋯+0xr−d21xr+1−⋯−d2sxn=c2⋮0x1+0x2+⋯+1xr−dr1xr+1−⋯−drsxn=cr0x1+0x2+⋯+0xr+0xr+1+⋯+0xn=0⋮0x1+0x2+⋯+0xr+0xr+1+⋯+0xn=0[10⋯0−d11⋯−d1sc101⋯0−d21⋯−d2sc2⋮⋮⋱⋮⋮⋮⋮00⋯1−dr1⋯−drscr00⋯00⋯00⋮⋮⋮⋮⋱⋮⋮00⋯00⋯00]{\displaystyle {\begin{aligned}&1x_{1}+0x_{2}+\cdots +0x_{r}-d_{11}x_{r+1}-\cdots -d_{1s}x_{n}=c_{1}\\&0x_{1}+1x_{2}+\cdots +0x_{r}-d_{21}x_{r+1}-\cdots -d_{2s}x_{n}=c_{2}\\&\qquad \vdots \\&0x_{1}+0x_{2}+\cdots +1x_{r}-d_{r1}x_{r+1}-\cdots -d_{rs}x_{n}=c_{r}\\&0x_{1}+0x_{2}+\cdots +0x_{r}+0x_{r+1}+\cdots +0x_{n}=0\\&\qquad \vdots \\&0x_{1}+0x_{2}+\cdots +0x_{r}+0x_{r+1}+\cdots +0x_{n}=0\end{aligned}}\qquad \left[{\begin{array}{ccccccc|c}1&0&\cdots &0&-d_{11}&\cdots &-d_{1s}&c_{1}\\0&1&\cdots &0&-d_{21}&\cdots &-d_{2s}&c_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots &&\vdots &\vdots \\0&0&\cdots &1&-d_{r1}&\cdots &-d_{rs}&c_{r}\\0&0&\cdots &0&0&\cdots &0&0\\\vdots &\vdots &&\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &0&0&\cdots &0&0\end{array}}\right]}

始めの拡大係数行列から上の拡大係数行列の形に変形する為には、対角成分に注目して行基本変形を行って行簡約階段形に変形する。ただし簡単のため、変数の番号を付け替えることなしに主成分がすべて対角線にあるものと仮定する。しかし一般的には、このような仮定の下で作業を行っても次の形の行簡約階段形にしか変形できない。（最も右の列のr + 2 番目の成分以下はすべて '0'）

[10⋯0−d11⋯−d1sc101⋯0−d21⋯−d2sc2⋮⋮⋱⋮⋮⋮⋮00⋯1−dr1⋯−drscr00⋯00⋯0cr+1⋮⋮⋮⋮⋱⋮⋮00⋯00⋯00]{\displaystyle \left[{\begin{array}{ccccccc|c}1&0&\cdots &0&-d_{11}&\cdots &-d_{1s}&c_{1}\\0&1&\cdots &0&-d_{21}&\cdots &-d_{2s}&c_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots &&\vdots &\vdots \\0&0&\cdots &1&-d_{r1}&\cdots &-d_{rs}&c_{r}\\0&0&\cdots &0&0&\cdots &0&c_{r+1}\\\vdots &\vdots &&\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &0&0&\cdots &0&0\end{array}}\right]}

この時点で、与えられた連立一次方程式が解を持つ必要条件がcr+1=0{\displaystyle c_{r+1}=0} であることが分かり、これは十分条件でもある。実際、cr+1=0{\displaystyle c_{r+1}=0} とすると、上記の形の解が逆に得られていることは明らかである。より現実的な解法としては、未知数がk 個定まった時点で残りk + 1 個の未知数を含む式が解けるため、x1{\displaystyle x_{1}} からxr{\displaystyle x_{r}} までの全ての変数を孤立させる必要はない。これを行列の言葉で言えば、拡大係数行列を行簡約階段形にまで変形せずに途中で止めてしまう方がより現実的であるということになる。つまり、拡大係数行列が次の形の行階段形に変形された時点で、それ以上の簡約化を止めるのである。このとき、対応する連立一次方程式がその右の形に表せる：

[1m12⋯m1r−d11′⋯−d1s′c1′01⋯m2r−d21′⋯−d2s′c2′⋮⋮⋱⋮⋮⋮⋮00⋯1−dr1′⋯−drs′cr′00⋯00⋯00⋮⋮⋮⋮⋱⋮⋮00⋯00⋯00]1x1+m12x2+⋯+m1rxr−d11′xr+1−⋯−d1s′xn=c1′0x1+1x2+⋯+m2rxr−d21′xr+1−⋯−d2s′xn=c2′⋮0x1+0x2+⋯+1xr−dr1′xr+1−⋯−drs′xn=cr′0x1+0x2+⋯+0xr+0xr+1+⋯+0xn=0⋮0x1+0x2+⋯+0xr+0xr+1+⋯+0xn=0{\displaystyle \left[{\begin{array}{ccccccc|c}1&m_{12}&\cdots &m_{1r}&-d'_{11}&\cdots &-d'_{1s}&c'_{1}\\0&1&\cdots &m_{2r}&-d'_{21}&\cdots &-d'_{2s}&c'_{2}\\\vdots &\vdots &\ddots &\vdots &\vdots &&\vdots &\vdots \\0&0&\cdots &1&-d'_{r1}&\cdots &-d'_{rs}&c'_{r}\\0&0&\cdots &0&0&\cdots &0&0\\\vdots &\vdots &&\vdots &\vdots &\ddots &\vdots &\vdots \\0&0&\cdots &0&0&\cdots &0&0\end{array}}\right]\qquad {\begin{aligned}&1x_{1}+m_{12}x_{2}+\cdots +m_{1r}x_{r}-d'_{11}x_{r+1}-\cdots -d'_{1s}x_{n}=c'_{1}\\&0x_{1}+1x_{2}+\cdots +m_{2r}x_{r}-d'_{21}x_{r+1}-\cdots -d'_{2s}x_{n}=c'_{2}\\&\qquad \vdots \\&0x_{1}+0x_{2}+\cdots +1x_{r}-d'_{r1}x_{r+1}-\cdots -d'_{rs}x_{n}=c'_{r}\\&0x_{1}+0x_{2}+\cdots +0x_{r}+0x_{r+1}+\cdots +0x_{n}=0\\&\qquad \vdots \\&0x_{1}+0x_{2}+\cdots +0x_{r}+0x_{r+1}+\cdots +0x_{n}=0\end{aligned}}}

従って、任意定数λ1,…,λs{\displaystyle \lambda _{1},\ldots ,\lambda _{s}} を用いて>r+1 番目以後のs 個の変数をxr+1=λ1,xr+2=λ2,...,xn=λs{\displaystyle x_{r+1}=\lambda _{1},x_{r+2}=\lambda _{2},...,x_{n}=\lambda _{s}} と置き、右辺に移項して下から順に値を代入していくことで全ての解を確定できる。

例

[編集]

次の連立一次方程式の解を拡大係数行列を用いずにガウスの消去法のアルゴリズムで求めてみる。式の本数が固定されていること、式の入れ替えもまた一つの操作であることに注意すべきである。

2x1+4x2+2x3+2x4=84x1+10x2+3x3+3x4=172x1+6x2+x3+x4=93x1+7x2+x3+4x4=11{\displaystyle {\begin{aligned}&2x_{1}&+&4x_{2}&+&2x_{3}&+&2x_{4}&&=8\\&4x_{1}&+&10x_{2}&+&3x_{3}&+&3x_{4}&&=17\\&2x_{1}&+&6x_{2}&+&x_{3}&+&x_{4}&&=9\\&3x_{1}&+&7x_{2}&+&x_{3}&+&4x_{4}&&=11\end{aligned}}}
  1. まず前進消去をする。
    1. 1 番目の方程式を1/2 倍する。
      x1+2x2+x3+x4=44x1+10x2+3x3+3x4=172x1+6x2+x3+x4=93x1+7x2+x3+4x4=11{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&&=4\\&4x_{1}&+&10x_{2}&+&3x_{3}&+&3x_{4}&&=17\\&2x_{1}&+&6x_{2}&+&x_{3}&+&x_{4}&&=9\\&3x_{1}&+&7x_{2}&+&x_{3}&+&4x_{4}&&=11\end{aligned}}}
    2. 2 番目の方程式に 1 番目の方程式の −4 倍を足す。3 番目の方程式に 1 番目の方程式の −2 倍を足す。4 番目の方程式に 1 番目の方程式の −3 倍を足す。
      x1+2x2+x3+x4=42x2−x3−x4=12x2−x3−x4=1x2−2x3+x4=−1{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&&=4\\&&&2x_{2}&-&x_{3}&-&x_{4}&&=1\\&&&2x_{2}&-&x_{3}&-&x_{4}&&=1\\&&&x_{2}&-&2x_{3}&+&x_{4}&&=-1\end{aligned}}}
    3. 2 番目の方程式を 1/2 倍する。
      x1+2x2+x3+x4=4x2−12x3−12x4=122x2−x3−x4=1x2−2x3+x4=−1{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&&=4\\&&&x_{2}&-&{\frac {1}{2}}x_{3}&-&{\frac {1}{2}}x_{4}&&={\frac {1}{2}}\\&&&2x_{2}&-&x_{3}&-&x_{4}&&=1\\&&&x_{2}&-&2x_{3}&+&x_{4}&&=-1\end{aligned}}}
    4. 3 番目の方程式に 2 番目の方程式の -2 倍を足す。4 番目の方程式に 2 番目の方程式の -1 倍を足す。
      x1+2x2+x3+x4=4x2−12x3−12x4=120=0−32x3+32x4=−32{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&&=4\\&&&x_{2}&-&{\frac {1}{2}}x_{3}&-&{\frac {1}{2}}x_{4}&&={\frac {1}{2}}\\&&&&&&&0&&=0\\&&&&-&{\frac {3}{2}}x_{3}&+&{\frac {3}{2}}x_{4}&&=-{\frac {3}{2}}\end{aligned}}}
    5. 3 番目の方程式と 4 番目の方程式を入れ替える。
      x1+2x2+x3+x4=4x2−12x3−12x4=12−32x3+32x4=−320=0{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&&=4\\&&&x_{2}&-&{\frac {1}{2}}x_{3}&-&{\frac {1}{2}}x_{4}&&={\frac {1}{2}}\\&&&&-&{\frac {3}{2}}x_{3}&+&{\frac {3}{2}}x_{4}&&=-{\frac {3}{2}}\\&&&&&&&0&&=0\end{aligned}}}
  2. 次に後退代入をする。
    1. 3 番目の方程式を−23{\displaystyle -{\frac {2}{3}}} 倍する
      x1+2x2+x3+x4=4x2−12x3−12x4=12x3−x4=10=0{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&=4\\&&&x_{2}&-&{\frac {1}{2}}x_{3}&-&{\frac {1}{2}}x_{4}&={\frac {1}{2}}\\&&&&&x_{3}&-&x_{4}&=1\\&&&&&&&0&=0\end{aligned}}}
    2. x3=1+x4{\displaystyle x_{3}=1+x_{4}} を 2 番目の方程式に代入する。
      x1+2x2+x3+x4=4x2−x4=1x3−x4=10=0{\displaystyle {\begin{aligned}&x_{1}&+&2x_{2}&+&x_{3}&+&x_{4}&=4\\&&&x_{2}&&&-&x_{4}&=1\\&&&&&x_{3}&-&x_{4}&=1\\&&&&&&&0&=0\end{aligned}}}
    3. x3=1+x4{\displaystyle x_{3}=1+x_{4}} とx2=1+x4{\displaystyle x_{2}=1+x_{4}} を 1 番目の方程式に代入する。
      x1+4x4=1x2−x4=1x3−x4=10=0{\displaystyle {\begin{aligned}x_{1}+4x_{4}&=1\\x_{2}-x_{4}&=1\\x_{3}-x_{4}&=1\\0&=0\end{aligned}}}

そこで、x4=c{\displaystyle x_{4}=c}（"c" は任意定数）とおくと、

x1=−4c+1x2=c+1x3=c+1x4=c{\displaystyle {\begin{aligned}x_{1}&=-4c+1\\x_{2}&=c+1\\x_{3}&=c+1\\x_{4}&=c\end{aligned}}}

これで解が全て求まった。

一般的なアルゴリズムについては、たとえば(コルテ & フィーゲン 2009, p. 96)を見よ。

注意

[編集]
  • 対角成分が 0 になる場合には、枢軸選択（ピボット選択）という式の交換を行う必要がある。
    • 対角成分が 0 になる場合以外でも、対角成分が絶対値が最大の係数になるように枢軸選択を行ったほうが、解の丸め誤差が少なくなる。ただし、これは行列要素の絶対値が同程度の大きさの場合のみ成り立ち、スケーリング（=前処理として方程式に適当な正則対角行列を掛け等価な方程式へ変換すること）を行わずに枢軸選択を行うとむしろ精度が悪化する場合もあるため、注意が必要である。
    • 枢軸選択には部分選択法と完全選択法がある。絶対値が最大の係数を探索する範囲が、部分選択法は掃出し列（下方向）のみであるのに対し、完全選択法ではすべての項目（右および下方向）である。完全選択の方が計算精度は高いが計算速度およびアルゴリズムの複雑化の面で不利であるため、完全選択法の採用は現実には少ない。
  • 疎行列に対してガウスの消去法のステップを行うと疎性を損なう（フィルイン fill-in）。
  • 前進消去の段階において対角化を目指して、後退代入を行わずにx を直接計算する方法はガウス・ジョルダンの消去法（Gauss-Jordan elimination）と呼ぶ。アルゴリズムは単純になるが、計算量は多くなる（変数が多い場合、ほぼ 1.5 倍になる）。
  • 計算量（乗算の回数）は、変数の個数をn とすると、ほぼ1/3n3 になる。大部分は前進消去にかかっており、後退代入にはそれより少ない1/2n2 程度である[4]。ランダウの記号では、計算量はO(n3){\displaystyle O(n^{3})} となる。

脚注

[編集]
[脚注の使い方]
  1. ^Schrijver 1998, p. 38.
  2. ^コルテ & フィーゲン 2009, p. 95.
  3. ^Schrijver 1998, p. 33.
  4. ^abJoel H. Ferziger; Milovan Perić 著、小林敏雄、谷口伸行、坪倉誠 訳『コンピュータによる流体力学』シュプリンガー・フェアラーク東京、2003年、88頁。ISBN 4-431-70842-1。 

参考文献

[編集]

関連項目

[編集]

外部リンク

[編集]
連立一次方程式
ベクトル
ベクトル空間
計量ベクトル空間
行列・線型写像
演算・操作
不変量
クラス
行列式
多重線型代数
数値線形代数
基本的な概念
ソフトウェア
ライブラリ
反復法・技法
人物
行列値関数
その他
カテゴリカテゴリ
典拠管理データベース: 国立図書館ウィキデータを編集
「https://ja.wikipedia.org/w/index.php?title=ガウスの消去法&oldid=106710949」から取得
カテゴリ:
隠しカテゴリ:
[8]ページ先頭
©2009-2025 Movatter.jp