情報科学 › 研究のための計算の実務 › 長時間ジョブの管理

残りの反復回数の見積もり

命題 6.1(「長時間ジョブの管理」§6) ・ ✓公理まで証明済み

tol>0\mathrm{tol} \gt 0 を目標の誤差とする。

  1. (1 次収束)0<ρ<10 \lt \rho \lt 1 で、すべての j≥kj \ge k について ej+1=ρeje_{j+1} = \rho e_j とし、ek>tole_k \gt \mathrm{tol} とする。ek+m≤tole_{k+m} \le \mathrm{tol} となる最小の整数 m≥0m \ge 0 は m=⌈ln⁡(tol/ek)ln⁡ρ⌉m = \Bigl\lceil\frac{\ln(\mathrm{tol}/e_k)}{\ln\rho}\Bigr\rceil で、ρ\rho は直近の比 ek+1/eke_{k+1}/e_k に等しい。
  2. (2 次収束)c>0c \gt 0 で、すべての j≥kj \ge k について ej+1=cej2e_{j+1} = ce_j^2 とし、cek<1ce_k \lt 1、ek+1>tole_{k+1} \gt \mathrm{tol} とする。直近の比 ρk=ek+1/ek=cek\rho_k = e_{k+1}/e_k = ce_k を 1 の式に入れた見積もり mlin=⌈ln⁡(tol/ek+1)/ln⁡ρk⌉m_{\mathrm{lin}} = \lceil\ln(\mathrm{tol}/e_{k+1})/\ln\rho_k\rceil と、ek+1+m≤tole_{k+1+m} \le \mathrm{tol} となる最小の整数 mtrue≥0m_{\mathrm{true}} \ge 0 について mtrue=⌈log⁡2ln⁡(c tol)ln⁡(cek+1)⌉≤mlinm_{\mathrm{true}} = \Bigl\lceil\log_2\frac{\ln(c\,\mathrm{tol})}{\ln(ce_{k+1})}\Bigr\rceil \le m_{\mathrm{lin}} が成り立つ。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問