アムダールの法則
ここで、Pはプロセッサ数、Sは性能向上、formula_4 は処理の並列化できない部分である。アムダールの法則では問題のサイズが固定であり、逐次実行部分はプロセッサ数に依存しないと仮定されている。一方、グスタフソンの法則ではそのような仮定がない。