主要内容

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

研究生院理事会

線形方程式系の求解——共役勾配二乗法

説明

x=研究生院理事会(一个bは,共役勾配二乗法を使用して,線形方程式系A * x =xについて解きます。試行が正常に完了した場合,研究生院理事会は収束を確認するメッセージを表示します。研究生院理事会が最大反復回数に達しても収束しないか、何らかの理由で実行を停止した場合は、相対残差规范(b * x) /规范(b)と停止時の反復回数を含む診断メッセージが表示されます。

x=研究生院理事会(一个b托尔は,このメソッドの許容誤差を指定します。既定の許容誤差は1e-6です。

x=研究生院理事会(一个b托尔麦克斯特は,使用する最大反復回数を指定します。研究生院理事会は,麦克斯特以内の反復で収束しない場合、診断メッセージを表示します。

x=研究生院理事会(一个b托尔麦克斯特は前処理行列を指定しyについて系 一个 1 y b を実質的に解くことによりxを計算します。ここで, y x です。前処理行列を使用すると、問題の数値的なプロパティと計算の効率を向上させることができます。

x=研究生院理事会(一个b托尔麦克斯特M1平方米M=M1*M2となるような前処理行列の因子を指定します。

x=研究生院理事会(一个b托尔麦克斯特M1平方米x0は解のベクトルxの初期推定を指定します。既定値はゼロのベクトルです。

x旗帜]=cgs(___は,アルゴリズムが正常に収束したかどうかを示すフラグを返します。标志=0の場合,収束は正常に実行されています。この出力構文は,前記のすべての入力引数の組み合わせで使用できます。旗帜出力を指定する場合,研究生院理事会は診断メッセージを表示しません。

x旗帜relres]=cgs(___は、相対残差规范(b * x) /规范(b)も返します。旗帜0の場合は,relres < =托尔になります。

x旗帜relresiter]=cgs(___は,xが計算されたときの反復回数iterも返します。

x旗帜relresiterresvec]=cgs(___は,各反復で,最初の残差范数(b-A*x0)を含む残差ノルムのベクトルも返します。

すべて折りたたむ

既定の設定で研究生院理事会を使用して正方線形システムを解いてから,解法プロセスで使用される許容誤差と反復回数を調整します。

密度が 50% の乱数スパース行列一个を作成します。また, 斧头 b の右辺に乱数のベクトルを作成します。

rng违约5 = sprand (600600);A = A'*A + speye(size(A));b =兰德(600 1);

研究生院理事会を使用して 斧头 b を解きます。出力の表示には相対残差誤差 b - 斧头 b の値が含まれます。

x=cgs(A,b);
CGS在迭代20时停止,没有收敛到期望的公差1e-06,因为已经达到了最大的迭代次数。迭代返回(编号20)的相对残差为0.068。

既定では研究生院理事会は20回の反復と1e-6の許容誤差を使用し,アルゴリズムはこの行列について,その20回の反復内で収束できません。残差がまだ大きいため,より多くの反復(または前処理行列)が必要であることを示しています。より大きな許容誤差を使用して,アルゴリズムの収束をより簡単にすることもできます。

1e-4の許容誤差と 40回の反復を使用して、再度方程式系を解きます。

研究生院理事会x = (A, b, 1的军医,40);
CGS在迭代40时停止,没有收敛到期望的公差0.0001,因为已经达到了最大的迭代次数。迭代返回(编号40)的相对剩余值为0.0024。

許容誤差が緩く,反復回数が多い場合でも,研究生院理事会は収束しません。反復アルゴリズムがこの方法で停滞する場合,前処理行列が必要であることを示しています。

一个の不完全コレスキー分解を計算し,研究生院理事会への前処理行列入力としてl因子を使用します。

L=ichol(A);x=cgs(A,b,1e-4,40,L);
cgs在第14次迭代时收敛到一个相对残差为1.4e-05的解。

前処理行列を使用すると,研究生院理事会が収束できるまで問題の数値特性が向上します。

線形システムを解くために前処理行列を研究生院理事会と使用する効果を調べます。

479行479列の非対称実スパース行列west0479を読み込みます。

负载west0479一个= west0479;

斧头 b に対する真の解がすべて1のベクトルになるように,bを定義します。

b=总和(A,2);

許容誤差と最大反復回数を設定します。

tol=1e-12;最大值=20;

研究生院理事会を使用して,要求された許容誤差と反復回数で解を求めます。解法プロセスに関する情報を返す出力を5つ指定します。

  • xA * x =の計算された解です。

  • fl0はアルゴリズムが収束したかどうかを示すフラグです。

  • rr0は計算解xの相対残差です。

  • it0xが計算されたときの反復回数です。

  • rv0 b - 斧头 の残差履歴のベクトルです。

[x,fl0,rr0,it0,rv0]=cgs(A,b,tol,maxit);fl0
fl0=1
rr0
rr0 = 1
it0
it0 = 0

fl0は,研究生院理事会が要求した反復回数20回以内に要求した許容誤差1e-12に収束しなかったため1となります。実際、研究生院理事会の動作が良好でないために初期推定x0=零(尺寸(A,2),1)が最適解であり、it0 = 0で示されるとおり,これが返されます。

遅い収束への対応として、前処理行列を指定できます。一个は非対称であるため,iluを使用して前処理行列 l U を生成します。棄却許容誤差を指定して,1e-6よりも小さい値をもつ非対角エントリを無視します。研究生院理事会への入力としてlおよびUを指定して、前処理された系 一个 - 1 x b を解きます。

setup=struct(“类型”“ilutp”“droptol”,1e-6);[L,U]=ilu(A,设置);[x1,fl1,rr1,it1,rv1]=cgs(A,b,tol,maxit,L,U);fl1
fl1 = 0
rr1
rr1=4.3850e-14
it1
it1 = 3

ilu前処理行列を使用すると,3回目の反復で1e-12の指定の許容誤差より少ない相対残差が生成されます。出力rv1 (1)标准(b)、出力rv1(完)范数(b-A*x1)になります。

各反復での相対残差をプロットして,研究生院理事会の進行状況を確認できます。指定された許容誤差のラインと共に,それぞれの解の残差履歴をプロットします。

semilogy(0:长度(rv0) 1, rv0 /规范(b),“o”)举行在…上符号学(0:长度(rv1)-1,rv1/范数(b),“o”) yline(托尔,“r——”);传奇(“没有预调节器”ILU预处理的“宽容”“位置”“东”)xlabel(“迭代次数”) ylabel (的相对剩余的

图形包含一个轴。轴包含3个类型为line、constantline的对象。这些对象表示无预处理器、ILU预处理器和公差。

研究生院理事会に解の初期推定を指定する効果を調べます。

三重対角スパース行列を作成します。 x の想定される解が1のベクトルとなるよう, 斧头 b の右辺のベクトルとして各行の合計を使用します。

n=900;e=一(n,1);A=spdiags([e2*ee],-1:1,n,n);b=总和(A,2);

研究生院理事会を使用して 斧头 b を 2.回解きます。1.回は既定の初期推定、もう 1.回は解の適切な初期推定を使用します。両方の解に対して 200回の反復と既定の許容誤差を使用します。すべての要素が0.99と等価のベクトルとして初期推定を2番目の解に指定します。

麦克斯特= 200;x1 =研究生院理事会(A, b,[],麦克斯特);
cgs在迭代17时收敛到一个相对残差为8.8e-07的解。
x0 = 0.99 * e;x2 =研究生院理事会(A, b,[],麦克斯特[],[],x0);
CGS在第4次迭代时收敛到一个相对残差为8e-07的解。

この場合、初期推定を指定すると研究生院理事会をより迅速に収束させることができます。

中間結果を返す

对于ループで研究生院理事会を呼び出して、初期推定を使用して中間結果を取得することもできます。ソルバーを呼び出すたびに、数回の反復が行われ、計算された解が格納されます。その後、その解を次の反復のバッチに対する初期ベクトルとして使用します。

たとえば、次のコードは 100回の反復を 4.回実行し、对于ループを通過するたびに、解のベクトルを格納します。

x0 = 0(大小(2),1);托尔= 1 e-8;麦克斯特= 100;k = 1:4 [x,国旗,relres] =研究生院理事会(A, b,托尔,麦克斯特[],[],x0);X = X (:, k);R (k) = relres;x0 = x;结束

X(:,k)は,ループの反復kで計算された解のベクトルであり,R (k)はその解の相対残差です。

研究生院理事会に、係数行列一个の代わりに* xを計算する関数ハンドルを与えて線形システムを解きます。

陈列室で生成されたウィルキンソンのテスト行列の1つは21行21列の三重対角行列です。行列をプレビューします。

一个=画廊(“wilk”,21)
一个=21日×2110 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 ⋮

ウィルキンソン行列の構造は特殊なため,演算* xを関数ハンドルで表すことができます。一个がベクトルを乗算する場合,結果のベクトルのほとんどの要素はゼロとなります。結果の非ゼロ要素は,一个の非ゼロの三重対角要素に対応します。さらに,主対角のみに1と等しくない非ゼロ要素があります。

斧头 は次のようになります。

斧头 10 1 0 0 0 1 9 1 0 0 0 1 8 1 0 0 1 7 1 0 0 1 6 1 0 0 1 5 1 0 0 1 4 1 0 0 1 3. 0 0 0 1 0 0 0 1 10 x 1 x 2 x 3. x 4 x 5 x 21 10 x 1 + x 2 x 1 + 9 x 2 + x 3. x 2 + 8 x 3. + x 4 x 19 + 9 x 20 + x 21 x 20 + 10 x 21

結果のベクトルは3つのベクトルの合計として記述できます。

斧头 0 + 10 x 1 + x 2 x 1 + 9 x 2 + x 3. x 2 + 8 x 3. + x 4 x 19 + 9 x 20 + x 21 x 20 + 10 x 21 + 0 0 x 1 x 20 + 10 x 1 9 x 2 10 x 21 + x 2 x 21 0

MATLAB®で、これらのベクトルを作成および合算することにより* xの値を与える関数を記述します。

函数Y = [0;x (1:20)] +...[(10: 1:0) ';(1:10) ']。* x +...[x(2:21);0];结束

(この関数は,ローカル関数として例の最後に保存されています)

ここで,研究生院理事会* xを計算する関数ハンドルを与えて,線形システム 斧头 b を解きます。1e-12の許容誤差と50回の反復を使用します。

1 b = 1(21日);托尔= 1 e-12;麦克斯特= 50;x1 =研究生院理事会(@afun, b,托尔,麦克斯特)
CGS在迭代11时收敛到一个相对残差为1.3e-14的解。
x1 =21日×10.0910 0.0899 0.0999 0.1109 0.1241 0.1443 0.1544 0.2383 0.1309 0.5000 ⋮

afun (x1)が 1.のベクトルを生成していることを確認します。

afun (x1)
ans =21日×11.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 1.0000 ⋮

ローカル関数

函数Y = [0;x (1:20)] +...[(10: 1:0) ';(1:10) ']。* x +...[x(2:21);0];结束

入力引数

すべて折りたたむ

係数行列。正方行列または関数ハンドルとして指定します。この行列は線形システムA * x =の係数行列です。一般に,一个は大規模なスパース行列、または大規模なスパース行列と列ベクトルの積を返す関数ハンドルです。

関数ハンドルとしての一个の指定

オプションで、係数行列を、行列ではなく関数ハンドルとして指定できます。この関数ハンドルは、係数行列全体を作成するのではなく、行列とベクトルの積を返し、計算をより効率的にします。

関数ハンドルを使用するには、関数シグネチャ函数y = fun(x)を使用します。関数のパラメーター化では,必要な場合に関数afunに追加のパラメーターを指定する方法を説明しています。関数呼び出しafun (x)* xの値を返さなければなりません。

データ型:双重的|function_handle
複素数のサポート:あり

線形方程式の右辺。列ベクトルとして指定します。bの長さは尺寸(A,1)と等しくなければなりません。

データ型:双重的
複素数のサポート:あり

メソッドの許容誤差。正のスカラーとして指定します。この入力を使用して計算の精度と実行時間とをトレードオフします。成功するには、研究生院理事会は,許容される反復回数内に許容誤差を満たさなければなりません。托尔を小さい値にすると,解がより正確でなければ計算が成功しないことを意味します。

データ型:双重的

最大反復回数。正のスカラー整数として指定します。麦克斯特の値を増やして、研究生院理事会が許容誤差托尔を満たすためにより多くの反復を行えるようにします。一般に、托尔の値が小さいほど,計算を正常に完了するための反復がより多く必要であるということを意味します。

前処理行列。行列または関数ハンドルの個別の引数として指定します。前処理行列またはその行列の因子M=M1*M2を指定して線形システムの数値的側面を改善し,研究生院理事会での迅速な収束を容易にします。不完全行列因数分解関数iluおよびicholを使用して前処理行列を生成できます。また,因数分解の前に平衡を使用して,係数行列の条件数を改善できます。前処理行列の詳細については,線形方程式の反復法を参照してください。

研究生院理事会は指定なし前処理行列を単位行列として扱います。

関数ハンドルとしてのの指定

オプションで、M1または平方米のいずれかを,行列ではなく関数ハンドルとして指定できます。関数ハンドルは,前処理行列全体を作成するのではなく行列ベクトル演算を行い、計算をより効率化します。

関数ハンドルを使用するには、関数シグネチャ函数y = mfun(x)を使用します。関数のパラメーター化では,必要な場合に関数mfunに追加のパラメーターを指定する方法を説明しています。関数呼び出しmfun(x)M \ xまたはM2\(M1\x)の値を返さなければなりません。

データ型:双重的|function_handle
複素数のサポート:あり

初期推定。尺寸(A、2)に等しい長さの列ベクトルとして指定します。研究生院理事会に、既定値のゼロのベクトルではなく、より妥当な初期推定x0を与えることができれば,計算時間が節約でき,アルゴリズムがより速く収束するようにできます。

データ型:双重的
複素数のサポート:あり

出力引数

すべて折りたたむ

線形システムの解。列ベクトルとして返されます。この出力は線形システムA * x =の近似解を与えます。計算が正常に完了した場合(标志=0)、relres托尔以下になります。

計算が正常に完了しない場合(flag~=0)は常に,研究生院理事会によって返される解xは、すべての反復にわたり計算された最小残差ノルムをもちます。

収束フラグ。次の表のいずれかのスカラー値として返されます。収束フラグは、計算が正常に実行されたかどうかを示し、さまざまな失敗の形式を区別します。

フラグの値

収束

0

成功 —研究生院理事会は希望する許容誤差托尔に反復回数麦克斯特以内で収束しました。

1

失敗 —研究生院理事会麦克斯特回の反復を行いましたが収束しませんでした。

2

失敗 — 前処理行列またはM=M1*M2が悪条件になっています。

3.

失敗 — 連続する 2.回の反復が同じであり、研究生院理事会は計算を進めていません。

4

失敗 —研究生院理事会アルゴリズムで計算されたスカラー量の1つが,計算を続けるには大きすぎるかまたは小さすぎます。

相対残差誤差。スカラーとして返されます。相対残差誤差relres =规范(b * x) /规范(b)は解の正確さを示しています。計算が許容誤差托尔に反復回数麦克斯特以内で収束する場合,relres < =托尔になります。

データ型:双重的

反復回数。スカラーとして返されます。この出力は、xに対する計算解が計算された時点での反復回数を示します。

データ型:双重的

残差誤差。ベクトルとして返されます。残差誤差规范(b * x)によって,アルゴリズムがxの特定の値に対する収束にどの程度近いかがわかります。resvecの要素数は反復の回数と同じです。resvecの内容を調べて,托尔または麦克斯特の値を変更するかどうかを決定することができます。

データ型:双重的

詳細

すべて折りたたむ

共役勾配二乗法

共役勾配二乗(CGS)アルゴリズムは,双共役傾斜(BiCG)アルゴリズムの改良版として開発されました。残差およびその共役を使用する代わりに,CGSアルゴリズムは二乗残差を処理することにより係数行列の転置の使用を回避します[1]。

研究生院理事会はBiCGとほぼ同じ計算コストに対してより速く収束しますが,初期推定が解に近い場合は特に,不規則な収束動作が生じる場合があります[1]

ヒント

  • 最大反復のメソッドの収束は,係数行列の条件数条件(A)に依存します。平衡を使用して一个の条件数を改善することができ、それ自体で最大反復のソルバーが収束しやすくなります。ただし、平衡を使用することでも,平衡化した行列B = R * P * * Cを次に因子分解する際に前処理行列の品質が向上します。

  • 解剖symrcmなどの行列の並べ替え関数を使用して係数行列の行と列を並べ替え,係数行列が因子分解されて前処理行列が生成される際に非ゼロの数を最小化できます。これによって,後で前処理を使用した線形システムを解くのに必要なメモリと時間を削減できます。

参照

[1] Barrett,R.,M.Berry,T.F.Chan,等人,《线性系统解的模板:迭代方法的构建块》,暹罗,费城,1994年。

[2] Sonneveld, Peter,“CGS:非对称线性系统的快速lanczos型求解器”,《中国机械工程学报》。Stat。第一版。,January 1989, Vol. 10, No. 1, pp. 36–52.

拡張機能

R2006aより前に導入