数学 › 数値線形代数 › Cholesky 分解と帯行列・疎行列の直接法
疎行列の格納形式
の非零成分を、次のいずれかの形で格納する(添字は 始まりとする)。
- COO 形式: 長さ の 3 つの配列
row,col,valで、。 - CSR 形式(圧縮行格納): 非零を行の順に並べた長さ の配列
valと列番号の配列colind、長さ の配列rowptrで、第 行の非零はval[rowptr[i]:rowptr[i+1]]、その列番号はcolindの同じ範囲。 - CSC 形式(圧縮列格納): CSR の行と列の役割を入れ替えたもの( の CSR と同じ配列)。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。