Brent の評価

命題 4.2（「並列化と GPU」§4）・ ✓公理まで証明済み

仕事量 $W \ge 1$ 、最長の依存鎖の長さ $L$ の計算グラフと整数 $p \ge 1$ について

\max\Bigl(\frac{W}{p},\ L\Bigr) \le T_p \le \Bigl\lfloor\frac{W}{p}\Bigr\rfloor + L

が成り立つ。右の不等式は、各ステップで「前提の作業がすべて済んでいる未実行の作業」を、 $p$ 個以上あれば $p$ 個、なければ全部実行する貪欲なスケジュールで達成される。

閉包の状態

✓ 公理まで証明済み

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

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

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

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